| Integer | |
| appearance as argument number 1 |
|
|
| (documentation Integer ChineseLanguage "这是一个负或非负的整数。") | Merge.kif 3123-3123 | |
| (documentation Integer EnglishLanguage "A negative or nonnegative whole number.") | Merge.kif 3121-3121 | |
| (documentation Integer JapaneseLanguage "負または非負の整数。") | Merge.kif 3125-3125 | |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 3119-3119 | |
| (partition Integer OddInteger EvenInteger) | Merge.kif 3118-3118 | |
| (subclass Integer RationalNumber) | Merge.kif 3117-3117 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain ExponentiationFn 2 Integer) | Merge.kif 7135-7135 | |
| (domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 7175-7175 | |
| (domain LeastCommonMultipleFn 1 Integer) | Merge.kif 7274-7274 | |
| (domain PredecessorFn 1 Integer) | Merge.kif 7707-7707 | |
| (domain RemainderFn 1 Integer) | Merge.kif 7491-7491 | |
| (domain RemainderFn 2 Integer) | Merge.kif 7492-7492 | |
| (domain SuccessorFn 1 Integer) | Merge.kif 7668-7668 | |
| (domain YearFn 1 Integer) | Merge.kif 12091-12091 | |
| (domain capacityByArrangement 3 Integer) | Hotel.kif 757-757 | |
| (domain coilCount 2 Integer) | Cars.kif 3084-3084 | |
| (domain communicationSatelliteForArea 3 Integer) | Communications.kif 135-135 | |
| (domain criticalityLevel 2 Integer) | QoSontology.kif 640-640 | |
| (domain defaultMaxValue 2 Integer) | Merge.kif 23204-23204 | |
| (domain defaultMinValue 2 Integer) | Merge.kif 23189-23189 | |
| (domain defaultValue 2 Integer) | Merge.kif 23219-23219 | |
| (domain exactCardinality 2 Integer) | Media.kif 2072-2072 | |
| (domain exactCardinality 3 Integer) | Media.kif 2073-2073 | |
| (domain fleetSize 2 Integer) | Mid-level-ontology.kif 4059-4059 | |
| (domain identityElement 2 Integer) | Merge.kif 7639-7639 | |
| (domain maxCardinality 2 Integer) | Media.kif 2190-2190 | |
| (domain maxCardinality 3 Integer) | Media.kif 2191-2191 | |
| (domain maxRoomCapacity 2 Integer) | Hotel.kif 450-450 | |
| (domain maxValue 2 Integer) | Merge.kif 23173-23173 | |
| (domain memberCount 2 Integer) | Mid-level-ontology.kif 20503-20503 | |
| (domain minCardinality 2 Integer) | Media.kif 2154-2154 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (instance ?NUMBER Integer) (not (equal ?NUMBER 0))) (equal 1 (MultiplicationFn ?NUMBER (ReciprocalFn ?NUMBER)))) |
Merge.kif 7481-7486 | |
| (=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT)))) |
Merge.kif 7701-7703 | |
| (=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT)))) |
Merge.kif 7697-7699 | |
| (=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT))) |
Merge.kif 7723-7725 | |
| (=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT))) |
Merge.kif 7684-7686 | |
| (=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 7477-7479 |
| consequent |
|
|
| (=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 5133-5137 | |
| (=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 7228-7233 |
|
|
|