|
|
   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 1958-1958 | |
| (documentation Integer JapaneseLanguage "負または非負の整数。") | japanese_format.kif 356-356 | |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1956-1956 | |
| (partition Integer OddInteger EvenInteger) | Merge.kif 1955-1955 | |
| (subclass Integer RationalNumber) | Merge.kif 1954-1954 |
| appearance as argument number 2 |
|
|
| (range AvailableForMilitaryServiceMaleFn Integer) | Military.kif 857-857 | |
| (range CardinalityFn Integer) | Merge.kif 5510-5510 | |
| (range CeilingFn Integer) | Merge.kif 4785-4785 | |
| (range DenominatorFn Integer) | Merge.kif 4812-4812 | |
| (range FitForMilitaryServiceMaleFn Integer) | Military.kif 879-879 | |
| (range FloorFn Integer) | Merge.kif 4830-4830 | |
| (range GreatestCommonDivisorFn Integer) | Merge.kif 4848-4848 | |
| (range LeastCommonMultipleFn Integer) | Merge.kif 4933-4933 | |
| (range NumeratorFn Integer) | Merge.kif 5038-5038 | |
| (range PopulationFn Integer) | Mid-level-ontology.kif 31725-31725 | |
| (range PredecessorFn Integer) | Merge.kif 5336-5336 | |
| (range ReachingMilitaryAgeAnnuallyMaleFn Integer) | Military.kif 917-917 | |
| (range RemainderFn Integer) | Merge.kif 5099-5099 | |
| (range SignumFn Integer) | Merge.kif 5191-5191 | |
| (range SuccessorFn Integer) | Merge.kif 5303-5303 | |
| (subclass EvenInteger Integer) | Merge.kif 1960-1960 | |
| (subclass NegativeInteger Integer) | Merge.kif 1985-1985 | |
| (subclass NonnegativeInteger Integer) | Merge.kif 1975-1975 | |
| (subclass OddInteger Integer) | Merge.kif 1965-1965 | |
| (subclass PrimeNumber Integer) | Merge.kif 1970-1970 | |
| (termFormat ChineseLanguage Integer "整数") | chinese_format.kif 866-866 | |
| (termFormat EnglishLanguage Integer "integer") | english_format.kif 934-934 | |
| (termFormat FrenchLanguage Integer "nombre entier") | french_format.kif 542-542 | |
| (termFormat Hindi Integer "pUrNaanka") | terms-hindi.txt 72-72 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domain ExponentiationFn 2 Integer) | Merge.kif 4821-4821 | |
| (domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4849-4849 | |
| (domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4934-4934 | |
| (domain PredecessorFn 1 Integer) | Merge.kif 5335-5335 | |
| (domain RemainderFn 1 Integer) | Merge.kif 5097-5097 | |
| (domain RemainderFn 2 Integer) | Merge.kif 5098-5098 | |
| (domain SubListFn 1 Integer) | Merge.kif 3162-3162 | |
| (domain SubListFn 2 Integer) | Merge.kif 3163-3163 | |
| (domain SuccessorFn 1 Integer) | Merge.kif 5302-5302 | |
| (domain YearFn 1 Integer) | Merge.kif 8591-8591 | |
| (domain airQualityIndex 2 Integer) | Weather.kif 3076-3076 | |
| (domain breathingRate 3 Integer) | Mid-level-ontology.kif 10406-10406 | |
| (domain capacityByArrangement 3 Integer) | Hotel.kif 788-788 | |
| (domain chromosomeNumber 2 Integer) | VirusProteinAndCellPart.kif 698-698 | |
| (domain chromosomeSetCount 3 Integer) | VirusProteinAndCellPart.kif 824-824 | |
| (domain coilCount 2 Integer) | Cars.kif 3097-3097 | |
| (domain communicationSatelliteForArea 3 Integer) | Communications.kif 135-135 | |
| (domain criticalityLevel 2 Integer) | QoSontology.kif 644-644 | |
| (domain defaultMaxValue 2 Integer) | Merge.kif 18520-18520 | |
| (domain defaultMinValue 2 Integer) | Merge.kif 18503-18503 | |
| (domain defaultValue 2 Integer) | Merge.kif 18537-18537 | |
| (domain exactCardinality 2 Integer) | Media.kif 2070-2070 | |
| (domain exactCardinality 3 Integer) | Media.kif 2071-2071 | |
| (domain fleetSize 2 Integer) | Mid-level-ontology.kif 3515-3515 | |
| (domain haploidNumber 2 Integer) | VirusProteinAndCellPart.kif 789-789 | |
| 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 5087-5092 | |
| (=> (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 30980-30995 | |
| (=> (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 30922-30932 | |
| (=> (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 30947-30962 | |
| (=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT)))) |
Merge.kif 5329-5331 | |
| (=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT)))) |
Merge.kif 5325-5327 | |
| (=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT))) |
Merge.kif 5345-5347 | |
| (=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT))) |
Merge.kif 5312-5314 | |
| (=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5083-5085 |
| consequent |
|
|
| (=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 24293-24303 | |
| (=> (and (instance ?MIT BarMitzvah) (patient ?MIT ?X) (instance ?X Boy) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13))))) |
Biography.kif 69-85 | |
| (=> (and (instance ?MIT BatMitzvah) (patient ?MIT ?X) (instance ?X Girl) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13))))) |
Biography.kif 99-115 | |
| (=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3393-3397 | |
| (=> (and (instance ?WED Wedding) (date ?WED ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (weddingAnniversary ?WED ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 24252-24263 | |
| (=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4900-4905 |
|
|
|