Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Wedding
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Wedding Ceremony) | Mid-level-ontology.kif 9281-9281 | Wedding is a subclass of ceremony |
| (subclass Wedding Declaring) | Mid-level-ontology.kif 9282-9282 | Wedding is a subclass of declaring |
| (documentation Wedding EnglishLanguage "Any Declaring that leads to one person being the spouse of another.") | Mid-level-ontology.kif 9283-9284 | Wedding is a subclass of declaring |
| (externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ Wedding.smallgroup.arp.750pix.jpg") | pictureList.kif 3037-3037 | Wedding is a subclass of declaring |
| (externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ 2005-09-02-hochzeit-31.jpg") | pictureList.kif 3282-3282 | Wedding is a subclass of declaring |
| (externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ You_may_now_kiss_the_bride.jpg") | pictureList.kif 3283-3283 | Wedding is a subclass of declaring |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?WED Wedding) (exists (?PERSON1 ?PERSON2) (holdsDuring (ImmediateFutureFn (WhenFn ?WED)) (spouse ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 9286-9291 | If X is an instance of wedding, then there exist Y and Z such that Y is the spouse of Z holds during immediately after the time of existence of X |
| (=> (and (instance ?WED Wedding) (date ?WED ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (weddingAnniversary ?WED ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 26479-26490 | If X is an instance of wedding, date of X is Y, and Y is an instance of the day Z of month the month W, then All of the following hold: (1) there exist V (2) U such that wedding anniversary X (3) V (4) V is a subclass of day (5) U is an instance of integer (6) equal V (7) the day Z of month the month W (8) U is greater than T |
| consequent |
|
|
| (=> (and (holdsDuring ?T1 (spouse ?P1 ?P2)) (instance ?T1 TimeInterval)) (exists (?WED) (and (instance ?WED Wedding) (patient ?WED ?P1) (patient ?WED ?P2) (earlier (WhenFn ?WED) ?T1)))) |
Mid-level-ontology.kif 9293-9303 | If X is the spouse of Y holds during Z and Z is an instance of timeframe, then there exists W such that W is an instance of wedding, X is a patient of W, Y is a patient of W, and the time of existence of W happens earlier than Z |
| (=> (weddingdate ?PERSON1 ?PERSON2 ?DAY) (exists (?WEDDING) (and (instance ?WEDDING Wedding) (patient ?WEDDING ?PERSON1) (patient ?WEDDING ?PERSON2) (not (equal ?PERSON1 ?PERSON2)) (date ?WEDDING ?DAY)))) |
Mid-level-ontology.kif 26500-26509 | If X and Y were married on Z, then there exists W such that W is an instance of wedding, X is a patient of W, Y is a patient of W, equal X, Y, and date of W is Z |
| (=> (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 |
|
