Criminal |
appearance as argument number 1 |
(documentation Criminal EnglishLanguage "The Attribute of a CognitiveAgent when he/ she has been convicted of some CriminalAction.") | Justice.kif 85-85 | |
(instance Criminal SocialRole) | Justice.kif 84-84 | Criminal è un' istanza di RuoloSociale |
appearance as argument number 2 |
(termFormat EnglishLanguage Criminal "criminal") | domainEnglishFormat.kif 64722-64722 |
antecedent |
(=> (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 |