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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 21944-21947
(domain birthday 1 Human) Mid-level-ontology.kif 21949-21949
(domain birthday 2 Day) Mid-level-ontology.kif 21950-21950
(instance birthday BinaryPredicate) Mid-level-ontology.kif 21948-21948
(subrelation birthday anniversary) Mid-level-ontology.kif 21951-21951

appearance as argument number 2

(format EnglishLanguage birthday "%1's birthday is %2") domainEnglishFormat.kif 734-734
(termFormat EnglishLanguage birthday "birthday") domainEnglishFormat.kif 2286-2286

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