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 | O argumento numero 1 de birthdate e' uma instancia de Humano |
(domain birthdate 2 Day) | Mid-level-ontology.kif 24325-24325 | O argumento numero 2 de birthdate e' uma instancia de Dia |
(instance birthdate BinaryPredicate) | Mid-level-ontology.kif 24323-24323 | birthdate e' uma instancia de Predicado Binario |
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 |
|