deathdate - Sigma Knowledge base Browser

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

(documentation deathdate EnglishLanguage "(deathdate ?PERSON ?DAY) means that ?DAY is the Day on which the ?PERSON died.")	Mid-level-ontology.kif 26577-26578
(domain deathdate 1 Human)	Mid-level-ontology.kif 26579-26579	The number 1 argument of deathdate is an instance of human
(domain deathdate 2 Day)	Mid-level-ontology.kif 26580-26580	The number 2 argument of deathdate is an instance of day
(instance deathdate BinaryPredicate)	Mid-level-ontology.kif 26581-26581	deathdate is an instance of binary predicate

(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