| 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 1952-1952 | |
| (documentation Integer JapaneseLanguage "負または非負の整数。") | japanese_format.kif 356-356 | |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1950-1950 | |
| (partition Integer OddInteger EvenInteger) | Merge.kif 1949-1949 | |
| (subclass Integer RationalNumber) | Merge.kif 1948-1948 |
| appearance as argument number 2 |
|
|
| (range AvailableForMilitaryServiceMaleFn Integer) | Military.kif 924-924 | |
| (range CardinalityFn Integer) | Merge.kif 5500-5500 | |
| (range CeilingFn Integer) | Merge.kif 4778-4778 | |
| (range DenominatorFn Integer) | Merge.kif 4805-4805 | |
| (range FitForMilitaryServiceMaleFn Integer) | Military.kif 946-946 | |
| (range FloorFn Integer) | Merge.kif 4823-4823 | |
| (range GreatestCommonDivisorFn Integer) | Merge.kif 4841-4841 | |
| (range LeastCommonMultipleFn Integer) | Merge.kif 4926-4926 | |
| (range NumeratorFn Integer) | Merge.kif 5031-5031 | |
| (range PopulationFn Integer) | Mid-level-ontology.kif 32816-32816 | |
| (range PredecessorFn Integer) | Merge.kif 5329-5329 | |
| (range ReachingMilitaryAgeAnnuallyMaleFn Integer) | Military.kif 984-984 | |
| (range RemainderFn Integer) | Merge.kif 5092-5092 | |
| (range SignumFn Integer) | Merge.kif 5184-5184 | |
| (range SuccessorFn Integer) | Merge.kif 5296-5296 | |
| (subclass EvenInteger Integer) | Merge.kif 1954-1954 | |
| (subclass NegativeInteger Integer) | Merge.kif 1979-1979 | |
| (subclass NonnegativeInteger Integer) | Merge.kif 1969-1969 | |
| (subclass OddInteger Integer) | Merge.kif 1959-1959 | |
| (subclass PrimeNumber Integer) | Merge.kif 1964-1964 | |
| (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 4814-4814 | |
| (domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4842-4842 | |
| (domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4927-4927 | |
| (domain PredecessorFn 1 Integer) | Merge.kif 5328-5328 | |
| (domain RemainderFn 1 Integer) | Merge.kif 5090-5090 | |
| (domain RemainderFn 2 Integer) | Merge.kif 5091-5091 | |
| (domain SubListFn 1 Integer) | Merge.kif 3156-3156 | |
| (domain SubListFn 2 Integer) | Merge.kif 3157-3157 | |
| (domain SuccessorFn 1 Integer) | Merge.kif 5295-5295 | |
| (domain YearFn 1 Integer) | Merge.kif 8597-8597 | |
| (domain airQualityIndex 2 Integer) | Weather.kif 3075-3075 | |
| (domain breathingRate 3 Integer) | Mid-level-ontology.kif 11275-11275 | |
| (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 3173-3173 | |
| (domain communicationSatelliteForArea 3 Integer) | Communications.kif 135-135 | |
| (domain criticalityLevel 2 Integer) | QoSontology.kif 750-750 | |
| (domain defaultMaxValue 2 Integer) | Merge.kif 18545-18545 | |
| (domain defaultMinValue 2 Integer) | Merge.kif 18528-18528 | |
| (domain defaultValue 2 Integer) | Merge.kif 18562-18562 | |
| (domain exactCardinality 2 Integer) | Media.kif 2070-2070 | |
| (domain exactCardinality 3 Integer) | Media.kif 2071-2071 | |
| (domain fleetSize 2 Integer) | Mid-level-ontology.kif 3588-3588 | |
| (domain gearToothCount 2 Integer) | engineering.kif 837-837 | |
| 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 5080-5085 | |
| (=> (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 32070-32085 | |
| (=> (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 32012-32022 | |
| (=> (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 32037-32052 | |
| (=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT)))) |
Merge.kif 5322-5324 | |
| (=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT)))) |
Merge.kif 5318-5320 | |
| (=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT))) |
Merge.kif 5338-5340 | |
| (=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT))) |
Merge.kif 5305-5307 | |
| (=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5076-5078 |
| 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 25355-25365 | |
| (=> (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 3387-3391 | |
| (=> (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 25314-25325 | |
| (=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4893-4898 |
|
|
|