| Criminal(criminal) | | criminal, crook, felon, malefactor, outlaw |
| 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 is an instance of social role |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Criminal "criminal") | domainEnglishFormat.kif 64768-64768 |
| 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 |
|
|
|
|