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 3397-3425	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}
(subclass Falling Translocation)	Merge.kif 11602-11602	Falling ist eine teilkategorie von Translocation
(subclass Falling MotionDownward)	Merge.kif 11603-11603	Falling ist eine teilkategorie von MotionDownward
(subclass Sinking Falling)	Mid-level-ontology.kif 13106-13106	Sinking ist eine teilkategorie von Falling
(subclass Precipitation Falling)	Merge.kif 11229-11229	Precipitation ist eine teilkategorie von Falling

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