birthdate |
appearance as argument number 1 |
(documentation birthdate EnglishLanguage "(birthdate ?PERSON ?DAY) means that ?DAY is the Day on which the ?PERSON was born.") | Mid-level-ontology.kif 24264-24265 | |
(domain birthdate 1 Human) | Mid-level-ontology.kif 24267-24267 | 域 出生日期, 1 and Human |
(domain birthdate 2 Day) | Mid-level-ontology.kif 24268-24268 | 域 出生日期, 2 and Day |
(instance birthdate BinaryPredicate) | Mid-level-ontology.kif 24266-24266 | 例 出生日期 and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage birthdate "%2 %n 是 %1 的 birthdate") | domainEnglishFormat.kif 308-308 | |
(format ChineseTraditionalLanguage birthdate "%2 %n 是 %1 的 birthdate ") | domainEnglishFormat.kif 307-307 | |
(format EnglishLanguage birthdate "%2 is %n a birthdate of %1") | domainEnglishFormat.kif 306-306 | |
(termFormat ChineseLanguage birthdate "出生日期") | domainEnglishFormat.kif 11169-11169 | |
(termFormat ChineseTraditionalLanguage birthdate "出生日期") | domainEnglishFormat.kif 11168-11168 | |
(termFormat EnglishLanguage birthdate "birth date") | domainEnglishFormat.kif 11167-11167 | |
(termFormat EnglishLanguage birthdate "birthdate") | domainEnglishFormat.kif 11170-11170 |
antecedent |
consequent |
(=> (and (instance ?TEXT BirthCertificate) (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N) (and (birthdate ?A ?DAY) (instance ?DAY Day) (birthplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name))))) |
Biography.kif 250-264 |
|