Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Criminal

Sigma KEE - Criminal
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

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners