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 "(deathdate ?PERSON ?DAY) means that ?DAY is the Day on which the ?PERSON died.") Mid-level-ontology.kif 24278-24279
(domain deathdate 1 Human) Mid-level-ontology.kif 24280-24280 deathdate の数値 1 引数は 人[人間]instance では %n
(domain deathdate 2 Day) Mid-level-ontology.kif 24281-24281 deathdate の数値 2 引数は instance では %n
(instance deathdate BinaryPredicate) Mid-level-ontology.kif 24282-24282 deathdate2進述語instance では %n

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 24284-24290

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


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 3.0 is open source software produced by Articulate Software and its partners