EquivalentClasses axioms - imports included
Axioms
(12)- TransferOfOwnership ≡ (Transfer and (from some Being) and (to some Being)) Star Wars base
-
Place_
in_ ≡ (Place and (connectedTo some The_the_ Force Force )) Star Wars base -
Force-Sensitive ≡ (Living_
thing and (connectedTo some The_Force )) Star Wars base - Learning ≡ (Transfer and (of some Information) and (to some Being)) Star Wars base
- EventWithSubject ≡ (Event and (of some owl:Thing)) Star Wars base
- Journey ≡ (Transfer and (from some Place) and (to some Place)) Star Wars base
- Transfer ≡ (Event and (from some owl:Thing) and (of some owl:Thing) and (to some owl:Thing)) Star Wars base
- Trading ≡ (TransferOfOwnership and (inExchangeFor some owl:Thing)) Star Wars base
-
Tractor_
Beam_ ≡ (Projector and (created some Tractor_Projector Beam )) Star Wars base -
Stormtrooper_
armour ≡ (Armour and (ownedBy some (hadRole some StormTrooper))) Star Wars base -
Spice_
Mine ≡ (Mine and (created some Spice)) Star Wars base -
Gravity_
Well_ ≡ (Projector and (created some Gravity_projector Well )) Star Wars base