  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   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 1775-1777 No TPTP formula. May not be expressible in strict first order. Merge.kif 1773-1773 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 1772-1772 Number is a subclass of quantity

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. Merge.kif 4901-4901 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 4927-4927 The range of min 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. 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 1956-1956 Complex number is a subclass of number No TPTP formula. May not be expressible in strict first order. Merge.kif 1847-1847 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 1839-1839 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

 appearance as argument number 3 No TPTP formula. May not be expressible in strict first order. Merge.kif 4899-4899 The number 1 argument of max is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4900-4900 The number 2 argument of max is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4925-4925 The number 1 argument of min is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4926-4926 The number 2 argument of min is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4966-4966 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 4973-4973 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 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 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 3257-3257 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 3223-3227 If a real 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. 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 4766-4771 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 4851-4856 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