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

Formal Language: 



KB Term:  Term intersection
English Word: 

  birthdate

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 birthdate 的 1 数量 是 人类instance
(domain birthdate 2 Day) Mid-level-ontology.kif 21973-21973 birthdate 的 2 数量 是 instance
(instance birthdate BinaryPredicate) Mid-level-ontology.kif 21971-21971 birthdate二元谓语instance

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners