TreeView Knowledge Base Browser

appearance as argument number 2

(format EnglishLanguage deathdate "%2 is %n a deathdate of %1")	domainEnglishFormat.kif 678-678
(format ChineseTraditionalLanguage deathdate "%2 %n 是 %1 的 deathdate ")	domainEnglishFormat.kif 679-679
(format ChineseLanguage deathdate "%2 %n 是 %1 的 deathdate ")	domainEnglishFormat.kif 680-680
(termFormat EnglishLanguage deathdate "deathdate")	domainEnglishFormat.kif 18762-18762
(termFormat ChineseTraditionalLanguage deathdate "deathdate")	domainEnglishFormat.kif 18763-18763
(termFormat ChineseLanguage deathdate "deathdate")	domainEnglishFormat.kif 18764-18764

antecedent

(=> (deathdate ?P ?T) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (date ?D ?T))))	Mid-level-ontology.kif 26583-26589	If X is a deathdate of Y, then there exists Z such that Z is an instance of death, Y experiences Z, and date of Z is X
(=> (and (deathdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn 29)) (instance ?Y2 (YearFn 36))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2))))	Media.kif 1890-1895	If X is a deathdate of Jesus of Nazareth, Y is an instance of the year 29, and Z is an instance of the year 36, then X is a part of interval between the beginning of Y and the end of Z

consequent

(=>
    (and
        (instance ?TEXT DeathCertificate)
        (instance ?D Death)
        (instance ?A Human)
        (experiencer ?D ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N ?PROC)
            (and
                (deathdate ?A ?DAY)
                (instance ?DAY Day)
                (deathplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)
                (causes ?PROC ?D)
                (instance ?PROC Process)))))

If X is an instance of death certificate, Y is an instance of death, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V,, , U (2) T such that W is a deathdate of Z (3) W is an instance of day (4) V is a deathplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name (8) T causes Y (9) T is an instance of process