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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1891-1892
No TPTP formula. May not be expressible in strict first order. Merge.kif 1888-1888 Nonnegative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1889-1889 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 3119-3119 The range of bid count is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3086-3086 The range of bought items is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4729-4729 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 2909-2909 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 22242-22242 The range of StringLengthFn is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1907-1907 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 947-947

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8087-8087 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 8113-8113 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 22212-22212 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 22213-22213 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 426-426 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 4507-4507 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 1045-1045 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 20583-20583 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 1868-1868 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 22254-22254 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 1204-1204 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 3015-3015 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 1869-1869 Integer is exhaustively partitioned into negative integer and nonnegative integer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1894-1896

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5260-5265


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