| 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 |
| 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