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 320-322
(domain prosecutor 1 LegalAction)	Law.kif 315-315
(domain prosecutor 2 AutonomousAgent)	Law.kif 316-316
(instance prosecutor CaseRole)	Law.kif 313-313
(subrelation prosecutor agent)	Law.kif 314-314

appearance as argument number 2

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

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 324-334

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

KB Term:			Term intersection

English Word: