| (=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 24236-24246 | |
| (=> (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 Day TimeInterval) | Merge.kif 9230-9230 | |
| (subclass Monday Day) | Merge.kif 9240-9240 | |
| (subclass Tuesday Day) | Merge.kif 9243-9243 | |
| (subclass Wednesday Day) | Merge.kif 9256-9256 | |
| (subclass Thursday Day) | Merge.kif 9269-9269 | |
| (subclass Friday Day) | Merge.kif 9282-9282 | |
| (subclass Saturday Day) | Merge.kif 9295-9295 | |
| (subclass Sunday Day) | Merge.kif 9308-9308 | |
| (subclass ChristmasDay Day) | Media.kif 335-335 |
|
|