| 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 1969-1969 | |
| (documentation Integer JapaneseLanguage "負または非負の整数。") | japanese_format.kif 356-356 | |
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1967-1967 | |
| (partition Integer OddInteger EvenInteger) | Merge.kif 1966-1966 | |
| (subclass Integer RationalNumber) | Merge.kif 1965-1965 |
| appearance as argument number 2 |
|
|
| (range AvailableForMilitaryServiceMaleFn Integer) | Military.kif 934-934 | |
| (range CardinalityFn Integer) | Merge.kif 5534-5534 | |
| (range CeilingFn Integer) | Merge.kif 4812-4812 | |
| (range DemandFn Integer) | Economy.kif 6789-6789 | |
| (range DenominatorFn Integer) | Merge.kif 4839-4839 | |
| (range FitForMilitaryServiceMaleFn Integer) | Military.kif 956-956 | |
| (range FloorFn Integer) | Merge.kif 4857-4857 | |
| (range GreatestCommonDivisorFn Integer) | Merge.kif 4875-4875 | |
| (range LeastCommonMultipleFn Integer) | Merge.kif 4960-4960 | |
| (range NumeratorFn Integer) | Merge.kif 5065-5065 | |
| (range PopulationFn Integer) | Mid-level-ontology.kif 33639-33639 | |
| (range PredecessorFn Integer) | Merge.kif 5363-5363 | |
| (range ReachingMilitaryAgeAnnuallyMaleFn Integer) | Military.kif 994-994 | |
| (range RemainderFn Integer) | Merge.kif 5126-5126 | |
| (range SignumFn Integer) | Merge.kif 5218-5218 | |
| (range SuccessorFn Integer) | Merge.kif 5330-5330 | |
| (range SupplyFn Integer) | Economy.kif 6760-6760 | |
| (subclass EvenInteger Integer) | Merge.kif 1971-1971 | |
| (subclass NegativeInteger Integer) | Merge.kif 1996-1996 | |
| (subclass NonnegativeInteger Integer) | Merge.kif 1986-1986 | |
| (subclass OddInteger Integer) | Merge.kif 1976-1976 | |
| (subclass PrimeNumber Integer) | Merge.kif 1981-1981 | |
| (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 4848-4848 | |
| (domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4876-4876 | |
| (domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4961-4961 | |
| (domain PredecessorFn 1 Integer) | Merge.kif 5362-5362 | |
| (domain RemainderFn 1 Integer) | Merge.kif 5124-5124 | |
| (domain RemainderFn 2 Integer) | Merge.kif 5125-5125 | |
| (domain SubListFn 1 Integer) | Merge.kif 3174-3174 | |
| (domain SubListFn 2 Integer) | Merge.kif 3175-3175 | |
| (domain SuccessorFn 1 Integer) | Merge.kif 5329-5329 | |
| (domain YearFn 1 Integer) | Merge.kif 8668-8668 | |
| (domain airQualityIndex 2 Integer) | Weather.kif 3779-3779 | |
| (domain breathingRate 3 Integer) | Mid-level-ontology.kif 11710-11710 | |
| (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 18628-18628 | |
| (domain defaultMinValue 2 Integer) | Merge.kif 18611-18611 | |
| (domain defaultValue 2 Integer) | Merge.kif 18645-18645 | |
| (domain exactCardinality 2 Integer) | Media.kif 2072-2072 | |
| (domain exactCardinality 3 Integer) | Media.kif 2073-2073 | |
| (domain fleetSize 2 Integer) | Mid-level-ontology.kif 3965-3965 | |
| (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 5114-5119 | |
| (=> (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 32892-32907 | |
| (=> (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 32834-32844 | |
| (=> (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 32859-32874 | |
| (=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT)))) |
Merge.kif 5356-5358 | |
| (=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT)))) |
Merge.kif 5352-5354 | |
| (=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT))) |
Merge.kif 5372-5374 | |
| (=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT))) |
Merge.kif 5339-5341 | |
| (=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5110-5112 |
| 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 25883-25893 | |
| (=> (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 3407-3411 | |
| (=> (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 25842-25853 | |
| (=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4927-4932 |
|
|
|