PositiveInteger - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1754-1754
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2008-2008
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 363-363
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2005-2005	Positive integer is a subclass of nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2006-2006	Positive integer is a subclass of positive real number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 872-872
No TPTP formula. May not be expressible in strict first order.	english_format.kif 946-946
No TPTP formula. May not be expressible in strict first order.	french_format.kif 548-548
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 78-78
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 81-81
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2233-2233
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 500-500
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 83-83
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 115-115
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 374-374
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 569-569
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 82-82

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8701-8701	The number 1 argument of day is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15659-15659	The number 2 argument of edition is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2991-2991	The number 2 argument of list order is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5004-5004	The number 2 argument of log is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16034-16034	The number 2 argument of periodical issue is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9081-9081	The number 1 argument of quarter fn is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8779-8779	The number 1 argument of second is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15989-15989	The number 2 argument of series volume is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9063-9063	The number 1 argument of week fn is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3458-3458	The number 2 argument of account number is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2483-2483	The number 3 argument of agricultural product type by rank is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13926-13926	The number 2 argument of atomic number is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3475-3475	The number 2 argument of check number is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1318-1318	The number 2 argument of data stream slack is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 203-203	The number 2 argument of domain is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 225-225	The number 2 argument of domain subclass is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23326-23326	The number 2 argument of electron number is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2564-2564	The number 3 argument of export commodity type by rank is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2743-2743	The number 3 argument of export partner by rank is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2731-2731	The number 3 argument of export partner by rank in period is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7637-7637	The number 2 argument of human capacity is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2957-2957	The number 3 argument of import commodity type by rank is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3033-3033	The number 3 argument of import partner by rank is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3021-3021	The number 3 argument of import partner by rank in period is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1713-1713	The number 3 argument of industry rank by output is an instance of positive 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 3096-3115	If equal a list and the list composed of another list and a third list and equal the other list and null list and equal the third list and null list and a positive integer is less than or equal to length of the other list and another positive integer is less than or equal to length of the third list and the positive integer is an instance of positive integer and the other positive integer is an instance of positive integer, then equal the positive integerth element of the list and the positive integerth element of the other list and equal (length of the other list and the other positive integer)th element of the list and the other positive integerth element of the third list
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 799-817	If a list is the list of items viewed by an agent and a process is an instance of accessing web page and another process is an instance of accessing web page and the agent is an agent of the process and the agent is an agent of the other process and a positive integer is an instance of positive integer and another positive integer is an instance of positive integer and equal the positive integerth element of the list and the process and equal the other positive integerth element of the list and the other process and the positive integer is greater than the other positive integer, then the time of existence of the other process happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2010-2012	If a real number is an instance of positive integer, then the real number is greater than 0

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: