| CriminalAction | |
| appearance as argument number 1 |
|
|
| (documentation CriminalAction EnglishLanguage "Any IntentionalProcess that violates a Law.") | Mid-level-ontology.kif 15231-15231 | |
| (subclass CriminalAction IntentionalProcess) | Mid-level-ontology.kif 15230-15230 | CriminalAction est une sous-classe de processus intentionnel |
| appearance as argument number 2 |
|
|
| (subclass Defrauding CriminalAction) | Mid-level-ontology.kif 19874-19874 | Defrauding est une sous-classe de CriminalAction |
| (subclass Murder CriminalAction) | Mid-level-ontology.kif 20016-20016 | Murder est une sous-classe de CriminalAction |
| (subclass PoliticalCrime CriminalAction) | Mid-level-ontology.kif 15242-15242 | PoliticalCrime est une sous-classe de CriminalAction |
| (subclass Raping CriminalAction) | Mid-level-ontology.kif 25748-25748 | Raping est une sous-classe de CriminalAction |
| (subclass Smuggling CriminalAction) | Mid-level-ontology.kif 8874-8874 | Smuggling est une sous-classe de CriminalAction |
| (subclass Stealing CriminalAction) | Mid-level-ontology.kif 20151-20151 | Stealing est une sous-classe de CriminalAction |
| (subclass Trespassing CriminalAction) | Mid-level-ontology.kif 19857-19857 | Trespassing est une sous-classe de CriminalAction |
| (termFormat ChineseLanguage CriminalAction "犯罪行为") | domainEnglishFormat.kif 17847-17847 | Trespassing est une sous-classe de CriminalAction |
| (termFormat ChineseTraditionalLanguage CriminalAction "犯罪行為") | domainEnglishFormat.kif 17846-17846 | Trespassing est une sous-classe de CriminalAction |
| (termFormat EnglishLanguage CriminalAction "criminal action") | domainEnglishFormat.kif 17845-17845 | Trespassing est une sous-classe de CriminalAction |
| appearance as argument number 3 |
|
|
| (domain perpetrator 1 CriminalAction) | Law.kif 275-275 | Le nombre 1 argument de perpetrator est une instance de CriminalAction |
| (domain victim 1 CriminalAction) | Law.kif 261-261 | Le nombre 1 argument de victim est une instance de CriminalAction |
| antecedent |
|
|
| (=> (instance ?ACTION CriminalAction) (exists (?LAW ?CONTENT ?CRIME) (and (modalAttribute ?LAW Law) (containsInformation ?LAW ?CONTENT) (realization ?ACTION ?CRIME) (not (consistent ?CONTENT ?CRIME))))) |
Mid-level-ontology.kif 15233-15240 |
|
| consequent |
|
|
| (=> (and (instance ?P Human) (attribute ?P Criminal)) (exists (?CA ?LC) (and (instance ?CA CriminalAction) (instance ?LC LegalConviction) (refers ?LC ?CA) (patient ?LC ?P)))) |
Justice.kif 87-96 | |
| (=> (instance ?G CriminalGang) (hasPurpose ?G (exists (?A) (and (instance ?A CriminalAction) (agent ?A ?G))))) |
Mid-level-ontology.kif 17487-17493 | |
| (=> (instance ?P Pleading) (exists (?C) (and (instance ?C CriminalAction) (refers ?P ?C)))) |
Mid-level-ontology.kif 17522-17527 | |
| (=> (instance ?S MysteryStory) (exists (?C) (and (instance ?C CriminalAction) (refers ?S ?C)))) |
Mid-level-ontology.kif 16311-16316 |
|
| (=> (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 |
|
|
|