Sigma KEE - Animal

(=> (instance ?X (DeadFn CerealGrain)) (exists (?CLASS) (and (instance ?X ?CLASS) (equal ?CLASS (FoodForFn Animal)))))	Economy.kif 4035-4040	Entit� est une instance de DeadFn CerealGrain objet en une partie entit� est une instance de objet en une partie objet en une partie est FoodForFn animal
(=> (instance ?X Exoskeleton) (exists (?A) (and (instance ?A Animal) (part ?X ?A) (not (exists (?PART) (and (properPart ?PART ?A) (orientation ?PART ?X Outside)))))))	Mid-level-ontology.kif 11691-11701	Objet est une instance de Exoskeleton objet objet est une instance de animal objet est une partie de objet objet objet est une partie de objet objet est Outside � objet