| Wedding
| |
| appearance as argument number 1 |
|
|
| (documentation Wedding EnglishLanguage "Any Declaring that leads to one person being the spouse of another.") | Mid-level-ontology.kif 9129-9130 | |
| (externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ 2005-09-02-hochzeit-31.jpg") | pictureList.kif 3282-3282 | |
| (externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ Wedding.smallgroup.arp.750pix.jpg") | pictureList.kif 3037-3037 | |
| (externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ You_may_now_kiss_the_bride.jpg") | pictureList.kif 3283-3283 | |
| (subclass Wedding Ceremony) | Mid-level-ontology.kif 9127-9127 | |
| (subclass Wedding Declaring) | Mid-level-ontology.kif 9128-9128 |
| appearance as argument number 2 |
|
|
| (subclass ReligiousWedding Wedding) | Biography.kif 53-53 | |
| (termFormat ChineseLanguage Wedding "婚礼") | domainEnglishFormat.kif 62643-62643 | |
| (termFormat ChineseTraditionalLanguage Wedding "婚禮") | domainEnglishFormat.kif 62642-62642 | |
| (termFormat EnglishLanguage Wedding "wedding") | domainEnglishFormat.kif 62641-62641 |
| antecedent |
|
|
| (=> (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 25844-25855 | |
| (=> (instance ?WED Wedding) (exists (?PERSON1 ?PERSON2) (holdsDuring (ImmediateFutureFn (WhenFn ?WED)) (spouse ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 9132-9137 |
| 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 9139-9149 | |
| (=> (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 | |
| (=> (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 25865-25874 |
|
|
|