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

appearance as argument number 2

(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 861-861	The range of available for military service male is an instance of integer
(range CardinalityFn Integer)	Merge.kif 5306-5306	The range of cardinality is an instance of integer
(range CeilingFn Integer)	Merge.kif 4646-4646	The range of ceiling is an instance of integer
(range DenominatorFn Integer)	Merge.kif 4673-4673	The range of denominator is an instance of integer
(range FitForMilitaryServiceMaleFn Integer)	Military.kif 883-883	The range of fit for military service male is an instance of integer
(range FloorFn Integer)	Merge.kif 4691-4691	The range of floor is an instance of integer
(range GreatestCommonDivisorFn Integer)	Merge.kif 4709-4709	The range of greatest common divisor is an instance of integer
(range LeastCommonMultipleFn Integer)	Merge.kif 4782-4782	The range of least common multiple is an instance of integer
(range NumeratorFn Integer)	Merge.kif 4876-4876	The range of numerator is an instance of integer
(range PopulationFn Integer)	People.kif 30-30	The range of population is an instance of integer
(range PredecessorFn Integer)	Merge.kif 5137-5137	The range of predecessor is an instance of integer
(range ReachingMilitaryAgeAnnuallyMaleFn Integer)	Military.kif 921-921	The range of reaching military age annually male is an instance of integer
(range RemainderFn Integer)	Merge.kif 4937-4937	The range of remainder is an instance of integer
(range SignumFn Integer)	Merge.kif 4991-4991	The range of signum is an instance of integer
(range SuccessorFn Integer)	Merge.kif 5104-5104	The range of successor is an instance of integer
(subclass EvenInteger Integer)	Merge.kif 1907-1907	Even integer is a subclass of integer
(subclass NegativeInteger Integer)	Merge.kif 1932-1932	Negative integer is a subclass of integer
(subclass NonnegativeInteger Integer)	Merge.kif 1922-1922	Nonnegative integer is a subclass of integer
(subclass OddInteger Integer)	Merge.kif 1912-1912	Odd integer is a subclass of integer
(subclass PrimeNumber Integer)	Merge.kif 1917-1917	Prime number is a subclass of integer
(termFormat ChineseLanguage Integer "整数")	chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer")	english_format.kif 934-934

appearance as argument number 3

(domain ExponentiationFn 2 Integer)	Merge.kif 4682-4682	The number 2 argument of exponentiation is an instance of integer
(domain GreatestCommonDivisorFn 1 Integer)	Merge.kif 4710-4710	The number 1 argument of greatest common divisor is an instance of integer
(domain LeastCommonMultipleFn 1 Integer)	Merge.kif 4783-4783	The number 1 argument of least common multiple is an instance of integer
(domain PredecessorFn 1 Integer)	Merge.kif 5136-5136	The number 1 argument of predecessor is an instance of integer
(domain RemainderFn 1 Integer)	Merge.kif 4935-4935	The number 1 argument of remainder is an instance of integer
(domain RemainderFn 2 Integer)	Merge.kif 4936-4936	The number 2 argument of remainder is an instance of integer
(domain SubListFn 1 Integer)	Merge.kif 3089-3089	The number 1 argument of sub-list function is an instance of integer
(domain SubListFn 2 Integer)	Merge.kif 3090-3090	The number 2 argument of sub-list function is an instance of integer
(domain SuccessorFn 1 Integer)	Merge.kif 5103-5103	The number 1 argument of successor is an instance of integer
(domain YearFn 1 Integer)	Merge.kif 8206-8206	The number 1 argument of year is an instance of integer
(domain capacityByArrangement 3 Integer)	Hotel.kif 767-767	The number 3 argument of capacity by arrangement is an instance of integer
(domain coilCount 2 Integer)	Cars.kif 3113-3113	The number 2 argument of coilCount 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 642-642	The number 2 argument of criticality level is an instance of integer
(domain defaultMaxValue 2 Integer)	Merge.kif 17724-17724	The number 2 argument of defaultMaxValue is an instance of integer
(domain defaultMinValue 2 Integer)	Merge.kif 17707-17707	The number 2 argument of defaultMinValue is an instance of integer
(domain defaultValue 2 Integer)	Merge.kif 17741-17741	The number 2 argument of defaultValue is an instance of integer
(domain exactCardinality 2 Integer)	Media.kif 2072-2072	The number 2 argument of exactCardinality is an instance of integer
(domain exactCardinality 3 Integer)	Media.kif 2073-2073	The number 3 argument of exactCardinality is an instance of integer
(domain fleetSize 2 Integer)	Mid-level-ontology.kif 3457-3457	The number 2 argument of Fleet Size is an instance of integer
(domain heartRate 3 Integer)	Mid-level-ontology.kif 9777-9777	The number 3 argument of heartRate is an instance of integer
(domain identityElement 2 Integer)	Merge.kif 5081-5081	The number 2 argument of identity element is an instance of integer
(domain maxCardinality 2 Integer)	Media.kif 2190-2190	The number 2 argument of maxCardinality is an instance of integer
(domain maxCardinality 3 Integer)	Media.kif 2191-2191	The number 3 argument of maxCardinality is an instance of integer
(domain maxRoomCapacity 2 Integer)	Hotel.kif 457-457	The number 2 argument of maximum capacity 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 4925-4930	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 30186-30201	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 30130-30140	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 30153-30168	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 5130-5132	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 5126-5128	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 5146-5148	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 5113-5115	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 4921-4923	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 (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 3315-3319	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
(=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I)))))	Merge.kif 4749-4754	If an integer is a multiplicative factor of another integer, then there exists a number such that the number is an instance of integer and the integer is equal to the other integer and the 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: