Integer - Sigma Knowledge base Browser

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	Integer is exhaustively partitioned into negative integer and nonnegative integer
(partition Integer OddInteger EvenInteger)	Merge.kif 1951-1951	Integer is exhaustively partitioned into odd integer and even integer
(subclass Integer RationalNumber)	Merge.kif 1950-1950	Integer is a subclass of rational number

appearance as argument number 2

(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 924-924	The range of available for military service male is an instance of integer
(range CardinalityFn Integer)	Merge.kif 5519-5519	The range of cardinality is an instance of integer
(range CeilingFn Integer)	Merge.kif 4797-4797	The range of ceiling is an instance of integer
(range DemandFn Integer)	Economy.kif 6789-6789	The range of demand is an instance of integer
(range DenominatorFn Integer)	Merge.kif 4824-4824	The range of denominator is an instance of integer
(range FitForMilitaryServiceMaleFn Integer)	Military.kif 946-946	The range of fit for military service male is an instance of integer
(range FloorFn Integer)	Merge.kif 4842-4842	The range of floor is an instance of integer
(range GreatestCommonDivisorFn Integer)	Merge.kif 4860-4860	The range of greatest common divisor is an instance of integer
(range LeastCommonMultipleFn Integer)	Merge.kif 4945-4945	The range of least common multiple is an instance of integer
(range NumeratorFn Integer)	Merge.kif 5050-5050	The range of numerator is an instance of integer
(range PopulationFn Integer)	Mid-level-ontology.kif 33398-33398	The range of population is an instance of integer
(range PredecessorFn Integer)	Merge.kif 5348-5348	The range of predecessor is an instance of integer
(range ReachingMilitaryAgeAnnuallyMaleFn Integer)	Military.kif 984-984	The range of reaching military age annually male is an instance of integer
(range RemainderFn Integer)	Merge.kif 5111-5111	The range of remainder is an instance of integer
(range SignumFn Integer)	Merge.kif 5203-5203	The range of signum is an instance of integer
(range SuccessorFn Integer)	Merge.kif 5315-5315	The range of successor is an instance of integer
(range SupplyFn Integer)	Economy.kif 6760-6760	The range of supply is an instance of integer
(subclass EvenInteger Integer)	Merge.kif 1956-1956	Even integer is a subclass of integer
(subclass NegativeInteger Integer)	Merge.kif 1981-1981	Negative integer is a subclass of integer
(subclass NonnegativeInteger Integer)	Merge.kif 1971-1971	Nonnegative integer is a subclass of integer
(subclass OddInteger Integer)	Merge.kif 1961-1961	Odd integer is a subclass of integer
(subclass PrimeNumber Integer)	Merge.kif 1966-1966	Prime number is a subclass of integer
(termFormat ChineseLanguage Integer "整数")	chinese_format.kif 866-866	Prime number is a subclass of integer
(termFormat EnglishLanguage Integer "integer")	english_format.kif 934-934	Prime number is a subclass of integer

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	The number 2 argument of exponentiation is an instance of integer
(domain GreatestCommonDivisorFn 1 Integer)	Merge.kif 4861-4861	The number 1 argument of greatest common divisor is an instance of integer
(domain LeastCommonMultipleFn 1 Integer)	Merge.kif 4946-4946	The number 1 argument of least common multiple is an instance of integer
(domain PredecessorFn 1 Integer)	Merge.kif 5347-5347	The number 1 argument of predecessor is an instance of integer
(domain RemainderFn 1 Integer)	Merge.kif 5109-5109	The number 1 argument of remainder is an instance of integer
(domain RemainderFn 2 Integer)	Merge.kif 5110-5110	The number 2 argument of remainder is an instance of integer
(domain SubListFn 1 Integer)	Merge.kif 3159-3159	The number 1 argument of sub-list function is an instance of integer
(domain SubListFn 2 Integer)	Merge.kif 3160-3160	The number 2 argument of sub-list function is an instance of integer
(domain SuccessorFn 1 Integer)	Merge.kif 5314-5314	The number 1 argument of successor is an instance of integer
(domain YearFn 1 Integer)	Merge.kif 8653-8653	The number 1 argument of year is an instance of integer
(domain airQualityIndex 2 Integer)	Weather.kif 3076-3076	The number 2 argument of air quality index is an instance of integer
(domain breathingRate 3 Integer)	Mid-level-ontology.kif 11728-11728	The number 3 argument of breathing rate is an instance of integer
(domain capacityByArrangement 3 Integer)	Hotel.kif 792-792	The number 3 argument of capacity by arrangement is an instance of integer
(domain chromosomeNumber 2 Integer)	VirusProteinAndCellPart.kif 705-705	The number 2 argument of chromosome number is an instance of integer
(domain chromosomeSetCount 3 Integer)	VirusProteinAndCellPart.kif 831-831	The number 3 argument of chromosome set count is an instance of integer
(domain coilCount 2 Integer)	Cars.kif 3173-3173	The number 2 argument of coil count is an instance of integer
(domain communicationSatelliteForArea 3 Integer)	Communications.kif 135-135	The number 3 argument of communication satellite for area is an instance of integer
(domain criticalityLevel 2 Integer)	QoSontology.kif 753-753	The number 2 argument of criticality level is an instance of integer
(domain defaultMaxValue 2 Integer)	Merge.kif 18614-18614	The number 2 argument of default max value is an instance of integer
(domain defaultMinValue 2 Integer)	Merge.kif 18597-18597	The number 2 argument of default min value is an instance of integer
(domain defaultValue 2 Integer)	Merge.kif 18631-18631	The number 2 argument of default value is an instance of integer
(domain exactCardinality 2 Integer)	Media.kif 2072-2072	The number 2 argument of exact cardinality is an instance of integer
(domain exactCardinality 3 Integer)	Media.kif 2073-2073	The number 3 argument of exact cardinality is an instance of integer
(domain fleetSize 2 Integer)	Mid-level-ontology.kif 3984-3984	The number 2 argument of Fleet Size is an instance of integer
(domain gearToothCount 2 Integer)	engineering.kif 837-837	The number 2 argument of gear tooth count is an instance of integer

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	If a real number is an instance of integer and the real number is not equal to 0, then 1 is equal to the real number and the reciprocal of the real number
(=> (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	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of collection and a kind of object is a member type of the other entity and the quantity is a member count of the other entity and the cognitive agent possesses the other entity
(=> (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	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exists an entity such that the entity is an instance of collection and a kind of object is a member type of the entity and the quantity is a member count of the entity and the cognitive agent possesses the entity
(=> (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	If there is a shortage of an integer of a kind of object for an agent at a currency measure during a time interval and the integer is an instance of integer, then there don't exist a transfer and a collection such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the collection and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the collection is an instance of collection and a kind of object is a member type of the collection and the integer is a member count of the collection and the agent possesses the collection
(=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT))))	Merge.kif 5341-5343	If an integer is an instance of integer, then the integer is equal to ((the integer+1)+2)
(=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT))))	Merge.kif 5337-5339	If an integer is an instance of integer, then the integer is equal to ((the integer+2)+1)
(=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT)))	Merge.kif 5357-5359	If an integer is an instance of integer, then the integer is greater than (the integer+2)
(=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT)))	Merge.kif 5324-5326	If an integer is an instance of integer, then the integer is less than (the integer+1)
(=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1)))	Merge.kif 5095-5097	If a real number is an instance of integer, then the reciprocal of the real number is equal to the real number raised to the power -1

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	If a day is a birthdate of a human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that the human's birthday is another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer of month the month a kind of month and the integer is greater than another integer
(=> (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	If a process is an instance of bar mitzvah and a human is a patient of the process and the human is an instance of boy and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and the time of existence of the process is equal to immediately after the time position
(=> (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	If a process is an instance of bat mitzvah and a human is a patient of the process and the human is an instance of girl and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and the time of existence of the process is equal to immediately after the time position
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 3392-3396	If a function is an instance of sequence function and the range of the function is an instance of a class, then the class is a subclass of integer
(=> (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	If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that wedding anniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer of month the month a kind of month and the integer is greater than another integer
(=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I)))))	Merge.kif 4912-4917	If an integer is a multiplicative factor of another integer, then there exists a real number such that the real number is an instance of integer and the integer is equal to the other integer and the real number

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: