witness - Sigma Knowledge base Browser

appearance as argument number 1

(instance witness CaseRole)	Law.kif 207-207	witness is an instance of case role
(subrelation witness patient)	Law.kif 208-208	witness is a subrelation of patient
(domain witness 1 LegalAction)	Law.kif 209-209	The number 1 argument of witness is an instance of legal action
(domain witness 2 Entity)	Law.kif 210-210	The number 2 argument of witness is an instance of entity
(documentation witness EnglishLanguage "A party in a LegalAction who has been the experiencer in some prior event that is evidence for the case. Note that this excludes the 'expert witness' who is just offering an opinion on the evidence. Note also that the defendant also may take the stand as a witness in his or her own case, as may other parties to the case.")	Law.kif 214-218	The number 2 argument of witness is an instance of entity

appearance as argument number 2

(termFormat EnglishLanguage witness "witness")	Law.kif 211-211
(format EnglishLanguage witness "%2 is a witness in %1")	Law.kif 212-212

antecedent

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

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