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	The number 1 argument of prosecutor is an instance of legal action
(domain prosecutor 2 AutonomousAgent)	Law.kif 316-316	The number 2 argument of prosecutor is an instance of agent
(instance prosecutor CaseRole)	Law.kif 313-313	prosecutor is an instance of case role
(subrelation prosecutor agent)	Law.kif 314-314	prosecutor is a subrelation of agent

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

If a cognitive agent is the prosecutor in a legal action and another cognitive agent is the defendant in the legal action,
then the cognitive agent desires there exists an entity such that the entity is an instance of legal decision and the entity includes a reference to the legal action and the other cognitive agent doesn't want the entity

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

KB Term:			Term intersection

English Word: