Sigma KB Term Intersection

(=> (instance ?X Protecting) (hasPurpose ?X (exists (?OBJ ?T ?H ?HARM) (and (instance ?OBJ Object) (patient ?X Object) (subclass ?HARM (KappaFn ?H (and (or (instance ?H CriminalAction) (instance ?H Damaging)) (=> (holdsDuring ?T (patient ?H ?OBJ)) (not (holdsDuring ?T (patient ?X ?OBJ))))))) (or (prevents ?X ?HARM) (hinders ?X ?HARM))))))	Mid-level-ontology.kif 18420-18441	Wenn Physical ist ein fall von Protecting %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entityARM um entity ist ein fall von Object %n{nicht} und Object ist ein patient von Physical %n{nicht} und entityARM ist eine teilkategorie von die kategorie die entity beschreibt und Physical verhindert das Auftreten von entityARM oder hinders Physical and ** entityARM %n{nicht}
(subclass CriminalAction IntentionalProcess)	Mid-level-ontology.kif 13858-13858	CriminalAction ist eine teilkategorie von IntentionalProcess
(subclass Smuggling CriminalAction)	Mid-level-ontology.kif 7706-7706	Smuggling ist eine teilkategorie von CriminalAction
(subclass PoliticalCrime CriminalAction)	Mid-level-ontology.kif 13870-13870	PoliticalCrime ist eine teilkategorie von CriminalAction
(subclass Trespassing CriminalAction)	Mid-level-ontology.kif 18285-18285	Trespassing ist eine teilkategorie von CriminalAction
(subclass Defrauding CriminalAction)	Mid-level-ontology.kif 18302-18302	Defrauding ist eine teilkategorie von CriminalAction
(subclass Murder CriminalAction)	Mid-level-ontology.kif 18444-18444	Murder ist eine teilkategorie von CriminalAction
(subclass Stealing CriminalAction)	Mid-level-ontology.kif 18579-18579	Stealing ist eine teilkategorie von CriminalAction
(subclass Raping CriminalAction)	Mid-level-ontology.kif 24099-24099	Raping ist eine teilkategorie von CriminalAction

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