(=> (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 | |
(subclass Wedding Ceremony) | Mid-level-ontology.kif 7987-7987 | |
(subclass Wedding Declaring) | Mid-level-ontology.kif 7988-7988 | |
(subclass ReligiousWedding Wedding) | Biography.kif 53-53 |