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

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


(range AdditionFn Number) Merge.kif 4541-4541 The range of addition is an instance of number
(range AverageFn Number) Merge.kif 3163-3163 The range of average function is an instance of number
(range DivisionFn Number) Merge.kif 4571-4571 The range of division is an instance of number
(range ListSumFn Number) Merge.kif 3132-3132 The range of the &%sum of elements in %1 is an instance of number
(range MaxFn Number) Merge.kif 4793-4793 The range of max is an instance of number
(range MaxValueFn Number) Weather.kif 1682-1682 The range of maximum value is an instance of number
(range MinFn Number) Merge.kif 4819-4819 The range of min is an instance of number
(range MultiplicationFn Number) Merge.kif 4528-4528 The range of multiplication is an instance of number
(range PathWeightFn Number) Merge.kif 5707-5707 The range of path weight is an instance of number
(range StandardDeviationFn Number) Weather.kif 1505-1505 The range of standard deviation is an instance of number
(range SubtractionFn Number) Merge.kif 4555-4555 The range of subtraction is an instance of number
(range VarianceAverageFn Number) Weather.kif 1450-1450 The range of variance average function is an instance of number
(range VarianceFn Number) Weather.kif 1472-1472 The range of variance function is an instance of number
(subclass ComplexNumber Number) Merge.kif 1922-1922 Complex number is a subclass of number
(subclass ImaginaryNumber Number) Merge.kif 1813-1813 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 1805-1805 Real number is a subclass of number
(termFormat ChineseLanguage Number "数字") chinese_format.kif 858-858
(termFormat EnglishLanguage Number "number") english_format.kif 923-923

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


(domain AdditionFn 1 Number) Merge.kif 4539-4539 The number 1 argument of addition is an instance of number
(domain AdditionFn 2 Number) Merge.kif 4540-4540 The number 2 argument of addition is an instance of number
(domain DivisionFn 1 Number) Merge.kif 4569-4569 The number 1 argument of division is an instance of number
(domain DivisionFn 2 Number) Merge.kif 4570-4570 The number 2 argument of division is an instance of number
(domain MaxFn 1 Number) Merge.kif 4791-4791 The number 1 argument of max is an instance of number
(domain MaxFn 2 Number) Merge.kif 4792-4792 The number 2 argument of max is an instance of number
(domain MinFn 1 Number) Merge.kif 4817-4817 The number 1 argument of min is an instance of number
(domain MinFn 2 Number) Merge.kif 4818-4818 The number 2 argument of min is an instance of number
(domain MultiplicationFn 1 Number) Merge.kif 4526-4526 The number 1 argument of multiplication is an instance of number
(domain MultiplicationFn 2 Number) Merge.kif 4527-4527 The number 2 argument of multiplication is an instance of number
(domain RationalNumberFn 1 Number) Merge.kif 4858-4858 The number 1 argument of rational number is an instance of number
(domain RealNumberFn 1 Number) Merge.kif 4865-4865 The number 1 argument of real number is an instance of number
(domain SubtractionFn 1 Number) Merge.kif 4553-4553 The number 1 argument of subtraction is an instance of number
(domain SubtractionFn 2 Number) Merge.kif 4554-4554 The number 2 argument of subtraction is an instance of number
(domain VarianceAverageFn 1 Number) Weather.kif 1445-1445 The number 1 argument of variance average function is an instance of number
(domain currentInterestRate 3 Number) FinancialOntology.kif 576-576 The number 3 argument of current interest rate is an instance of number
(domain fixedInterestRate 2 Number) FinancialOntology.kif 582-582 The number 2 argument of fixed interest rate is an instance of number
(domain interestRatePerPeriod 2 Number) FinancialOntology.kif 545-545 The number 2 argument of interest rate per period is an instance of number
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 3265-3265 The number 2 argument of passenger capacity max number is an instance of number
(domain primeInterestRate 2 Number) FinancialOntology.kif 561-561 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 3177-3181
(=>
    (and
        (equal ?SUM
            (ListSumFn ?L))
        (equal ?N
            (ListOrderFn ?L ?S)))
    (instance ?N Number))
Merge.kif 3137-3141
(=>
    (and
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))
Weather.kif 1818-1822
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4681-4686
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4754-4759


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