(=> (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 e' uma sub-classe de Ceremony |
(subclass Wedding Declaring) | Mid-level-ontology.kif 7960-7960 | Wedding e' uma sub-classe de Declarar |
(subclass ReligiousWedding Wedding) | Biography.kif 53-53 | ReligiousWedding e' uma sub-classe de Wedding |