|
|
   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 1945-1945 | |
| (documentation Integer JapaneseLanguage "負または非負の整数。") | japanese_format.kif 356-356 | |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1943-1943 | |
| (partition Integer OddInteger EvenInteger) | Merge.kif 1942-1942 | |
| (subclass Integer RationalNumber) | Merge.kif 1941-1941 |
| appearance as argument number 2 |
|
|
| (range AvailableForMilitaryServiceMaleFn Integer) | Military.kif 866-866 | |
| (range CardinalityFn Integer) | Merge.kif 5495-5495 | |
| (range CeilingFn Integer) | Merge.kif 4770-4770 | |
| (range DenominatorFn Integer) | Merge.kif 4797-4797 | |
| (range FitForMilitaryServiceMaleFn Integer) | Military.kif 888-888 | |
| (range FloorFn Integer) | Merge.kif 4815-4815 | |
| (range GreatestCommonDivisorFn Integer) | Merge.kif 4833-4833 | |
| (range LeastCommonMultipleFn Integer) | Merge.kif 4918-4918 | |
| (range NumeratorFn Integer) | Merge.kif 5023-5023 | |
| (range PopulationFn Integer) | People.kif 30-30 | |
| (range PredecessorFn Integer) | Merge.kif 5321-5321 | |
| (range ReachingMilitaryAgeAnnuallyMaleFn Integer) | Military.kif 926-926 | |
| (range RemainderFn Integer) | Merge.kif 5084-5084 | |
| (range SignumFn Integer) | Merge.kif 5176-5176 | |
| (range SuccessorFn Integer) | Merge.kif 5288-5288 | |
| (subclass EvenInteger Integer) | Merge.kif 1947-1947 | |
| (subclass NegativeInteger Integer) | Merge.kif 1972-1972 | |
| (subclass NonnegativeInteger Integer) | Merge.kif 1962-1962 | |
| (subclass OddInteger Integer) | Merge.kif 1952-1952 | |
| (subclass PrimeNumber Integer) | Merge.kif 1957-1957 | |
| (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 4806-4806 | |
| (domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4834-4834 | |
| (domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4919-4919 | |
| (domain PredecessorFn 1 Integer) | Merge.kif 5320-5320 | |
| (domain RemainderFn 1 Integer) | Merge.kif 5082-5082 | |
| (domain RemainderFn 2 Integer) | Merge.kif 5083-5083 | |
| (domain SubListFn 1 Integer) | Merge.kif 3148-3148 | |
| (domain SubListFn 2 Integer) | Merge.kif 3149-3149 | |
| (domain SuccessorFn 1 Integer) | Merge.kif 5287-5287 | |
| (domain YearFn 1 Integer) | Merge.kif 8539-8539 | |
| (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 18322-18322 | |
| (domain defaultMinValue 2 Integer) | Merge.kif 18305-18305 | |
| (domain defaultValue 2 Integer) | Merge.kif 18339-18339 | |
| (domain exactCardinality 2 Integer) | Media.kif 2070-2070 | |
| (domain exactCardinality 3 Integer) | Media.kif 2071-2071 | |
| (domain fleetSize 2 Integer) | Mid-level-ontology.kif 3494-3494 | |
| (domain heartRate 3 Integer) | Mid-level-ontology.kif 10289-10289 | |
| (domain identityElement 2 Integer) | Merge.kif 5265-5265 | |
| (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 5072-5077 | |
| (=> (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 31061-31076 | |
| (=> (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 31003-31013 | |
| (=> (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 31028-31043 | |
| (=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT)))) |
Merge.kif 5314-5316 | |
| (=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT)))) |
Merge.kif 5310-5312 | |
| (=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT))) |
Merge.kif 5330-5332 | |
| (=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT))) |
Merge.kif 5297-5299 | |
| (=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5068-5070 |
| 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 24312-24322 | |
| (=> (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 3379-3383 | |
| (=> (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 24271-24282 | |
| (=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4885-4890 |
|
|
|