| 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 23705-23708 | |
| (domain birthday 1 Human) | Mid-level-ontology.kif 23710-23710 | 生日 的 1 数量 是 人类 的 instance |
| (domain birthday 2 Day) | Mid-level-ontology.kif 23711-23711 | 生日 的 2 数量 是 日 的 instance |
| (instance birthday BinaryPredicate) | Mid-level-ontology.kif 23709-23709 | 生日 是 二元谓语 的 instance |
| (subrelation birthday anniversary) | Mid-level-ontology.kif 23712-23712 | 生日 是 周年 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage birthday "%1 的 birthday 是 %2 ") | domainEnglishFormat.kif 2903-2903 | |
| (format ChineseTraditionalLanguage birthday "%1 的 birthday 是 %2 ") | domainEnglishFormat.kif 2902-2902 | |
| (format EnglishLanguage birthday "%1's birthday is %2") | domainEnglishFormat.kif 2901-2901 | |
| (termFormat ChineseLanguage birthday "生日") | domainEnglishFormat.kif 11180-11180 | |
| (termFormat ChineseTraditionalLanguage birthday "生日") | domainEnglishFormat.kif 11179-11179 | |
| (termFormat EnglishLanguage birthday "birthday") | domainEnglishFormat.kif 11178-11178 |
|
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 3.0 is open source software produced by Articulate Software and its partners