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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BirthCertificate
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


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