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 7989-7990 | |
(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 7987-7987 | Wedding e' uma sub-classe de Ceremony |
(subclass Wedding Declaring) | Mid-level-ontology.kif 7988-7988 | Wedding e' uma sub-classe de Declarar |
appearance as argument number 2 |
(subclass ReligiousWedding Wedding) | Biography.kif 53-53 | ReligiousWedding e' uma sub-classe de Wedding |
(termFormat ChineseLanguage Wedding "婚礼") | domainEnglishFormat.kif 62651-62651 | |
(termFormat ChineseTraditionalLanguage Wedding "婚禮") | domainEnglishFormat.kif 62650-62650 | |
(termFormat EnglishLanguage Wedding "wedding") | domainEnglishFormat.kif 62649-62649 |
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 24252-24263 |
|
(=> (instance ?WED Wedding) (exists (?PERSON1 ?PERSON2) (holdsDuring (ImmediateFutureFn (WhenFn ?WED)) (spouse ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 7992-7997 |
consequent |