| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners