Integer(integer) | ![]() | 0, 1, 10, 100, 1000, 101, 105, 11, 110, 115, 12, 120, 125, 13, 130, 135, 14, 140, 145, 15, 150, 155, 16, 160, 165, 17, 170, 175, 18, 180, 19, 190, 2, 20, 200, 21, 22, 23, 24, 25, 26, 27, 28, 29, 3, 30, 300, 31, 32, 33... |
appearance as argument number 1 |
![]() |
(documentation Integer ChineseLanguage "这是一个负或非负的整数。") | chinese_format.kif 1748-1748 | |
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") | Merge.kif 1935-1935 | |
(partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1933-1933 | Integer is exhaustively partitioned into negative integer and nonnegative integer |
(partition Integer OddInteger EvenInteger) | Merge.kif 1932-1932 | Integer is exhaustively partitioned into odd integer and even integer |
(subclass Integer RationalNumber) | Merge.kif 1931-1931 | Integer is a subclass of rational number |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain ExponentiationFn 2 Integer) | Merge.kif 4791-4791 | The number 2 argument of exponentiation is an instance of integer |
(domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4819-4819 | The number 1 argument of greatest common divisor is an instance of integer |
(domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4904-4904 | The number 1 argument of least common multiple is an instance of integer |
(domain PredecessorFn 1 Integer) | Merge.kif 5301-5301 | The number 1 argument of predecessor is an instance of integer |
(domain RemainderFn 1 Integer) | Merge.kif 5067-5067 | The number 1 argument of remainder is an instance of integer |
(domain RemainderFn 2 Integer) | Merge.kif 5068-5068 | The number 2 argument of remainder is an instance of integer |
(domain SubListFn 1 Integer) | Merge.kif 3138-3138 | The number 1 argument of sub-list function is an instance of integer |
(domain SubListFn 2 Integer) | Merge.kif 3139-3139 | The number 2 argument of sub-list function is an instance of integer |
(domain SuccessorFn 1 Integer) | Merge.kif 5268-5268 | The number 1 argument of successor is an instance of integer |
(domain YearFn 1 Integer) | Merge.kif 8520-8520 | The number 1 argument of year is an instance of integer |
(domain capacityByArrangement 3 Integer) | Hotel.kif 788-788 | The number 3 argument of capacity by arrangement is an instance of integer |
(domain coilCount 2 Integer) | Cars.kif 3113-3113 | The number 2 argument of coil count is an instance of integer |
(domain communicationSatelliteForArea 3 Integer) | Communications.kif 135-135 | The number 3 argument of communication satellite for area is an instance of integer |
(domain criticalityLevel 2 Integer) | QoSontology.kif 644-644 | The number 2 argument of criticality level is an instance of integer |
(domain defaultMaxValue 2 Integer) | Merge.kif 18278-18278 | The number 2 argument of default max value is an instance of integer |
(domain defaultMinValue 2 Integer) | Merge.kif 18261-18261 | The number 2 argument of default min value is an instance of integer |
(domain defaultValue 2 Integer) | Merge.kif 18295-18295 | The number 2 argument of default value is an instance of integer |
(domain exactCardinality 2 Integer) | Media.kif 2070-2070 | The number 2 argument of exact cardinality is an instance of integer |
(domain exactCardinality 3 Integer) | Media.kif 2071-2071 | The number 3 argument of exact cardinality is an instance of integer |
(domain fleetSize 2 Integer) | Mid-level-ontology.kif 3487-3487 | The number 2 argument of Fleet Size is an instance of integer |
(domain heartRate 3 Integer) | Mid-level-ontology.kif 10266-10266 | The number 3 argument of heart rate is an instance of integer |
(domain identityElement 2 Integer) | Merge.kif 5246-5246 | The number 2 argument of identity element is an instance of integer |
(domain maxCardinality 2 Integer) | Media.kif 2194-2194 | The number 2 argument of max cardinality is an instance of integer |
(domain maxCardinality 3 Integer) | Media.kif 2195-2195 | The number 3 argument of max cardinality is an instance of integer |
(domain maxRoomCapacity 2 Integer) | Hotel.kif 477-477 | The number 2 argument of maximum capacity is an instance of integer |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3369-3373 |
|
(=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4870-4875 |
|
![]() |
![]() |