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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - birthdate
birthdate

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


(documentation birthdate EnglishLanguage "(birthdate ?PERSON ?DAY) means that ?DAY is the Day on which the ?PERSON was born.") Mid-level-ontology.kif 21970-21971
(domain birthdate 1 Human) Mid-level-ontology.kif 21973-21973 domain birthdate, 1 and Human
(domain birthdate 2 Day) Mid-level-ontology.kif 21974-21974 domain birthdate, 2 and Day
(instance birthdate BinaryPredicate) Mid-level-ontology.kif 21972-21972 instance birthdate and BinaryPredicate

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


(format ChineseLanguage birthdate "%2 %n 是 %1 的 birthdate") domainEnglishFormat.kif 308-308
(format ChineseTraditionalLanguage birthdate "%2 %n 是 %1 的 birthdate ") domainEnglishFormat.kif 307-307
(format EnglishLanguage birthdate "%2 is %n a birthdate of %1") domainEnglishFormat.kif 306-306
(termFormat ChineseLanguage birthdate "生日") domainEnglishFormat.kif 11113-11113 termFormat ChineseLanguage, birthdate and "生日"
(termFormat ChineseTraditionalLanguage birthdate "生日") domainEnglishFormat.kif 11112-11112 termFormat ChineseTraditionalLanguage, birthdate and "生日"
(termFormat EnglishLanguage birthdate "birthdate") domainEnglishFormat.kif 11111-11111 termFormat EnglishLanguage, birthdate and "birthdate"

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


(=>
    (and
        (birthdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn -6))
        (instance ?Y2
            (YearFn 4)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))
Media.kif 1938-1943
(=>
    (birthdate ?P ?D)
    (exists (?B)
        (and
            (instance ?B Birth)
            (experiencer ?B ?P)
            (date ?B ?D))))
Mid-level-ontology.kif 21975-21981


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