|
|
   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 1898-1898 | |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1896-1896 | |
| (partition Integer OddInteger EvenInteger) | Merge.kif 1895-1895 | |
| (subclass Integer RationalNumber) | Merge.kif 1894-1894 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain ExponentiationFn 2 Integer) | Merge.kif 4724-4724 | |
| (domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4752-4752 | |
| (domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4837-4837 | |
| (domain PredecessorFn 1 Integer) | Merge.kif 5234-5234 | |
| (domain RemainderFn 1 Integer) | Merge.kif 5000-5000 | |
| (domain RemainderFn 2 Integer) | Merge.kif 5001-5001 | |
| (domain SubListFn 1 Integer) | Merge.kif 3089-3089 | |
| (domain SubListFn 2 Integer) | Merge.kif 3090-3090 | |
| (domain SuccessorFn 1 Integer) | Merge.kif 5201-5201 | |
| (domain YearFn 1 Integer) | Merge.kif 8457-8457 | |
| (domain capacityByArrangement 3 Integer) | Hotel.kif 767-767 | |
| (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 18167-18167 | |
| (domain defaultMinValue 2 Integer) | Merge.kif 18150-18150 | |
| (domain defaultValue 2 Integer) | Merge.kif 18184-18184 | |
| (domain exactCardinality 2 Integer) | Media.kif 2068-2068 | |
| (domain exactCardinality 3 Integer) | Media.kif 2069-2069 | |
| (domain fleetSize 2 Integer) | Mid-level-ontology.kif 3474-3474 | |
| (domain heartRate 3 Integer) | Mid-level-ontology.kif 9905-9905 | |
| (domain identityElement 2 Integer) | Merge.kif 5179-5179 | |
| (domain maxCardinality 2 Integer) | Media.kif 2186-2186 | |
| (domain maxCardinality 3 Integer) | Media.kif 2187-2187 | |
| (domain maxRoomCapacity 2 Integer) | Hotel.kif 457-457 | |
| 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 4990-4995 | |
| (=> (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 30332-30347 | |
| (=> (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 30276-30286 | |
| (=> (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 30299-30314 | |
| (=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT)))) |
Merge.kif 5228-5230 | |
| (=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT)))) |
Merge.kif 5224-5226 | |
| (=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT))) |
Merge.kif 5244-5246 | |
| (=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT))) |
Merge.kif 5211-5213 | |
| (=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 4986-4988 |
| consequent |
|
|
| (=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3320-3324 | |
| (=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4803-4808 |
|
|
|