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


(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 1804-1806
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1802-1802 Number is exhaustively partitioned into real number, imaginary number, and complex number
(subclass Number Quantity) Merge.kif 1801-1801 Number is a subclass of quantity

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


(range MaxFn Number) Merge.kif 4960-4960 The range of max is an instance of number
(range MaxValueFn Number) Weather.kif 1683-1683 The range of maximum value is an instance of number
(range MinFn Number) Merge.kif 4986-4986 The range of min is an instance of number
(range StandardDeviationFn Number) Weather.kif 1506-1506 The range of standard deviation is an instance of number
(range VarianceAverageFn Number) Weather.kif 1451-1451 The range of variance average function is an instance of number
(range VarianceFn Number) Weather.kif 1473-1473 The range of variance function is an instance of number
(subclass ComplexNumber Number) Merge.kif 1985-1985 Complex number is a subclass of number
(subclass ImaginaryNumber Number) Merge.kif 1876-1876 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 1868-1868 Real number is a subclass of number
(termFormat ChineseLanguage Number "数字") chinese_format.kif 858-858
(termFormat EnglishLanguage Number "number") english_format.kif 918-918

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


(domain MaxFn 1 Number) Merge.kif 4958-4958 The number 1 argument of max is an instance of number
(domain MaxFn 2 Number) Merge.kif 4959-4959 The number 2 argument of max is an instance of number
(domain MinFn 1 Number) Merge.kif 4984-4984 The number 1 argument of min is an instance of number
(domain MinFn 2 Number) Merge.kif 4985-4985 The number 2 argument of min is an instance of number
(domain RationalNumberFn 1 Number) Merge.kif 5025-5025 The number 1 argument of rational number is an instance of number
(domain RealNumberFn 1 Number) Merge.kif 5032-5032 The number 1 argument of real number is an instance of number
(domain VarianceAverageFn 1 Number) Weather.kif 1446-1446 The number 1 argument of variance average function is an instance of number
(domain currentInterestRate 3 Number) FinancialOntology.kif 616-616 The number 3 argument of current interest rate is an instance of number
(domain fixedInterestRate 2 Number) FinancialOntology.kif 622-622 The number 2 argument of fixed interest rate is an instance of number
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 3258-3258 The number 2 argument of passenger capacity max number is an instance of number
(domain primeInterestRate 2 Number) FinancialOntology.kif 601-601 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 3263-3267
(=>
    (and
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))
Weather.kif 1819-1823
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4825-4830
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4910-4915


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