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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NonnegativeInteger

Sigma KEE - NonnegativeInteger
NonnegativeInteger(nonnegative integer)0, binary_digit, cipher, cypher, digit, duodecimal_digit, figure, hexadecimal_digit, nought, octal_digit, significant_digit, significant_figure, zero

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1752-1752
No TPTP formula. May not be expressible in strict first order. Merge.kif 1918-1919
No TPTP formula. May not be expressible in strict first order. Merge.kif 1915-1915 Nonnegative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1916-1916 Nonnegative integer is a subclass of nonnegative real number

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3122-3122 The range of bid count is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3089-3089 The range of bought items is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4828-4828 The range of integer square root is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 2943-2943 The range of list length is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23800-23800 The range of StringLengthFn is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1934-1934 Positive integer is a subclass of nonnegative integer
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 870-870
No TPTP formula. May not be expressible in strict first order. english_format.kif 942-942

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8515-8515 The number 1 argument of hour is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 8541-8541 The number 1 argument of minute is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23770-23770 The number 2 argument of SubstringFn is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23771-23771 The number 3 argument of SubstringFn is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Government.kif 425-425 The number 2 argument of cardinality is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Cars.kif 4529-4529 The number 2 argument of engineCylinders is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1056-1056 The number 3 argument of fOC ships by origin is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22087-22087 The number 3 argument of member type count is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Government.kif 1899-1899 The number 3 argument of seats held in organization is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23811-23811 The number 1 argument of stringLength is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1215-1215 The number 3 argument of total facility type in area is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3044-3044 The number 3 argument of transitway capacity count is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1896-1896 Integer is exhaustively partitioned into negative integer and nonnegative integer

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1921-1923

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5442-5447


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