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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PositiveInteger

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 1997-1997
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 1994-1994 Positive integer is a subclass of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1995-1995 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. 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 8588-8588 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 15509-15509 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 2978-2978 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 4976-4976 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 14663-14663 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 8968-8968 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 8666-8666 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 14618-14618 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 8950-8950 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 3440-3440 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 2243-2243 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 13773-13773 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 3457-3457 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 1209-1209 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 209-209 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 231-231 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 21709-21709 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 2324-2324 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 2503-2503 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 2491-2491 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 6700-6700 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 2620-2620 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 2696-2696 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 2684-2684 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 1588-1588 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 3083-3102
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 1999-2001


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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