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 24566-24567
(domain deathdate 1 Human)	Mid-level-ontology.kif 24568-24568	The number 1 argument of deathdate is an instance of human
(domain deathdate 2 Day)	Mid-level-ontology.kif 24569-24569	The number 2 argument of deathdate is an instance of day
(instance deathdate BinaryPredicate)	Mid-level-ontology.kif 24570-24570	deathdate is an instance of binary predicate

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 18778-18778
(termFormat ChineseTraditionalLanguage deathdate "deathdate")	domainEnglishFormat.kif 18777-18777
(termFormat EnglishLanguage deathdate "deathdate")	domainEnglishFormat.kif 18776-18776

antecedent

(=> (and (deathdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn 29)) (instance ?Y2 (YearFn 36))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2))))	Media.kif 1943-1948	If a day is a deathdate of Jesus of Nazareth and a time interval is an instance of the year 29 and another time interval is an instance of the year 36, then the day is a part of interval between the beginning of the time interval and the end of the other time interval
(=> (deathdate ?P ?T) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (date ?D ?T))))	Mid-level-ontology.kif 24572-24578	If a day is a deathdate of a human, then there exists a process such that the process is an instance of death and the human experiences the process and date of the process is the day

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