![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Integer ChineseLanguage "这是一个负或非负的整数。") | chinese_format.kif 1748-1748 | |
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") | Merge.kif 1969-1969 | |
(documentation Integer JapaneseLanguage "負または非負の整数。") | japanese_format.kif 356-356 | |
(partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1967-1967 | 整数 は 負の整数 + 非負整数 に exhaustively partitioned |
(partition Integer OddInteger EvenInteger) | Merge.kif 1966-1966 | 整数 は 奇数の整数 + 偶数の整数 に exhaustively partitioned |
(subclass Integer RationalNumber) | Merge.kif 1965-1965 | 整数 は 有理数 の subclass では |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
consequent |
![]() |
(=> (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 ?MIT BarMitzvah) (patient ?MIT ?X) (instance ?X Boy) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13))))) |
Biography.kif 71-87 |
|
(=> (and (instance ?MIT BatMitzvah) (patient ?MIT ?X) (instance ?X Girl) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13))))) |
Biography.kif 102-118 |
|
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3407-3411 | |
(=> (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 | |
(=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4927-4932 |
![]() |
![]() |