(=> (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 è una sottoclasse di Ceremony |
(subclass Wedding Declaring) | Mid-level-ontology.kif 7960-7960 | Wedding è una sottoclasse di Dichiarare |
(subclass ReligiousWedding Wedding) | Biography.kif 53-53 | ReligiousWedding è una sottoclasse di Wedding |
![]() |