CriminalAction(犯罪行为) |
appearance as argument number 1 |
(documentation CriminalAction EnglishLanguage "Any IntentionalProcess that violates a Law.") | Mid-level-ontology.kif 13859-13859 | |
(subclass CriminalAction IntentionalProcess) | Mid-level-ontology.kif 13858-13858 | 犯罪行为 是 有意图过程 的 subclass |
appearance as argument number 2 |
(subclass Defrauding CriminalAction) | Mid-level-ontology.kif 18302-18302 | Defrauding 是 犯罪行为 的 subclass |
(subclass Murder CriminalAction) | Mid-level-ontology.kif 18444-18444 | 谋杀 是 犯罪行为 的 subclass |
(subclass PoliticalCrime CriminalAction) | Mid-level-ontology.kif 13870-13870 | 政治犯罪 是 犯罪行为 的 subclass |
(subclass Raping CriminalAction) | Mid-level-ontology.kif 24099-24099 | 性侵 是 犯罪行为 的 subclass |
(subclass Smuggling CriminalAction) | Mid-level-ontology.kif 7706-7706 | 走私 是 犯罪行为 的 subclass |
(subclass Stealing CriminalAction) | Mid-level-ontology.kif 18579-18579 | 偷窃行为 是 犯罪行为 的 subclass |
(subclass Trespassing CriminalAction) | Mid-level-ontology.kif 18285-18285 | 擅闯 是 犯罪行为 的 subclass |
(termFormat ChineseLanguage CriminalAction "犯罪行为") | domainEnglishFormat.kif 17838-17838 | |
(termFormat ChineseTraditionalLanguage CriminalAction "犯罪行為") | domainEnglishFormat.kif 17837-17837 | |
(termFormat EnglishLanguage CriminalAction "criminal action") | domainEnglishFormat.kif 17836-17836 |
appearance as argument number 3 |
(domain perpetrator 1 CriminalAction) | Law.kif 272-272 | perpetrator 的 1 数量 是 犯罪行为 的 instance |
(domain victim 1 CriminalAction) | Law.kif 259-259 | victim 的 1 数量 是 犯罪行为 的 instance |
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 13861-13868 |
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 16099-16105 | |
(=> (instance ?P Pleading) (exists (?C) (and (instance ?C CriminalAction) (refers ?P ?C)))) |
Mid-level-ontology.kif 16134-16139 | |
(=> (instance ?S MysteryStory) (exists (?C) (and (instance ?C CriminalAction) (refers ?S ?C)))) |
Mid-level-ontology.kif 14937-14942 | |
(=> (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 |