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

Formal Language: 



KB Term:  Term intersection
English Word: 

  deathdate

Sigma KEE - deathdate
deathdate

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 22026-22027
(domain deathdate 1 Human) Mid-level-ontology.kif 22028-22028 The number 1 argument of deathdate is an instance of human
(domain deathdate 2 Day) Mid-level-ontology.kif 22029-22029 The number 2 argument of deathdate is an instance of day
(instance deathdate BinaryPredicate) Mid-level-ontology.kif 22030-22030 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 18694-18694
(termFormat ChineseTraditionalLanguage deathdate "deathdate") domainEnglishFormat.kif 18693-18693
(termFormat EnglishLanguage deathdate "deathdate") domainEnglishFormat.kif 18692-18692

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 22032-22038


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners