| 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 1866-1866 | |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1864-1864 | Integer is exhaustively partitioned into negative integer and nonnegative integer |
| (partition Integer OddInteger EvenInteger) | Merge.kif 1863-1863 | Integer is exhaustively partitioned into odd integer and even integer |
| (subclass Integer RationalNumber) | Merge.kif 1862-1862 | Integer is a subclass of rational number |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain ExponentiationFn 2 Integer) | Merge.kif 4589-4589 | The number 2 argument of exponentiation is an instance of integer |
| (domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4617-4617 | The number 1 argument of greatest common divisor is an instance of integer |
| (domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4690-4690 | The number 1 argument of least common multiple is an instance of integer |
| (domain PredecessorFn 1 Integer) | Merge.kif 5009-5009 | The number 1 argument of predecessor is an instance of integer |
| (domain RemainderFn 1 Integer) | Merge.kif 4842-4842 | The number 1 argument of remainder is an instance of integer |
| (domain RemainderFn 2 Integer) | Merge.kif 4843-4843 | The number 2 argument of remainder is an instance of integer |
| (domain SubListFn 1 Integer) | Merge.kif 3049-3049 | The number 1 argument of sub-list function is an instance of integer |
| (domain SubListFn 2 Integer) | Merge.kif 3050-3050 | The number 2 argument of sub-list function is an instance of integer |
| (domain SuccessorFn 1 Integer) | Merge.kif 4976-4976 | The number 1 argument of successor is an instance of integer |
| (domain YearFn 1 Integer) | Merge.kif 7982-7982 | The number 1 argument of year is an instance of integer |
| (domain capacityByArrangement 3 Integer) | Hotel.kif 761-761 | The number 3 argument of capacity by arrangement is an instance of integer |
| (domain coilCount 2 Integer) | Cars.kif 3088-3088 | The number 2 argument of coilCount 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 642-642 | The number 2 argument of criticality level is an instance of integer |
| (domain defaultMaxValue 2 Integer) | Merge.kif 17036-17036 | The number 2 argument of defaultMaxValue is an instance of integer |
| (domain defaultMinValue 2 Integer) | Merge.kif 17021-17021 | The number 2 argument of defaultMinValue is an instance of integer |
| (domain defaultValue 2 Integer) | Merge.kif 17051-17051 | The number 2 argument of defaultValue is an instance of integer |
| (domain exactCardinality 2 Integer) | Media.kif 2072-2072 | The number 2 argument of exactCardinality is an instance of integer |
| (domain exactCardinality 3 Integer) | Media.kif 2073-2073 | The number 3 argument of exactCardinality is an instance of integer |
| (domain fleetSize 2 Integer) | Mid-level-ontology.kif 4055-4055 | The number 2 argument of Fleet Size is an instance of integer |
| (domain identityElement 2 Integer) | Merge.kif 4954-4954 | The number 2 argument of identity element is an instance of integer |
| (domain maxCardinality 2 Integer) | Media.kif 2190-2190 | The number 2 argument of maxCardinality is an instance of integer |
| (domain maxCardinality 3 Integer) | Media.kif 2191-2191 | The number 3 argument of maxCardinality is an instance of integer |
| (domain maxRoomCapacity 2 Integer) | Hotel.kif 453-453 | The number 2 argument of maximum capacity is an instance of integer |
| (domain maxValue 2 Integer) | Merge.kif 17006-17006 | The number 2 argument of maxValue 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 3238-3242 |
|
| (=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4656-4661 |
|
|
|
|