TreeView Knowledge Base Browser

appearance as argument number 1

(instance Criminal SocialRole)	Justice.kif 84-84	Criminal is an instance of social role
(documentation Criminal EnglishLanguage "The Attribute of a CognitiveAgent when he/ she has been convicted of some CriminalAction.")	Justice.kif 85-85	Criminal is an instance of social role

appearance as argument number 2

(termFormat EnglishLanguage Criminal "criminal")

antecedent

(=>
    (and
        (instance ?P Human)
        (attribute ?P Criminal))
    (exists (?CA ?LC)
        (and
            (instance ?CA CriminalAction)
            (instance ?LC LegalConviction)
            (refers ?LC ?CA)
            (patient ?LC ?P))))

If X is an instance of human and criminal is an attribute of X, then there exist Y, Z such that Y is an instance of criminal action, Z is an instance of legal conviction, Z includes a reference to Y, and X is a patient of Z