Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BirthCertificate
BirthCertificate(birth certificate)

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 Birth certificate is a subclass of certificate

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage BirthCertificate "出生证明") domainEnglishFormat.kif 11181-11181
(termFormat ChineseTraditionalLanguage BirthCertificate "出生證明") domainEnglishFormat.kif 11180-11180
(termFormat EnglishLanguage BirthCertificate "birth certificate") domainEnglishFormat.kif 11179-11179

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