(=> (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 24235-24245 | |
(=> (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 Day TimeInterval) | Merge.kif 9252-9252 | 子類 Day and TimeInterval |
(subclass Monday Day) | Merge.kif 9262-9262 | 子類 Monday and Day |
(subclass Tuesday Day) | Merge.kif 9265-9265 | 子類 Tuesday and Day |
(subclass Wednesday Day) | Merge.kif 9278-9278 | 子類 Wednesday and Day |
(subclass Thursday Day) | Merge.kif 9291-9291 | 子類 Thursday and Day |
(subclass Friday Day) | Merge.kif 9304-9304 | 子類 Friday and Day |
(subclass Saturday Day) | Merge.kif 9317-9317 | 子類 Saturday and Day |
(subclass Sunday Day) | Merge.kif 9330-9330 | 子類 Sunday and Day |
(subclass ChristmasDay Day) | Media.kif 335-335 | 子類 ChristmasDay and Day |
![]() |