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 24284-24287 | |
(domain birthday 1 Human) | Mid-level-ontology.kif 24289-24289 | The number 1 argument of birthday is an instance of human |
(domainSubclass birthday 2 Day) | Mid-level-ontology.kif 24290-24290 | The number 2 argument of birthday is a subclass of day |
(instance birthday BinaryPredicate) | Mid-level-ontology.kif 24288-24288 | birthday is an instance of binary predicate |
(subrelation birthday anniversary) | Mid-level-ontology.kif 24291-24291 | birthday is a subrelation of anniversary |
appearance as argument number 2 |
(format ChineseLanguage birthday "%1 的 birthday 是 %2 ") | domainEnglishFormat.kif 2902-2902 | |
(format ChineseTraditionalLanguage birthday "%1 的 birthday 是 %2 ") | domainEnglishFormat.kif 2901-2901 | |
(format EnglishLanguage birthday "%1's birthday is %2") | domainEnglishFormat.kif 2900-2900 | |
(termFormat ChineseLanguage birthday "生日") | domainEnglishFormat.kif 11177-11177 | |
(termFormat ChineseTraditionalLanguage birthday "生日") | domainEnglishFormat.kif 11176-11176 | |
(termFormat EnglishLanguage birthday "birthday") | domainEnglishFormat.kif 11175-11175 |
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 24293-24303 |
|