Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PositiveInteger
PositiveInteger(positive integer)1, 10, 100, 1000, 10000, 100000, 1000000, 1000000000, 1000000000000, 11, 12, 120, 13, 14, 144, 15, 16, 17, 1728, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 3, 30, 4, 40, 5, 50, 500, 6, 60, 7, 70, 78, 8, 80, 9, 90, C, Captain_Hicks, D...

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
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 799-817
No TPTP formula. May not be expressible in strict first order. Merge.kif 2010-2012


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