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 20507-20508
(domain birthdate 1 Human) Mid-level-ontology.kif 20510-20510 The number 1 argument of birthdate is an instance of human
(domain birthdate 2 Day) Mid-level-ontology.kif 20511-20511 The number 2 argument of birthdate is an instance of day
(instance birthdate BinaryPredicate) Mid-level-ontology.kif 20509-20509 birthdate is an instance of binary predicate

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 11174-11174
(termFormat ChineseTraditionalLanguage birthdate "生日") domainEnglishFormat.kif 11173-11173
(termFormat EnglishLanguage birthdate "birthdate") domainEnglishFormat.kif 11172-11172

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 20513-20519


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