|
|
   BirthCertificate
|
|
|
| appearance as argument number 1 |
|
|
| (documentation BirthCertificate EnglishLanguage "A BirthCertificate is a Text which documents the Birth of a person.") | Biography.kif 237-238 | |
| (subclass BirthCertificate Certificate) | Biography.kif 236-236 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BirthCertificate "出生证明") | domainEnglishFormat.kif 11165-11165 | |
| (termFormat ChineseTraditionalLanguage BirthCertificate "出生證明") | domainEnglishFormat.kif 11164-11164 | |
| (termFormat EnglishLanguage BirthCertificate "birth certificate") | domainEnglishFormat.kif 11163-11163 |
| antecedent |
|
|
| (=> (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 | |
| (=> (instance ?TEXT BirthCertificate) (hasPurpose ?TEXT (exists (?B ?A) (and (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A) (represents ?TEXT ?B))))) |
Biography.kif 240-248 |
|
|
|