|
|
   BirthCertificate
|
|
|
| appearance as argument number 1 |
|
|
| (documentation BirthCertificate EnglishLanguage "A BirthCertificate is a Text which documents the Birth of a person.") | Biography.kif 243-244 | |
| (subclass BirthCertificate Certificate) | Biography.kif 242-242 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BirthCertificate "出生证明") | domainEnglishFormat.kif 11174-11174 | |
| (termFormat ChineseTraditionalLanguage BirthCertificate "出生證明") | domainEnglishFormat.kif 11173-11173 | |
| (termFormat EnglishLanguage BirthCertificate "birth certificate") | domainEnglishFormat.kif 11172-11172 |
| 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 256-270 | |
| (=> (instance ?TEXT BirthCertificate) (hasPurpose ?TEXT (exists (?B ?A) (and (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A) (represents ?TEXT ?B))))) |
Biography.kif 246-254 |
|
|
|