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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Number

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 1827-1829
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 1825-1825 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 1824-1824 Number is a subclass of quantity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4989-4989 The range of max is an instance of number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1683-1683 The range of maximum value is an instance of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5015-5015 The range of min is an instance of number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1506-1506 The range of standard deviation is an instance of number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1451-1451 The range of variance average function is an instance of number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1473-1473 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 289-289 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 918-918
No TPTP formula. May not be expressible in strict first order. french_format.kif 534-534
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 22-22
No TPTP formula. May not be expressible in strict first order. terms-it.txt 24-24
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2219-2219
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 486-486
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 25-25
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 101-101
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 555-555
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 25-25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4987-4987 The number 1 argument of max is an instance of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 4988-4988 The number 2 argument of max is an instance of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5013-5013 The number 1 argument of min is an instance of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5014-5014 The number 2 argument of min is an instance of number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5054-5054 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 5061-5061 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 1446-1446 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 3258-3258 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 3286-3290
No TPTP formula. May not be expressible in strict first order. Weather.kif 1819-1823
No TPTP formula. May not be expressible in strict first order. Merge.kif 4854-4859
No TPTP formula. May not be expressible in strict first order. Merge.kif 4939-4944


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