| 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 25346-25349 | |
| (domain birthday 1 Human) | Mid-level-ontology.kif 25351-25351 | The number 1 argument of birthday is an instance of human |
| (domainSubclass birthday 2 Day) | Mid-level-ontology.kif 25352-25352 | The number 2 argument of birthday is a subclass of day |
| (instance birthday BinaryPredicate) | Mid-level-ontology.kif 25350-25350 | birthday is an instance of binary predicate |
| (subrelation birthday anniversary) | Mid-level-ontology.kif 25353-25353 | birthday is a subrelation of anniversary |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage birthday "%1 的 birthday 是 %2 ") | domainEnglishFormat.kif 2898-2898 | |
| (format ChineseTraditionalLanguage birthday "%1 的 birthday 是 %2 ") | domainEnglishFormat.kif 2897-2897 | |
| (format EnglishLanguage birthday "%1's birthday is %2") | domainEnglishFormat.kif 2896-2896 | |
| (termFormat ChineseLanguage birthday "生日") | domainEnglishFormat.kif 11192-11192 | |
| (termFormat ChineseTraditionalLanguage birthday "生日") | domainEnglishFormat.kif 11191-11191 | |
| (termFormat EnglishLanguage birthday "birthday") | domainEnglishFormat.kif 11190-11190 |
| consequent |
|
|
| (=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 25355-25365 |
|
|
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