(=> (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 | 日 は 時間間隔 の subclass では %n |
(subclass Monday Day) | Merge.kif 9262-9262 | 月曜日 は 日 の subclass では %n |
(subclass Tuesday Day) | Merge.kif 9265-9265 | 火曜日 は 日 の subclass では %n |
(subclass Wednesday Day) | Merge.kif 9278-9278 | 水曜日 は 日 の subclass では %n |
(subclass Thursday Day) | Merge.kif 9291-9291 | 木曜日 は 日 の subclass では %n |
(subclass Friday Day) | Merge.kif 9304-9304 | 金曜日 は 日 の subclass では %n |
(subclass Saturday Day) | Merge.kif 9317-9317 | 土曜日 は 日 の subclass では %n |
(subclass Sunday Day) | Merge.kif 9330-9330 | 日曜日 は 日 の subclass では %n |
(subclass ChristmasDay Day) | Media.kif 335-335 | ChristmasDay は 日 の subclass では %n |