TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation evidence patient)	Law.kif 168-168	evidence is a subrelation of patient
(instance evidence CaseRole)	Law.kif 169-169	evidence is an instance of case role
(documentation evidence EnglishLanguage "A relation between a LegalAction and some Physical Object or Process that is used to support an Argument in a case.")	Law.kif 173-175	evidence is an instance of case role
(domain evidence 1 LegalAction)	Law.kif 177-177	The number 1 argument of evidence is an instance of legal action
(domain evidence 2 Physical)	Law.kif 178-178	The number 2 argument of evidence is an instance of physical

appearance as argument number 2

(termFormat EnglishLanguage evidence "evidence")	Law.kif 170-170
(format EnglishLanguage evidence "%2 is evidence in %1")	Law.kif 171-171

antecedent

(=>
    (evidence ?LA ?P)
    (exists (?A ?PROP)
        (and
            (instance ?PROP Proposition)
            (instance ?A Argument)
            (refers ?A ?LA)
            (represents ?PROP ?P)
            (premise ?A ?PROP))))

Law.kif 180-188

If X is evidence in Y, then there exist Z, W such that W is an instance of proposition, Z is an instance of argument, Z includes a reference to Y, W expresses X, and W is a premise of Z

consequent

(=>
    (witness ?LA ?W)
    (exists (?P)
        (and
            (experiencer ?P ?W)
            (evidence ?LA ?P))))

Law.kif 220-225

If X is a witness in Y, then there exists Z such that X experiences Z and Z is evidence in Y

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

KB Term:			Term intersection

English Word: