(=> (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 では %n |
(subclass Monday Day) | Merge.kif 9240-9240 | 月曜日 は 日 の subclass では %n |
(subclass Tuesday Day) | Merge.kif 9243-9243 | 火曜日 は 日 の subclass では %n |
(subclass Wednesday Day) | Merge.kif 9256-9256 | 水曜日 は 日 の subclass では %n |
(subclass Thursday Day) | Merge.kif 9269-9269 | 木曜日 は 日 の subclass では %n |
(subclass Friday Day) | Merge.kif 9282-9282 | 金曜日 は 日 の subclass では %n |
(subclass Saturday Day) | Merge.kif 9295-9295 | 土曜日 は 日 の subclass では %n |
(subclass Sunday Day) | Merge.kif 9308-9308 | 日曜日 は 日 の subclass では %n |
(subclass ChristmasDay Day) | Media.kif 335-335 | ChristmasDay は 日 の subclass では %n |