Integer | ![]() |
appearance as argument number 1 |
![]() |
(documentation Integer ChineseLanguage "这是一个负或非负的整数。") | chinese_format.kif 1748-1748 | |
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") | Merge.kif 1865-1865 | |
(partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1863-1863 | |
(partition Integer OddInteger EvenInteger) | Merge.kif 1862-1862 | |
(subclass Integer RationalNumber) | Merge.kif 1861-1861 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain ExponentiationFn 2 Integer) | Merge.kif 4501-4501 | |
(domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4529-4529 | |
(domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4602-4602 | |
(domain PredecessorFn 1 Integer) | Merge.kif 4921-4921 | |
(domain RemainderFn 1 Integer) | Merge.kif 4754-4754 | |
(domain RemainderFn 2 Integer) | Merge.kif 4755-4755 | |
(domain SuccessorFn 1 Integer) | Merge.kif 4888-4888 | |
(domain YearFn 1 Integer) | Merge.kif 7891-7891 | |
(domain capacityByArrangement 3 Integer) | Hotel.kif 761-761 | |
(domain coilCount 2 Integer) | Cars.kif 3087-3087 | |
(domain communicationSatelliteForArea 3 Integer) | Communications.kif 135-135 | |
(domain criticalityLevel 2 Integer) | QoSontology.kif 642-642 | |
(domain defaultMaxValue 2 Integer) | Merge.kif 16943-16943 | |
(domain defaultMinValue 2 Integer) | Merge.kif 16928-16928 | |
(domain defaultValue 2 Integer) | Merge.kif 16958-16958 | |
(domain exactCardinality 2 Integer) | Media.kif 2072-2072 | |
(domain exactCardinality 3 Integer) | Media.kif 2073-2073 | |
(domain fleetSize 2 Integer) | Mid-level-ontology.kif 4055-4055 | |
(domain identityElement 2 Integer) | Merge.kif 4866-4866 | |
(domain maxCardinality 2 Integer) | Media.kif 2190-2190 | |
(domain maxCardinality 3 Integer) | Media.kif 2191-2191 | |
(domain maxRoomCapacity 2 Integer) | Hotel.kif 453-453 | |
(domain maxValue 2 Integer) | Merge.kif 16913-16913 | |
(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 4744-4749 | |
(=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT)))) |
Merge.kif 4915-4917 | |
(=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT)))) |
Merge.kif 4911-4913 | |
(=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT))) |
Merge.kif 4931-4933 | |
(=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT))) |
Merge.kif 4898-4900 | |
(=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 4740-4742 |
consequent |
![]() |
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3148-3152 | |
(=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4568-4573 |
![]() |
![]() |