| 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 1954-1954 | |
| (documentation Integer JapaneseLanguage "負または非負の整数。") | japanese_format.kif 356-356 | |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1952-1952 | |
| (partition Integer OddInteger EvenInteger) | Merge.kif 1951-1951 | |
| (subclass Integer RationalNumber) | Merge.kif 1950-1950 |
| appearance as argument number 2 |
|
|
| (range AvailableForMilitaryServiceMaleFn Integer) | Military.kif 924-924 | |
| (range CardinalityFn Integer) | Merge.kif 5519-5519 | |
| (range CeilingFn Integer) | Merge.kif 4797-4797 | |
| (range DemandFn Integer) | Economy.kif 6789-6789 | |
| (range DenominatorFn Integer) | Merge.kif 4824-4824 | |
| (range FitForMilitaryServiceMaleFn Integer) | Military.kif 946-946 | |
| (range FloorFn Integer) | Merge.kif 4842-4842 | |
| (range GreatestCommonDivisorFn Integer) | Merge.kif 4860-4860 | |
| (range LeastCommonMultipleFn Integer) | Merge.kif 4945-4945 | |
| (range NumeratorFn Integer) | Merge.kif 5050-5050 | |
| (range PopulationFn Integer) | Mid-level-ontology.kif 33398-33398 | |
| (range PredecessorFn Integer) | Merge.kif 5348-5348 | |
| (range ReachingMilitaryAgeAnnuallyMaleFn Integer) | Military.kif 984-984 | |
| (range RemainderFn Integer) | Merge.kif 5111-5111 | |
| (range SignumFn Integer) | Merge.kif 5203-5203 | |
| (range SuccessorFn Integer) | Merge.kif 5315-5315 | |
| (range SupplyFn Integer) | Economy.kif 6760-6760 | |
| (subclass EvenInteger Integer) | Merge.kif 1956-1956 | |
| (subclass NegativeInteger Integer) | Merge.kif 1981-1981 | |
| (subclass NonnegativeInteger Integer) | Merge.kif 1971-1971 | |
| (subclass OddInteger Integer) | Merge.kif 1961-1961 | |
| (subclass PrimeNumber Integer) | Merge.kif 1966-1966 | |
| (termFormat ChineseLanguage Integer "整数") | chinese_format.kif 866-866 | |
| (termFormat EnglishLanguage Integer "integer") | english_format.kif 934-934 | |
| 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 4833-4833 | |
| (domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4861-4861 | |
| (domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4946-4946 | |
| (domain PredecessorFn 1 Integer) | Merge.kif 5347-5347 | |
| (domain RemainderFn 1 Integer) | Merge.kif 5109-5109 | |
| (domain RemainderFn 2 Integer) | Merge.kif 5110-5110 | |
| (domain SubListFn 1 Integer) | Merge.kif 3159-3159 | |
| (domain SubListFn 2 Integer) | Merge.kif 3160-3160 | |
| (domain SuccessorFn 1 Integer) | Merge.kif 5314-5314 | |
| (domain YearFn 1 Integer) | Merge.kif 8653-8653 | |
| (domain airQualityIndex 2 Integer) | Weather.kif 3076-3076 | |
| (domain breathingRate 3 Integer) | Mid-level-ontology.kif 11728-11728 | |
| (domain capacityByArrangement 3 Integer) | Hotel.kif 792-792 | |
| (domain chromosomeNumber 2 Integer) | VirusProteinAndCellPart.kif 705-705 | |
| (domain chromosomeSetCount 3 Integer) | VirusProteinAndCellPart.kif 831-831 | |
| (domain coilCount 2 Integer) | Cars.kif 3173-3173 | |
| (domain communicationSatelliteForArea 3 Integer) | Communications.kif 135-135 | |
| (domain criticalityLevel 2 Integer) | QoSontology.kif 753-753 | |
| (domain defaultMaxValue 2 Integer) | Merge.kif 18614-18614 | |
| (domain defaultMinValue 2 Integer) | Merge.kif 18597-18597 | |
| (domain defaultValue 2 Integer) | Merge.kif 18631-18631 | |
| (domain exactCardinality 2 Integer) | Media.kif 2072-2072 | |
| (domain exactCardinality 3 Integer) | Media.kif 2073-2073 | |
| (domain fleetSize 2 Integer) | Mid-level-ontology.kif 3984-3984 | |
| (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 5099-5104 | |
| (=> (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 32651-32666 | |
| (=> (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 32593-32603 | |
| (=> (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 32618-32633 | |
| (=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT)))) |
Merge.kif 5341-5343 | |
| (=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT)))) |
Merge.kif 5337-5339 | |
| (=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT))) |
Merge.kif 5357-5359 | |
| (=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT))) |
Merge.kif 5324-5326 | |
| (=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5095-5097 |
| 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 25902-25912 | |
| (=> (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 71-87 | |
| (=> (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 102-118 | |
| (=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3392-3396 | |
| (=> (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 25861-25872 | |
| (=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4912-4917 |
|
|
|