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 Protecting Maintaining)	Mid-level-ontology.kif 18416-18416	Protecting ist eine teilkategorie von Maintaining