TreeView Knowledge Base Browser

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)

KB Term:			Term intersection

English Word: