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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 23655-23656
(domain deathdate 1 Human) Mid-level-ontology.kif 23657-23657
(domain deathdate 2 Day) Mid-level-ontology.kif 23658-23658
(instance deathdate BinaryPredicate) Mid-level-ontology.kif 23659-23659

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 18753-18753
(termFormat ChineseTraditionalLanguage deathdate "deathdate") domainEnglishFormat.kif 18752-18752
(termFormat EnglishLanguage deathdate "deathdate") domainEnglishFormat.kif 18751-18751


        (deathdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn 29))
        (instance ?Y2
            (YearFn 36)))
    (temporalPart ?DAY
            (BeginFn ?Y1)
            (EndFn ?Y2))))
Media.kif 1941-1946
    (deathdate ?P ?T)
    (exists (?D)
            (instance ?D Death)
            (experiencer ?D ?P)
            (date ?D ?T))))
Mid-level-ontology.kif 23661-23667

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