|
|
   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 | CriminalAction e' uma sub-classe de Processo Intencional |
| appearance as argument number 2 |
|
|
| (subclass Defrauding CriminalAction) | Mid-level-ontology.kif 18302-18302 | Defrauding e' uma sub-classe de CriminalAction |
| (subclass Murder CriminalAction) | Mid-level-ontology.kif 18444-18444 | Murder e' uma sub-classe de CriminalAction |
| (subclass PoliticalCrime CriminalAction) | Mid-level-ontology.kif 13870-13870 | PoliticalCrime e' uma sub-classe de CriminalAction |
| (subclass Raping CriminalAction) | Mid-level-ontology.kif 24099-24099 | Raping e' uma sub-classe de CriminalAction |
| (subclass Smuggling CriminalAction) | Mid-level-ontology.kif 7706-7706 | Smuggling e' uma sub-classe de CriminalAction |
| (subclass Stealing CriminalAction) | Mid-level-ontology.kif 18579-18579 | Stealing e' uma sub-classe de CriminalAction |
| (subclass Trespassing CriminalAction) | Mid-level-ontology.kif 18285-18285 | Trespassing e' uma sub-classe de CriminalAction |
| (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 | O argumento numero 1 de perpetrator e' uma instancia de CriminalAction |
| (domain victim 1 CriminalAction) | Law.kif 259-259 | O argumento numero 1 de victim e' uma instancia 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 13861-13868 |
|
| consequent |
|
|
|
|
|