| 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 1906-1906 | |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1904-1904 | |
| (partition Integer OddInteger EvenInteger) | Merge.kif 1903-1903 | |
| (subclass Integer RationalNumber) | Merge.kif 1902-1902 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain ExponentiationFn 2 Integer) | Merge.kif 4732-4732 | |
| (domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4760-4760 | |
| (domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4845-4845 | |
| (domain PredecessorFn 1 Integer) | Merge.kif 5242-5242 | |
| (domain RemainderFn 1 Integer) | Merge.kif 5008-5008 | |
| (domain RemainderFn 2 Integer) | Merge.kif 5009-5009 | |
| (domain SubListFn 1 Integer) | Merge.kif 3097-3097 | |
| (domain SubListFn 2 Integer) | Merge.kif 3098-3098 | |
| (domain SuccessorFn 1 Integer) | Merge.kif 5209-5209 | |
| (domain YearFn 1 Integer) | Merge.kif 8465-8465 | |
| (domain capacityByArrangement 3 Integer) | Hotel.kif 788-788 | |
| (domain coilCount 2 Integer) | Cars.kif 3113-3113 | |
| (domain communicationSatelliteForArea 3 Integer) | Communications.kif 135-135 | |
| (domain criticalityLevel 2 Integer) | QoSontology.kif 642-642 | |
| (domain defaultMaxValue 2 Integer) | Merge.kif 18174-18174 | |
| (domain defaultMinValue 2 Integer) | Merge.kif 18157-18157 | |
| (domain defaultValue 2 Integer) | Merge.kif 18191-18191 | |
| (domain exactCardinality 2 Integer) | Media.kif 2056-2056 | |
| (domain exactCardinality 3 Integer) | Media.kif 2057-2057 | |
| (domain fleetSize 2 Integer) | Mid-level-ontology.kif 3483-3483 | |
| (domain heartRate 3 Integer) | Mid-level-ontology.kif 9955-9955 | |
| (domain identityElement 2 Integer) | Merge.kif 5187-5187 | |
| (domain maxCardinality 2 Integer) | Media.kif 2180-2180 | |
| (domain maxCardinality 3 Integer) | Media.kif 2181-2181 | |
| (domain maxRoomCapacity 2 Integer) | Hotel.kif 477-477 | |
| 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 4998-5003 | |
| (=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30460-30475 | |
| (=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?G) (and (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30402-30412 | |
| (=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30427-30442 | |
| (=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT)))) |
Merge.kif 5236-5238 | |
| (=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT)))) |
Merge.kif 5232-5234 | |
| (=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT))) |
Merge.kif 5252-5254 | |
| (=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT))) |
Merge.kif 5219-5221 | |
| (=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 4994-4996 |
| consequent |
|
|
| (=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3328-3332 | |
| (=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4811-4816 |
|
|
|