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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - prosecutor

appearance as argument number 1

(documentation prosecutor EnglishLanguage "The representative of the state in a criminal case. The goal of the prosecutor is an adversarial system is to convict the defendant.") Law.kif 353-355
(domain prosecutor 1 LegalAction) Law.kif 349-349
(instance prosecutor CaseRole) Law.kif 347-347
(subrelation prosecutor agent) Law.kif 348-348

appearance as argument number 2

(format EnglishLanguage prosecutor "%2 is the prosecutor in %1") Law.kif 351-351
(termFormat EnglishLanguage prosecutor "prosecutor") Law.kif 350-350


        (prosecutor ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (exists (?L)
                (instance ?L LegalDecision)
                (refers ?L ?P)
                    (wants ?D ?L))))))
Law.kif 357-367

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners