(=> (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 | |
(subclass CriminalAction IntentionalProcess) | Mid-level-ontology.kif 13858-13858 | |
(subclass Smuggling CriminalAction) | Mid-level-ontology.kif 7706-7706 | |
(subclass PoliticalCrime CriminalAction) | Mid-level-ontology.kif 13870-13870 | |
(subclass Trespassing CriminalAction) | Mid-level-ontology.kif 18285-18285 | |
(subclass Defrauding CriminalAction) | Mid-level-ontology.kif 18302-18302 | |
(subclass Murder CriminalAction) | Mid-level-ontology.kif 18444-18444 | |
(subclass Stealing CriminalAction) | Mid-level-ontology.kif 18579-18579 | |
(subclass Raping CriminalAction) | Mid-level-ontology.kif 24099-24099 |