(=> (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 24195-24206 | |
(subclass Wedding Ceremony) | Mid-level-ontology.kif 7960-7960 | Wedding は Ceremony の subclass では %n |
(subclass Wedding Declaring) | Mid-level-ontology.kif 7961-7961 | Wedding は declaring の subclass では %n |
(subclass ReligiousWedding Wedding) | Biography.kif 53-53 | ReligiousWedding は Wedding の subclass では %n |