Integer - Sigma Knowledge base Browser

appearance as argument number 3

s__domain(s__ExponentiationFn__m,n__2,s__Integer)	Merge.kif 4647-4647	The number 2 argument of exponentiation is an instance of integer
s__domain(s__GreatestCommonDivisorFn__m,n__1,s__Integer)	Merge.kif 4675-4675	The number 1 argument of greatest common divisor is an instance of integer
s__domain(s__LeastCommonMultipleFn__m,n__1,s__Integer)	Merge.kif 4748-4748	The number 1 argument of least common multiple is an instance of integer
s__domain(s__PredecessorFn__m,n__1,s__Integer)	Merge.kif 5101-5101	The number 1 argument of predecessor is an instance of integer
s__domain(s__RemainderFn__m,n__1,s__Integer)	Merge.kif 4900-4900	The number 1 argument of remainder is an instance of integer
s__domain(s__RemainderFn__m,n__2,s__Integer)	Merge.kif 4901-4901	The number 2 argument of remainder is an instance of integer
s__domain(s__SubListFn__m,n__1,s__Integer)	Merge.kif 3056-3056	The number 1 argument of sub-list function is an instance of integer
s__domain(s__SubListFn__m,n__2,s__Integer)	Merge.kif 3057-3057	The number 2 argument of sub-list function is an instance of integer
s__domain(s__SuccessorFn__m,n__1,s__Integer)	Merge.kif 5068-5068	The number 1 argument of successor is an instance of integer
s__domain(s__YearFn__m,n__1,s__Integer)	Merge.kif 8165-8165	The number 1 argument of year is an instance of integer
s__domain(s__capacityByArrangement__m,n__3,s__Integer)	Hotel.kif 767-767	The number 3 argument of capacity by arrangement is an instance of integer
s__domain(s__coilCount__m,n__2,s__Integer)	Cars.kif 3113-3113	The number 2 argument of coilCount is an instance of integer
s__domain(s__communicationSatelliteForArea__m,n__3,s__Integer)	Communications.kif 135-135	The number 3 argument of communication satellite for area is an instance of integer
s__domain(s__criticalityLevel__m,n__2,s__Integer)	QoSontology.kif 642-642	The number 2 argument of criticality level is an instance of integer
s__domain(s__defaultMaxValue__m,n__2,s__Integer)	Merge.kif 17585-17585	The number 2 argument of defaultMaxValue is an instance of integer
s__domain(s__defaultMinValue__m,n__2,s__Integer)	Merge.kif 17568-17568	The number 2 argument of defaultMinValue is an instance of integer
s__domain(s__defaultValue__m,n__2,s__Integer)	Merge.kif 17601-17601	The number 2 argument of defaultValue is an instance of integer
s__domain(s__exactCardinality__m,n__2,s__Integer)	Media.kif 2072-2072	The number 2 argument of exactCardinality is an instance of integer
s__domain(s__exactCardinality__m,n__3,s__Integer)	Media.kif 2073-2073	The number 3 argument of exactCardinality is an instance of integer
s__domain(s__fleetSize__m,n__2,s__Integer)	Mid-level-ontology.kif 3456-3456	The number 2 argument of Fleet Size is an instance of integer
s__domain(s__heartRate__m,n__3,s__Integer)	Mid-level-ontology.kif 9493-9493	The number 3 argument of heartRate is an instance of integer
s__domain(s__identityElement__m,n__2,s__Integer)	Merge.kif 5046-5046	The number 2 argument of identity element is an instance of integer
s__domain(s__maxCardinality__m,n__2,s__Integer)	Media.kif 2190-2190	The number 2 argument of maxCardinality is an instance of integer
s__domain(s__maxCardinality__m,n__3,s__Integer)	Media.kif 2191-2191	The number 3 argument of maxCardinality is an instance of integer
s__domain(s__maxRoomCapacity__m,n__2,s__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

( ! [V__NUMBER] : (((s__instance(V__NUMBER,s__Integer) & ~((V__NUMBER = n__0))) => ((n__1 = s__MultiplicationFn(V__NUMBER,s__ReciprocalFn(V__NUMBER))))) ) )	Merge.kif 4890-4895	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 29652-29667	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 29596-29606	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
( ! [V__O,V__A,V__C,V__T,V__N] : (((s__subclass(V__O,s__Object) & s__instance(V__O,s__SetOrClass) & s__instance(V__A,s__Agent) & s__instance(V__C,s__CurrencyMeasure) & s__instance(V__T,s__TimeInterval)) => (((s__shortage(V__A,V__O,V__C,V__T,V__N) & s__instance(V__N,s__Integer)) => (~(( ? [V__B, V__G] : ((s__instance(V__B,s__Buying) & s__during(s__WhenFn(V__B) ,V__T) & s__objectTransferred(V__B,V__G) & s__transactionAmount(V__B,V__C) & s__agent(V__B,V__A) & s__instance(V__G,s__Collection) & s__memberType(V__G,V__O) & s__memberCount(V__G,V__N) & s__possesses(V__A,V__G))))))))) ) )	Mid-level-ontology.kif 29619-29634	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
( ! [V__INT] : ((s__instance(V__INT,s__Integer) => ((V__INT = s__PredecessorFn(s__SuccessorFn(V__INT))))) ) )	Merge.kif 5095-5097	If an integer is an instance of integer, then the integer is equal to ((the integer+1)+2)
( ! [V__INT] : ((s__instance(V__INT,s__Integer) => ((V__INT = s__SuccessorFn(s__PredecessorFn(V__INT))))) ) )	Merge.kif 5091-5093	If an integer is an instance of integer, then the integer is equal to ((the integer+2)+1)
( ! [V__INT] : ((s__instance(V__INT,s__Integer) => (s__greaterThan(V__INT,s__PredecessorFn(V__INT)))) ) )	Merge.kif 5111-5113	If an integer is an instance of integer, then the integer is greater than (the integer+2)
( ! [V__INT] : ((s__instance(V__INT,s__Integer) => (s__lessThan(V__INT,s__SuccessorFn(V__INT)))) ) )	Merge.kif 5078-5080	If an integer is an instance of integer, then the integer is less than (the integer+1)
( ! [V__NUMBER] : ((s__instance(V__NUMBER,s__Integer) => ((s__ReciprocalFn(V__NUMBER) = s__ExponentiationFn(V__NUMBER,n___1)))) ) )	Merge.kif 4886-4888	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

( ! [V__CLASS,V__SEQ] : ((s__instance(V__CLASS,s__Class) => (((s__instance(V__SEQ,s__SequenceFunction) & s__range(V__SEQ,V__CLASS)) => (s__subclass(V__CLASS,s__Integer))))) ) )	Merge.kif 3282-3286	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
( ! [V__N1,V__N2] : (((s__instance(V__N1,s__Integer) & s__instance(V__N2,s__Integer)) => ((s__multiplicativeFactor(V__N1,V__N2) => (( ? [V__I] : ((s__instance(V__I,s__Integer) & (V__N2 = s__MultiplicationFn(V__N1,V__I))))))))) ) )	Merge.kif 4714-4719	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

s__documentation(s__Integer,s__ChineseLanguage,'"这是一个负或非负的整数。"')	chinese_format.kif 1748-1748
s__documentation(s__Integer,s__EnglishLanguage,'"A negative or nonnegative whole number."')	Merge.kif 1872-1872
s__partition__3(s__Integer,s__NegativeInteger,s__NonnegativeInteger)	Merge.kif 1870-1870	Integer is exhaustively partitioned into negative integer and nonnegative integer
s__partition__3(s__Integer,s__OddInteger,s__EvenInteger)	Merge.kif 1869-1869	Integer is exhaustively partitioned into odd integer and even integer
s__instance(s__Integer,s__SetOrClass) s__subclass(s__Integer,s__RationalNumber) s__instance(s__RationalNumber,s__SetOrClass)	Merge.kif 1868-1868	Integer is a subclass of rational number

s__range(s__AvailableForMilitaryServiceMaleFn__m,s__Integer)	Military.kif 861-861	The range of available for military service male is an instance of integer
s__range(s__CardinalityFn__m,s__Integer)	Merge.kif 5271-5271	The range of cardinality is an instance of integer
s__range(s__CeilingFn__m,s__Integer)	Merge.kif 4611-4611	The range of ceiling is an instance of integer
s__range(s__DenominatorFn__m,s__Integer)	Merge.kif 4638-4638	The range of denominator is an instance of integer
s__range(s__FitForMilitaryServiceMaleFn__m,s__Integer)	Military.kif 883-883	The range of fit for military service male is an instance of integer
s__range(s__FloorFn__m,s__Integer)	Merge.kif 4656-4656	The range of floor is an instance of integer
s__range(s__GreatestCommonDivisorFn__m,s__Integer)	Merge.kif 4674-4674	The range of greatest common divisor is an instance of integer
s__range(s__LeastCommonMultipleFn__m,s__Integer)	Merge.kif 4747-4747	The range of least common multiple is an instance of integer
s__range(s__NumeratorFn__m,s__Integer)	Merge.kif 4841-4841	The range of numerator is an instance of integer
s__range(s__PopulationFn__m,s__Integer)	People.kif 30-30	The range of population is an instance of integer
s__range(s__PredecessorFn__m,s__Integer)	Merge.kif 5102-5102	The range of predecessor is an instance of integer
s__range(s__ReachingMilitaryAgeAnnuallyMaleFn__m,s__Integer)	Military.kif 921-921	The range of reaching military age annually male is an instance of integer
s__range(s__RemainderFn__m,s__Integer)	Merge.kif 4902-4902	The range of remainder is an instance of integer
s__range(s__SignumFn__m,s__Integer)	Merge.kif 4956-4956	The range of signum is an instance of integer
s__range(s__SuccessorFn__m,s__Integer)	Merge.kif 5069-5069	The range of successor is an instance of integer
s__instance(s__Integer,s__SetOrClass) s__instance(s__EvenInteger,s__SetOrClass) s__subclass(s__EvenInteger,s__Integer)	Merge.kif 1874-1874	Even integer is a subclass of integer
s__subclass(s__NegativeInteger,s__Integer) s__instance(s__Integer,s__SetOrClass) s__instance(s__NegativeInteger,s__SetOrClass)	Merge.kif 1899-1899	Negative integer is a subclass of integer
s__instance(s__Integer,s__SetOrClass) s__instance(s__NonnegativeInteger,s__SetOrClass) s__subclass(s__NonnegativeInteger,s__Integer)	Merge.kif 1889-1889	Nonnegative integer is a subclass of integer
s__subclass(s__OddInteger,s__Integer) s__instance(s__Integer,s__SetOrClass) s__instance(s__OddInteger,s__SetOrClass)	Merge.kif 1879-1879	Odd integer is a subclass of integer
s__subclass(s__PrimeNumber,s__Integer) s__instance(s__Integer,s__SetOrClass) s__instance(s__PrimeNumber,s__SetOrClass)	Merge.kif 1884-1884	Prime number is a subclass of integer
s__termFormat(s__ChineseLanguage,s__Integer,'"整数"')	chinese_format.kif 866-866
s__termFormat(s__EnglishLanguage,s__Integer,'"integer"')	english_format.kif 939-939

KB Term:			Term intersection

English Word: