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 21969-21970
(domain birthdate 1 Human) Mid-level-ontology.kif 21972-21972
(domain birthdate 2 Day) Mid-level-ontology.kif 21973-21973
(instance birthdate BinaryPredicate) Mid-level-ontology.kif 21971-21971

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


(format EnglishLanguage birthdate "%2 is %n a birthdate of %1") domainEnglishFormat.kif 86-86
(termFormat EnglishLanguage birthdate "birthdate") domainEnglishFormat.kif 2285-2285

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 21974-21980


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