Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MarriageCertificate(marriage certificate) |
| appearance as argument number 1 |
|
| (subclass MarriageCertificate Certificate) | Biography.kif 305-305 | Marriage certificate is a subclass of certificate |
| (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 307-309 | Marriage certificate is a subclass of certificate |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MarriageCertificate "marriage certificate") | Biography.kif 306-306 |
| antecedent |
|
|
| (=> (instance ?TEXT MarriageCertificate) (attribute ?TEXT Legal)) |
Biography.kif 311-313 | If X is an instance of marriage certificate, then legal is an attribute of X |
| (=> (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 315-325 | If X is an instance of marriage certificate, Y is an instance of human, Z is an instance of human, and Y is the spouse of Z, then X contains the formula there exists W such that Y, Z were married on W, and W is an instance of day |
| (=> (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 327-343 | If X is an instance of marriage certificate, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of signing an agreement (3) X is a patient of Y (4) Z is an instance of wedding (5) X expresses Z (6) Y is a subprocess of Z (7) W is a patient of Z (8) W is an instance of human (9) V is a patient of Z (10) V is an instance of human (11) equal W (12) V (13) W is an agent of Y (14) V is an agent of Y |
|