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
-------------------------


(documentation Number ChineseLanguage "这是用来量度东西的数量或者某种东西的分量。 Numbers 可分为 RealNumberComplexNumberImaginaryNumber。") chinese_format.kif 1727-1728
(documentation Number EnglishLanguage "A measure of how many things there are, or how much there is, of a certain kind. Numbers are subclassed into RealNumber, ComplexNumber, and ImaginaryNumber.") Merge.kif 1822-1824
(documentation Number JapaneseLanguage "ある種の物がいくつあるか、どれだけあるかの測定。 Numbers は RealNumber, ComplexNumber、および ImaginaryNumber にサブクラス化される。") japanese_format.kif 335-336
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1820-1820 Number is exhaustively partitioned into real number, imaginary number, and complex number
(subclass Number Quantity) Merge.kif 1819-1819 Number is a subclass of quantity

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


(range MaxFn Number) Merge.kif 5002-5002 The range of max is an instance of number
(range MaxValueFn Number) Weather.kif 1665-1665 The range of maximum value is an instance of number
(range MinFn Number) Merge.kif 5028-5028 The range of min is an instance of number
(range StandardDeviationFn Number) Weather.kif 1489-1489 The range of standard deviation is an instance of number
(range VarianceAverageFn Number) Weather.kif 1434-1434 The range of variance average function is an instance of number
(range VarianceFn Number) Weather.kif 1456-1456 The range of variance function is an instance of number
(subclass ComplexNumber Number) Merge.kif 2004-2004 Complex number is a subclass of number
(subclass ImaginaryNumber Number) Merge.kif 1895-1895 Imaginary number is a subclass of number
(subclass MultipoleVariable Number) engineering.kif 288-288 Multipole variable is a subclass of number
(subclass RealNumber Number) Merge.kif 1887-1887 Real number is a subclass of number
(termFormat ChineseLanguage Number "数字") chinese_format.kif 858-858 Real number is a subclass of number
(termFormat EnglishLanguage Number "number") english_format.kif 918-918 Real number is a subclass of number
(termFormat FrenchLanguage Number "nombre") french_format.kif 534-534 Real number is a subclass of number
(termFormat Hindi Number "anka") terms-hindi.txt 22-22 Real number is a subclass of number
(termFormat ItalianLanguage Number "Numero") terms-it.txt 24-24 Real number is a subclass of number
(termFormat JapaneseLanguage Number "数") japanese_format.kif 2219-2219 Real number is a subclass of number
(termFormat PortugueseLanguage Number "Numero") portuguese_format.kif 486-486 Real number is a subclass of number
(termFormat cb Number "numero") terms-cb.txt 25-25 Real number is a subclass of number
(termFormat cz Number "number") terms-cz.txt 101-101 Real number is a subclass of number
(termFormat de Number "Zahl") terms-de.txt 360-360 Real number is a subclass of number
(termFormat ro Number "numãr") relations-ro.kif 555-555 Real number is a subclass of number
(termFormat tg Number "bilang") terms-tg.txt 25-25 Real number is a subclass of number

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


(domain MaxFn 1 Number) Merge.kif 5000-5000 The number 1 argument of max is an instance of number
(domain MaxFn 2 Number) Merge.kif 5001-5001 The number 2 argument of max is an instance of number
(domain MinFn 1 Number) Merge.kif 5026-5026 The number 1 argument of min is an instance of number
(domain MinFn 2 Number) Merge.kif 5027-5027 The number 2 argument of min is an instance of number
(domain RationalNumberFn 1 Number) Merge.kif 5067-5067 The number 1 argument of rational number is an instance of number
(domain RealNumberFn 1 Number) Merge.kif 5074-5074 The number 1 argument of real number is an instance of number
(domain VarianceAverageFn 1 Number) Weather.kif 1429-1429 The number 1 argument of variance average function is an instance of number
(domain currentInterestRate 3 Number) FinancialOntology.kif 618-618 The number 3 argument of current interest rate is an instance of number
(domain fixedInterestRate 2 Number) FinancialOntology.kif 624-624 The number 2 argument of fixed interest rate is an instance of number
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 4399-4399 The number 2 argument of passenger capacity max number is an instance of number
(domain primeInterestRate 2 Number) FinancialOntology.kif 603-603 The number 2 argument of prime interest rate is an instance of number

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


(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (inList ?N ?L))
    (instance ?N Number))
Merge.kif 3284-3288
(=>
    (and
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))
Weather.kif 1801-1805
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4867-4872
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4952-4957


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