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 24321-24322 | |
(domain birthdate 1 Human) | Mid-level-ontology.kif 24324-24324 | Le nombre 1 argument de birthdate est une instance de humain |
(domain birthdate 2 Day) | Mid-level-ontology.kif 24325-24325 | Le nombre 2 argument de birthdate est une instance de jour |
(instance birthdate BinaryPredicate) | Mid-level-ontology.kif 24323-24323 | birthdate est une instance de pr�dicat binaire |
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 |
|