deathdate - Sigma Knowledge base Browser

appearance as argument number 1

(documentation deathdate EnglishLanguage "(deathdate ?PERSON ?DAY) means that ?DAY is the Day on which the ?PERSON died.")	Mid-level-ontology.kif 24335-24336
(domain deathdate 1 Human)	Mid-level-ontology.kif 24337-24337
(domain deathdate 2 Day)	Mid-level-ontology.kif 24338-24338
(instance deathdate BinaryPredicate)	Mid-level-ontology.kif 24339-24339

appearance as argument number 2

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

antecedent

(=> (and (deathdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn 29)) (instance ?Y2 (YearFn 36))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2))))	Media.kif 1943-1948
(=> (deathdate ?P ?T) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (date ?D ?T))))	Mid-level-ontology.kif 24341-24347

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)))))

Biography.kif 280-296