Sigma KB Term Intersection

(=> (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	Wenn WearableItem ist ein fall von SafetyHarness %n{nicht} und Animal ist ein fall von Animal %n{nicht} und wears Animal and WearableItem, dann WearableItem hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Process %n{nicht} und WearableItem ist ein instrument fuer entity %n{nicht} und Animal ist ein patient von entity %n{nicht} und entity ist eine teilkategorie von die kategorie die entity beschreibt und entity verhindert das Auftreten von ** entity %n{nicht}
(=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal))))	Food.kif 1909-1915	Wenn Object ist ein fall von Meat %n{nicht}, dann es gibt Object und OrganicObject um Object ist ein fall von DeadFn OrganicObject %n{nicht} und Object ist ein teil von Object %n{nicht} und OrganicObject ist eine teilkategorie von Animal
(=> (and (equal ?AF (OrganicObjectFn ?F)) (subclass ?AF AnimalFat) (subclass ?F FatTissue)) (initialPart ?F Animal))	Food.kif 2876-2882	Wenn Object ist gleich OrganicObjectFn Object %n{nicht} und Object ist eine teilkategorie von AnimalFat und Object ist eine teilkategorie von FatTissue, dann initialPart ** Object and Animal
(=> (and (equal ?M (OrganicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal))	Economy.kif 4945-4950	Wenn Object ist gleich OrganicObjectFn OrganicObject %n{nicht} und Object ist eine teilkategorie von Meat, dann OrganicObject ist eine teilkategorie von Animal
(=> (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	Wenn WearableItem ist ein fall von Respirator %n{nicht} und Animal ist ein fall von Animal %n{nicht} und wears Animal and WearableItem, dann WearableItem hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Process %n{nicht} und WearableItem ist ein instrument fuer entity %n{nicht} und entity verhindert das Auftreten von entity und entity ist eine teilkategorie von die kategorie die ** entity beschreibt %n{nicht}
(subclass Animal Organism)	Merge.kif 14446-14446	Animal ist eine teilkategorie von Organism
(subclass Biped Animal)	Mid-level-ontology.kif 4407-4407	Biped ist eine teilkategorie von Animal
(subclass DomesticAnimal Animal)	Mid-level-ontology.kif 20017-20017	DomesticAnimal ist eine teilkategorie von Animal
(subclass Vertebrate Animal)	Merge.kif 14500-14500	Vertebrate ist eine teilkategorie von Animal
(subclass Invertebrate Animal)	Merge.kif 14503-14503	Invertebrate ist eine teilkategorie von Animal
(subclass Locust Animal)	Geography.kif 6794-6794	Locust ist eine teilkategorie von Animal

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners