| Wedding(wedding)
| | conjoin, espouse, get_hitched_with, get_married, hook_up_with, hymeneals, inmarry, marry, nuptials, wed, wedding, wedding_ceremony, wive |
| appearance as argument number 1 |
|
|
| (documentation Wedding EnglishLanguage "Any Declaring that leads to one person being the spouse of another.") | Mid-level-ontology.kif 7631-7632 | |
| (externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ 2005-09-02-hochzeit-31.jpg") | pictureList.kif 3284-3284 | |
| (externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ Wedding.smallgroup.arp.750pix.jpg") | pictureList.kif 3039-3039 | |
| (externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ You_may_now_kiss_the_bride.jpg") | pictureList.kif 3285-3285 | |
| (subclass Wedding Ceremony) | Mid-level-ontology.kif 7629-7629 | Wedding is a subclass of Ceremony |
| (subclass Wedding Declaring) | Mid-level-ontology.kif 7630-7630 | Wedding is a subclass of declaring |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Wedding "婚礼") | domainEnglishFormat.kif 62616-62616 | |
| (termFormat ChineseTraditionalLanguage Wedding "婚禮") | domainEnglishFormat.kif 62615-62615 | |
| (termFormat EnglishLanguage Wedding "wedding") | domainEnglishFormat.kif 62614-62614 |
| antecedent |
|
|
| (=> (instance ?WED Wedding) (exists (?PERSON1 ?PERSON2) (holdsDuring (ImmediateFutureFn (WhenFn ?WED)) (spouse ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 7634-7639 |
|
| 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 7641-7651 |
|
| (=> (weddingdate ?PERSON1 ?PERSON2 ?DAY) (exists (?WEDDING) (and (instance ?WEDDING Wedding) (patient ?WEDDING ?PERSON1) (patient ?WEDDING ?PERSON2) (time ?WEDDING ?DAY)))) |
Biography.kif 52-59 |
|
|
|
|