| 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 8180-8181 | |
| (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 8178-8178 | |
| (subclass Wedding Declaring) | Mid-level-ontology.kif 8179-8179 |
| appearance as argument number 2 |
|
|
| (subclass ReligiousWedding Wedding) | Biography.kif 53-53 | |
| (termFormat ChineseLanguage Wedding "婚礼") | domainEnglishFormat.kif 62674-62674 | |
| (termFormat ChineseTraditionalLanguage Wedding "婚禮") | domainEnglishFormat.kif 62673-62673 | |
| (termFormat EnglishLanguage Wedding "wedding") | domainEnglishFormat.kif 62672-62672 |
| 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 24483-24494 | |
| (=> (instance ?WED Wedding) (exists (?PERSON1 ?PERSON2) (holdsDuring (ImmediateFutureFn (WhenFn ?WED)) (spouse ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 8183-8188 |
| 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 8190-8200 | |
| (=> (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 | |
| (=> (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 24504-24513 |
|
|
|