All axioms - imports included
-
Tractor_
Beam_ ≡ (Projector and (created some Tractor_Projector Beam )) Star Wars base - Transfer ≡ (Event and (from some owl:Thing) and (of some owl:Thing) and (to some owl:Thing)) Star Wars base
- TransferOfOwnership ≡ (Transfer and (from some Being) and (to some Being)) Star Wars base
- Trading ≡ (TransferOfOwnership and (inExchangeFor some owl:Thing)) Star Wars base