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 1958-1958
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 356-356
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1956-1956	Integer is exhaustively partitioned into negative integer and nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1955-1955	Integer is exhaustively partitioned into odd integer and even integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1954-1954	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 5509-5509	The range of cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4784-4784	The range of ceiling is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4811-4811	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 4829-4829	The range of floor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4847-4847	The range of greatest common divisor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4932-4932	The range of least common multiple is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5037-5037	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 5335-5335	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 5098-5098	The range of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5190-5190	The range of signum is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5302-5302	The range of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1960-1960	Even integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1985-1985	Negative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1975-1975	Nonnegative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1965-1965	Odd integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1970-1970	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
No TPTP formula. May not be expressible in strict first order.	french_format.kif 542-542
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 72-72

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4820-4820	The number 2 argument of exponentiation is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4848-4848	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 4933-4933	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 5334-5334	The number 1 argument of predecessor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5096-5096	The number 1 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5097-5097	The number 2 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3161-3161	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 3162-3162	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 5301-5301	The number 1 argument of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8555-8555	The number 1 argument of year is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10351-10351	The number 3 argument of breathingRate 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.	VirusProteinAndCellPart.kif 699-699	The number 2 argument of chromosome number is an instance of integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 825-825	The number 3 argument of chromosome set count 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 coil count 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 644-644	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 18411-18411	The number 2 argument of default max value is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18394-18394	The number 2 argument of default min value is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18428-18428	The number 2 argument of default value is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2070-2070	The number 2 argument of exact cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2071-2071	The number 3 argument of exact cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3494-3494	The number 2 argument of Fleet Size is an instance of integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 790-790	The number 2 argument of haploid number is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10309-10309	The number 3 argument of heart rate 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 5086-5091	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 30873-30888	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 30815-30825	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 30840-30855	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 5328-5330	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 5324-5326	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 5344-5346	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 5311-5313	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 5082-5084	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.	Mid-level-ontology.kif 24185-24195	If a day is a birthdate of a human and the day is an instance of the day a positive integer, 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 and the integer is greater than another integer
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	If a process is an instance of BarMitzvah 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, 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 and the time of existence of the process is equal to immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	If a process is an instance of BatMitzvah 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, 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 and the time of existence of the process is equal to immediately after the time position
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24144-24155	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, then there exist another kind of day and an integer such that weddingAnniversary 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 and the integer is greater than another integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4899-4904	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: