(=> (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 | |
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3392-3396 | |
(subclass Integer RationalNumber) | Merge.kif 1954-1954 | 整数 は 有理数 の subclass では %n |
(subclass EvenInteger Integer) | Merge.kif 1960-1960 | 偶数の整数 は 整数 の subclass では %n |
(subclass OddInteger Integer) | Merge.kif 1965-1965 | 奇数の整数 は 整数 の subclass では %n |
(subclass PrimeNumber Integer) | Merge.kif 1970-1970 | 素数 は 整数 の subclass では %n |
(subclass NonnegativeInteger Integer) | Merge.kif 1975-1975 | 非負整数 は 整数 の subclass では %n |
(subclass NegativeInteger Integer) | Merge.kif 1985-1985 | 負の整数 は 整数 の subclass では %n |