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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - birthday
birthday

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


(documentation birthday EnglishLanguage "(birthday ?PERSON ?DAY) means that ?DAY is the anniversary each year of the birth of ?PERSON. For example, (birthday WilliamJeffersonClinton (DayFn 19 August)) means that Bill Clinton's birthday is August 19th.") Mid-level-ontology.kif 21849-21852
(domain birthday 1 Human) Mid-level-ontology.kif 21854-21854 The number 1 argument of birthday is an instance of human
(domain birthday 2 Day) Mid-level-ontology.kif 21855-21855 The number 2 argument of birthday is an instance of day
(instance birthday BinaryPredicate) Mid-level-ontology.kif 21853-21853 birthday is an instance of binary predicate
(subrelation birthday anniversary) Mid-level-ontology.kif 21856-21856 birthday is a subrelation of anniversary

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


(format ChineseLanguage birthday "%1 的 birthday 是 %2 ") domainEnglishFormat.kif 2899-2899
(format ChineseTraditionalLanguage birthday "%1 的 birthday 是 %2 ") domainEnglishFormat.kif 2898-2898
(format EnglishLanguage birthday "%1's birthday is %2") domainEnglishFormat.kif 2897-2897
(termFormat ChineseLanguage birthday "生日") domainEnglishFormat.kif 11119-11119 "生日" is the printable form of birthday in ChineseLanguage
(termFormat ChineseTraditionalLanguage birthday "生日") domainEnglishFormat.kif 11118-11118 "生日" is the printable form of birthday in ChineseTraditionalLanguage
(termFormat EnglishLanguage birthday "birthday") domainEnglishFormat.kif 11117-11117 "birthday" is the printable form of birthday in english language


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