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 1978-1979
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 361-361
No TPTP formula. May not be expressible in strict first order. Merge.kif 1975-1975 Nonnegative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1976-1976 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 2914-2914 The range of bid count is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2880-2880 The range of bought items is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4924-4924 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 3015-3015 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 24447-24447 The range of string length fn is an instance of nonnegative integer
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. chinese_format.kif 870-870
No TPTP formula. May not be expressible in strict first order. english_format.kif 942-942
No TPTP formula. May not be expressible in strict first order. french_format.kif 546-546
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 76-76
No TPTP formula. May not be expressible in strict first order. terms-it.txt 79-79
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2231-2231
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 498-498
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 113-113
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 567-567
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 80-80

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8613-8613 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 8639-8639 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 24417-24417 The number 2 argument of substring fn is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24418-24418 The number 3 argument of substring fn is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Government.kif 437-437 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 4526-4526 The number 2 argument of engine cylinders 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 22665-22665 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 1914-1914 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 24458-24458 The number 1 argument of string length 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 3037-3037 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 1956-1956 Integer is exhaustively partitioned into negative integer and nonnegative integer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1981-1983

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5542-5547


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