| (=> (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 25883-25893 | |
| (=> (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 25842-25853 | |
| (=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3407-3411 | |
| (subclass Integer RationalNumber) | Merge.kif 1965-1965 | 整数 は 有理数 の subclass では |
| (subclass EvenInteger Integer) | Merge.kif 1971-1971 | 偶数の整数 は 整数 の subclass では |
| (subclass OddInteger Integer) | Merge.kif 1976-1976 | 奇数の整数 は 整数 の subclass では |
| (subclass PrimeNumber Integer) | Merge.kif 1981-1981 | 素数 は 整数 の subclass では |
| (subclass NonnegativeInteger Integer) | Merge.kif 1986-1986 | 非負整数 は 整数 の subclass では |
| (subclass NegativeInteger Integer) | Merge.kif 1996-1996 | 負の整数 は 整数 の subclass では |
|
|