Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - deathdate
deathdate

appearance as argument number 1
-------------------------


(documentation deathdate EnglishLanguage "(birthdate ?PERSON ?DAY) means that ?DAY is the Day on which the ?PERSON died.") Mid-level-ontology.kif 21982-21983
(domain deathdate 1 Human) Mid-level-ontology.kif 21984-21984
(domain deathdate 2 Day) Mid-level-ontology.kif 21985-21985
(instance deathdate BinaryPredicate) Mid-level-ontology.kif 21986-21986

appearance as argument number 2
-------------------------


(format EnglishLanguage deathdate "%2 is %n a deathdate of %1") domainEnglishFormat.kif 179-179
(termFormat EnglishLanguage deathdate "deathdate") domainEnglishFormat.kif 3548-3548

antecedent
-------------------------


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners