(=> (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 |
|
(subclass Wedding Ceremony) | Mid-level-ontology.kif 7959-7959 | Wedding est une sous-classe de Ceremony |
(subclass Wedding Declaring) | Mid-level-ontology.kif 7960-7960 | Wedding est une sous-classe de d�clarer |
(subclass ReligiousWedding Wedding) | Biography.kif 53-53 | ReligiousWedding est une sous-classe de Wedding |
![]() |