(=> (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 18421-18442 | |
(subclass CriminalAction IntentionalProcess) | Mid-level-ontology.kif 13859-13859 | CriminalAction est une sous-classe de processus intentionnel |
(subclass Smuggling CriminalAction) | Mid-level-ontology.kif 7707-7707 | Smuggling est une sous-classe de CriminalAction |
(subclass PoliticalCrime CriminalAction) | Mid-level-ontology.kif 13871-13871 | PoliticalCrime est une sous-classe de CriminalAction |
(subclass Trespassing CriminalAction) | Mid-level-ontology.kif 18286-18286 | Trespassing est une sous-classe de CriminalAction |
(subclass Defrauding CriminalAction) | Mid-level-ontology.kif 18303-18303 | Defrauding est une sous-classe de CriminalAction |
(subclass Murder CriminalAction) | Mid-level-ontology.kif 18445-18445 | Murder est une sous-classe de CriminalAction |
(subclass Stealing CriminalAction) | Mid-level-ontology.kif 18580-18580 | Stealing est une sous-classe de CriminalAction |
(subclass Raping CriminalAction) | Mid-level-ontology.kif 24100-24100 | Raping est une sous-classe de CriminalAction |