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}
(subclass Falling Translocation)	Merge.kif 11580-11580	Falling ist eine teilkategorie von Translocation
(subclass Falling MotionDownward)	Merge.kif 11581-11581	Falling ist eine teilkategorie von MotionDownward
(subclass Sinking Falling)	Mid-level-ontology.kif 13107-13107	Sinking ist eine teilkategorie von Falling
(subclass Precipitation Falling)	Merge.kif 11207-11207	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