(=> (and (instance ?SH SafetyHarness) (instance ?PERSON Animal) (wears ?PERSON ?SH)) (hasPurpose ?SH (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (instrument ?PROC ?SH) (patient ?PROC ?PERSON) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?F ?H ?T) (and (instance ?H Human) (experiencer ?I ?H) (instance ?F Falling) (experiencer ?F ?H) (causes ?F ?I) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ))))) |
Cars.kif 3389-3417 |
|
(=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal)))) |
Food.kif 1909-1915 | |
(=> (and (equal ?AF (OrganicObjectFn ?F)) (subclass ?AF AnimalFat) (subclass ?F FatTissue)) (initialPart ?F Animal)) |
Food.kif 2876-2882 | |
(=> (and (equal ?M (OrganicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal)) |
Economy.kif 4945-4950 | |
(=> (and (instance ?X Respirator) (instance ?PERSON Animal) (wears ?PERSON ?X)) (hasPurpose ?X (exists (?INHAL ?INJ ?PROTECT ?I) (and (instance ?PROTECT Process) (instrument ?PROTECT ?X) (prevents ?PROTECT ?INJ) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?H) (and (instance ?H Human) (patient ?I ?H) (instance ?INHAL Inhaling) (agent ?INHAL ?H) (causes ?I ?INHAL)))))))))) |
Cars.kif 3531-3552 |
|
(subclass Animal Organism) | Merge.kif 14446-14446 | 動物 は 物 の subclass では %n |
(subclass Biped Animal) | Mid-level-ontology.kif 4407-4407 | Biped は 動物 の subclass では %n |
(subclass DomesticAnimal Animal) | Mid-level-ontology.kif 20017-20017 | DomesticAnimal は 動物 の subclass では %n |
(subclass Vertebrate Animal) | Merge.kif 14500-14500 | 脊椎動物 は 動物 の subclass では %n |
(subclass Invertebrate Animal) | Merge.kif 14503-14503 | 無脊椎動物 は 動物 の subclass では %n |
(subclass Locust Animal) | Geography.kif 6794-6794 | Locust は 動物 の subclass では %n |