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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MarriageCertificate
MarriageCertificate

appearance as argument number 1
-------------------------


(documentation MarriageCertificate EnglishLanguage "A MarriageCertificate is a legal document which certifies a marriage has takenplace, containing information of the time and and place about the ceremony, signed by the parties, witnesses and the officiant.") Biography.kif 299-301
(subclass MarriageCertificate Certificate) Biography.kif 298-298 MarriageCertificate is a subclass of certificate

antecedent
-------------------------


(=>
    (and
        (instance ?TEXT MarriageCertificate)
        (instance ?A Human)
        (instance ?B Human)
        (spouse ?A ?B))
    (containsFormula ?TEXT
        (exists (?DAY)
            (and
                (weddingdate ?A ?B ?DAY)
                (instance ?DAY Day)))))
Biography.kif 307-317
(=>
    (instance ?TEXT MarriageCertificate)
    (attribute ?TEXT Legal))
Biography.kif 303-305
(=>
    (instance ?TEXT MarriageCertificate)
    (exists (?S ?W ?A ?B)
        (and
            (instance ?S SigningAnAgreement)
            (patient ?S ?TEXT)
            (instance ?W Wedding)
            (represents ?TEXT ?W)
            (subProcess ?S ?W)
            (patient ?W ?A)
            (instance ?A Human)
            (patient ?W ?B)
            (instance ?B Human)
            (not
                (equal ?A ?B))
            (agent ?S ?A)
            (agent ?S ?B))))
Biography.kif 319-335


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