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

Formal Language: 



KB Term:  Term intersection
English Word: 

  prosecutor

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

antecedent
-------------------------


(=>
    (and
        (prosecutor ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (exists (?L)
            (and
                (instance ?L LegalDecision)
                (refers ?L ?P)
                (not
                    (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