EquivalentClasses axioms - imports included
Axioms
⇦ (1-30 of 34) ⇨- 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 -
Non-sentient_
droid ≡ (Droid and (sentience some Non-sentient)) Star Wars species -
Flying_
Creature ≡ (Creature and (movesWith some Flight)) Star Wars species -
Semi-sentient-creature ≡ (Living_
thing and (sentience some Semi-sentient)) Star Wars species -
Living_
Sentient ≡ (Living_thing and (sentience some Sentient)) Star Wars species -
Reptilian_
Humanoid ≡ (Humanoid and (hasTrait some Reptilian)) Star Wars species -
Herbivore ≡ (Living_
thing and (hasTrait some Herbivorous)) Star Wars species - Quadruped ≡ (Being and (typicallyHasPart exactly 4 Leg)) Star Wars species
-
Sentient_
Being ≡ (Being and (sentience some Sentient)) Star Wars species - Mammal ≡ (Creature and (hasTrait some Mammalian)) Star Wars species
-
Aquatic_
Creature ≡ (Creature and (hasTrait some Aquatic)) Star Wars species -
Carnivore ≡ (Living_
thing and (hasTrait some Carnivorous)) Star Wars species -
Horned_
Humanoid ≡ (Humanoid and (typicallyHasPart some Horn)) Star Wars species -
Bi-pedal_
droid ≡ (Droid and (typicallyHasPart exactly 2 Leg)) Star Wars species - Reptile ≡ (Creature and (hasTrait some Reptilian)) Star Wars species
-
Creature ≡ (Living_
thing and (sentience some Non-sentient)) Star Wars species -
Omnivore ≡ (Living_
thing and (hasTrait some Omniverous)) Star Wars species - Bi-ped ≡ (Being and (typicallyHasPart exactly 2 Leg)) Star Wars species
-
Sentient_
droid ≡ (Droid and (sentience some Sentient)) Star Wars species