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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Number
Number(number)2, Fibonacci_number, II, ZIP, ZIP_code, area_code, arity, binary, cardinality, composite_number, decimal, denary, deuce, difference, differential, duodecimal, figure, fixed, hex, hexadecimal, identification_number, lower_bound, mathematical, mean, mean_value, minuend, number, numeral, numeric, numerical, numerical_quantity, numerically, octal, one, oxidation_number, oxidation_state, postal_code, postcode, remainder, subtrahend, three-figure, twice, two, zero, zero_point, zeroth

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1727-1728
No TPTP formula. May not be expressible in strict first order. Merge.kif 1826-1828
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 335-336
No TPTP formula. May not be expressible in strict first order. Merge.kif 1824-1824 Number is exhaustively partitioned into real number, imaginary number, and complex number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1823-1823 Number is a subclass of quantity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4987-4987 The range of max is an instance of number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1666-1666 The range of maximum value is an instance of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5013-5013 The range of min is an instance of number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1490-1490 The range of standard deviation is an instance of number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1435-1435 The range of variance average function is an instance of number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1457-1457 The range of variance function is an instance of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 2008-2008 Complex number is a subclass of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1899-1899 Imaginary number is a subclass of number
No TPTP formula. May not be expressible in strict first order. engineering.kif 288-288 Multipole variable is a subclass of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1891-1891 Real number is a subclass of number
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 858-858 Real number is a subclass of number
No TPTP formula. May not be expressible in strict first order. english_format.kif 918-918 Real number is a subclass of number
No TPTP formula. May not be expressible in strict first order. french_format.kif 534-534 Real number is a subclass of number
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 22-22 Real number is a subclass of number
No TPTP formula. May not be expressible in strict first order. terms-it.txt 24-24 Real number is a subclass of number
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2219-2219 Real number is a subclass of number
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 486-486 Real number is a subclass of number
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 25-25 Real number is a subclass of number
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 101-101 Real number is a subclass of number
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 555-555 Real number is a subclass of number
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 25-25 Real number is a subclass of number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4985-4985 The number 1 argument of max is an instance of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 4986-4986 The number 2 argument of max is an instance of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5011-5011 The number 1 argument of min is an instance of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5012-5012 The number 2 argument of min is an instance of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5052-5052 The number 1 argument of rational number is an instance of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5059-5059 The number 1 argument of real number is an instance of number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1430-1430 The number 1 argument of variance average function is an instance of number
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 616-616 The number 3 argument of current interest rate is an instance of number
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 622-622 The number 2 argument of fixed interest rate is an instance of number
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4158-4158 The number 2 argument of passenger capacity max number is an instance of number
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 601-601 The number 2 argument of prime interest rate is an instance of number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3287-3291
No TPTP formula. May not be expressible in strict first order. Weather.kif 1802-1806
No TPTP formula. May not be expressible in strict first order. Merge.kif 4852-4857
No TPTP formula. May not be expressible in strict first order. Merge.kif 4937-4942


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