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 314-316
(domain prosecutor 1 LegalAction)	Law.kif 310-310	prosecutor の数値 1 引数は訴訟の instance では %n
(instance prosecutor CaseRole)	Law.kif 308-308	prosecutor は格役割の instance では %n
(subrelation prosecutor agent)	Law.kif 309-309	prosecutor は agent の subrelation では %n

appearance as argument number 2

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

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 318-328

prosecutor 訴訟 and 認識エージェント defendant 訴訟 and 認識エージェント
認識エージェントがエンティティーエンティティーは LegalDecision の instance では %n エンティティーは訴訟への reference を includes %n{ない} 認識エージェントはエンティティーを want ないを desires %n{ない}

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

KB Term:			Term intersection

English Word: