| (=> (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 19992-20013 | |
| (subclass CriminalAction IntentionalProcess) | Mid-level-ontology.kif 15230-15230 | |
| (subclass Smuggling CriminalAction) | Mid-level-ontology.kif 8874-8874 | |
| (subclass PoliticalCrime CriminalAction) | Mid-level-ontology.kif 15242-15242 | |
| (subclass Trespassing CriminalAction) | Mid-level-ontology.kif 19857-19857 | |
| (subclass Defrauding CriminalAction) | Mid-level-ontology.kif 19874-19874 | |
| (subclass Murder CriminalAction) | Mid-level-ontology.kif 20016-20016 | |
| (subclass Stealing CriminalAction) | Mid-level-ontology.kif 20151-20151 | |
| (subclass Raping CriminalAction) | Mid-level-ontology.kif 25748-25748 |
|
|