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 7961-7962 | |
(externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ 2005-09-02-hochzeit-31.jpg") | pictureList.kif 3283-3283 | |
(externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ Wedding.smallgroup.arp.750pix.jpg") | pictureList.kif 3038-3038 | |
(externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ You_may_now_kiss_the_bride.jpg") | pictureList.kif 3284-3284 | |
(subclass Wedding Ceremony) | Mid-level-ontology.kif 7959-7959 | Wedding は Ceremony の subclass では %n |
(subclass Wedding Declaring) | Mid-level-ontology.kif 7960-7960 | Wedding は declaring の subclass では %n |
appearance as argument number 2 |
(subclass ReligiousWedding Wedding) | Biography.kif 53-53 | ReligiousWedding は Wedding の subclass では %n |
(termFormat ChineseLanguage Wedding "婚礼") | domainEnglishFormat.kif 62649-62649 | |
(termFormat ChineseTraditionalLanguage Wedding "婚禮") | domainEnglishFormat.kif 62648-62648 | |
(termFormat EnglishLanguage Wedding "wedding") | domainEnglishFormat.kif 62647-62647 |
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 24194-24205 | |
(=> (instance ?WED Wedding) (exists (?PERSON1 ?PERSON2) (holdsDuring (ImmediateFutureFn (WhenFn ?WED)) (spouse ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 7964-7969 |
consequent |