  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

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 1739-1741 No TPTP formula. May not be expressible in strict first order. Merge.kif 1737-1737 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 1736-1736 Number is a subclass of quantity

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. Merge.kif 4538-4538 The range of addition is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 3160-3160 The range of average function is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4568-4568 The range of division is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 3129-3129 The range of the &%sum of elements in %1 is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4790-4790 The range of max is an instance of number No TPTP formula. May not be expressible in strict first order. Weather.kif 1682-1682 The range of maximum value is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4816-4816 The range of min is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4525-4525 The range of multiplication is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 5670-5670 The range of path weight is an instance of number No TPTP formula. May not be expressible in strict first order. Weather.kif 1505-1505 The range of standard deviation is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4552-4552 The range of subtraction is an instance of number No TPTP formula. May not be expressible in strict first order. Weather.kif 1450-1450 The range of variance average function is an instance of number No TPTP formula. May not be expressible in strict first order. Weather.kif 1472-1472 The range of variance function is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 1920-1920 Complex number is a subclass of number No TPTP formula. May not be expressible in strict first order. Merge.kif 1811-1811 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 1803-1803 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 923-923

 appearance as argument number 3 No TPTP formula. May not be expressible in strict first order. Merge.kif 4536-4536 The number 1 argument of addition is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4537-4537 The number 2 argument of addition is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4566-4566 The number 1 argument of division is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4567-4567 The number 2 argument of division is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4788-4788 The number 1 argument of max is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4789-4789 The number 2 argument of max is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4814-4814 The number 1 argument of min is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4815-4815 The number 2 argument of min is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4523-4523 The number 1 argument of multiplication is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4524-4524 The number 2 argument of multiplication is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4855-4855 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 4862-4862 The number 1 argument of real number is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4550-4550 The number 1 argument of subtraction is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4551-4551 The number 2 argument of subtraction is an instance of number No TPTP formula. May not be expressible in strict first order. Weather.kif 1445-1445 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 576-576 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 582-582 The number 2 argument of fixed interest rate is an instance of number No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 545-545 The number 2 argument of interest rate per period is an instance of number No TPTP formula. May not be expressible in strict first order. Transportation.kif 3265-3265 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 561-561 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 3174-3178 If a number is equal to the average of the numbers in a list and an entity is a member of the list,then the entity is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 3134-3138 If a number is equal to the sum of a list and an entity is equal to another entity element of the list,then the entity is an instance of number No TPTP formula. May not be expressible in strict first order. Weather.kif 1818-1822 If a list is an instance of number list and an entity is a member of the list,then the entity is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4678-4683 If the greatest common divisor of @ROW is equal to an integer,then if another entity is a member of (@ROW),then the other entity is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4751-4756 If the least common multiple of @ROW is equal to an integer,then if another entity is a member of (@ROW),then the other entity is an instance of number 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