Integer - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1748-1748
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1906-1906
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1904-1904	Integer is exhaustively partitioned into negative integer and nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1903-1903	Integer is exhaustively partitioned into odd integer and even integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1902-1902	Integer is a subclass of rational number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 866-866	The range of available for military service male is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5417-5417	The range of cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4696-4696	The range of ceiling is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4723-4723	The range of denominator is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Military.kif 888-888	The range of fit for military service male is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4741-4741	The range of floor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4759-4759	The range of greatest common divisor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4844-4844	The range of least common multiple is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4949-4949	The range of numerator is an instance of integer
No TPTP formula. May not be expressible in strict first order.	People.kif 30-30	The range of population is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5243-5243	The range of predecessor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Military.kif 926-926	The range of reaching military age annually male is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5010-5010	The range of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5098-5098	The range of signum is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5210-5210	The range of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1908-1908	Even integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1933-1933	Negative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1923-1923	Nonnegative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1913-1913	Odd integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1918-1918	Prime number is a subclass of integer
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 866-866
No TPTP formula. May not be expressible in strict first order.	english_format.kif 934-934

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4732-4732	The number 2 argument of exponentiation is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4760-4760	The number 1 argument of greatest common divisor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4845-4845	The number 1 argument of least common multiple is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5242-5242	The number 1 argument of predecessor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5008-5008	The number 1 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5009-5009	The number 2 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3097-3097	The number 1 argument of sub-list function is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3098-3098	The number 2 argument of sub-list function is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5209-5209	The number 1 argument of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8465-8465	The number 1 argument of year is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 788-788	The number 3 argument of capacity by arrangement is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3113-3113	The number 2 argument of coilCount is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Communications.kif 135-135	The number 3 argument of communication satellite for area is an instance of integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 642-642	The number 2 argument of criticality level is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18174-18174	The number 2 argument of defaultMaxValue is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18157-18157	The number 2 argument of defaultMinValue is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18191-18191	The number 2 argument of defaultValue is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2056-2056	The number 2 argument of exactCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2057-2057	The number 3 argument of exactCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3483-3483	The number 2 argument of Fleet Size is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9955-9955	The number 3 argument of heartRate is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5187-5187	The number 2 argument of identity element is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2180-2180	The number 2 argument of maxCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2181-2181	The number 3 argument of maxCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 477-477	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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4998-5003	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30460-30475	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30402-30412	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30427-30442	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5236-5238	If an integer is an instance of integer, then the integer is equal to ((the integer+1)+2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5232-5234	If an integer is an instance of integer, then the integer is equal to ((the integer+2)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5252-5254	If an integer is an instance of integer, then the integer is greater than (the integer+2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5219-5221	If an integer is an instance of integer, then the integer is less than (the integer+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4994-4996	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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3328-3332	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4811-4816	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: