|
|
   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 1935-1935 | |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1933-1933 | |
| (partition Integer OddInteger EvenInteger) | Merge.kif 1932-1932 | |
| (subclass Integer RationalNumber) | Merge.kif 1931-1931 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain ExponentiationFn 2 Integer) | Merge.kif 4791-4791 | |
| (domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4819-4819 | |
| (domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4904-4904 | |
| (domain PredecessorFn 1 Integer) | Merge.kif 5301-5301 | |
| (domain RemainderFn 1 Integer) | Merge.kif 5067-5067 | |
| (domain RemainderFn 2 Integer) | Merge.kif 5068-5068 | |
| (domain SubListFn 1 Integer) | Merge.kif 3138-3138 | |
| (domain SubListFn 2 Integer) | Merge.kif 3139-3139 | |
| (domain SuccessorFn 1 Integer) | Merge.kif 5268-5268 | |
| (domain YearFn 1 Integer) | Merge.kif 8520-8520 | |
| (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 644-644 | |
| (domain defaultMaxValue 2 Integer) | Merge.kif 18278-18278 | |
| (domain defaultMinValue 2 Integer) | Merge.kif 18261-18261 | |
| (domain defaultValue 2 Integer) | Merge.kif 18295-18295 | |
| (domain exactCardinality 2 Integer) | Media.kif 2070-2070 | |
| (domain exactCardinality 3 Integer) | Media.kif 2071-2071 | |
| (domain fleetSize 2 Integer) | Mid-level-ontology.kif 3487-3487 | |
| (domain heartRate 3 Integer) | Mid-level-ontology.kif 10266-10266 | |
| (domain identityElement 2 Integer) | Merge.kif 5246-5246 | |
| (domain maxCardinality 2 Integer) | Media.kif 2194-2194 | |
| (domain maxCardinality 3 Integer) | Media.kif 2195-2195 | |
| (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 5057-5062 | |
| (=> (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 30872-30887 | |
| (=> (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 30814-30824 | |
| (=> (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 30839-30854 | |
| (=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT)))) |
Merge.kif 5295-5297 | |
| (=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT)))) |
Merge.kif 5291-5293 | |
| (=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT))) |
Merge.kif 5311-5313 | |
| (=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT))) |
Merge.kif 5278-5280 | |
| (=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5053-5055 |
| 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 |
|
|
|