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

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


(range AdditionFn Number) Merge.kif 4531-4531 The range of addition is an instance of number
(range AverageFn Number) Merge.kif 3161-3161 The range of average function is an instance of number
(range DivisionFn Number) Merge.kif 4561-4561 The range of division is an instance of number
(range ListSumFn Number) Merge.kif 3130-3130 The range of the &%sum of elements in %1 is an instance of number
(range MaxFn Number) Merge.kif 4783-4783 The range of max is an instance of number
(range MaxValueFn Number) Weather.kif 1292-1292 The range of maximum value function is an instance of number
(range MinFn Number) Merge.kif 4809-4809 The range of min is an instance of number
(range MultiplicationFn Number) Merge.kif 4518-4518 The range of multiplication is an instance of number
(range PathWeightFn Number) Merge.kif 5663-5663 The range of path weight is an instance of number
(range SubtractionFn Number) Merge.kif 4545-4545 The range of subtraction is an instance of number
(subclass ComplexNumber Number) Merge.kif 1921-1921 Complex number is a subclass of number
(subclass ImaginaryNumber Number) Merge.kif 1812-1812 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 1804-1804 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 4529-4529 The number 1 argument of addition is an instance of number
(domain AdditionFn 2 Number) Merge.kif 4530-4530 The number 2 argument of addition is an instance of number
(domain DivisionFn 1 Number) Merge.kif 4559-4559 The number 1 argument of division is an instance of number
(domain DivisionFn 2 Number) Merge.kif 4560-4560 The number 2 argument of division is an instance of number
(domain MaxFn 1 Number) Merge.kif 4781-4781 The number 1 argument of max is an instance of number
(domain MaxFn 2 Number) Merge.kif 4782-4782 The number 2 argument of max is an instance of number
(domain MinFn 1 Number) Merge.kif 4807-4807 The number 1 argument of min is an instance of number
(domain MinFn 2 Number) Merge.kif 4808-4808 The number 2 argument of min is an instance of number
(domain MultiplicationFn 1 Number) Merge.kif 4516-4516 The number 1 argument of multiplication is an instance of number
(domain MultiplicationFn 2 Number) Merge.kif 4517-4517 The number 2 argument of multiplication is an instance of number
(domain RationalNumberFn 1 Number) Merge.kif 4848-4848 The number 1 argument of rational number is an instance of number
(domain RealNumberFn 1 Number) Merge.kif 4855-4855 The number 1 argument of real number is an instance of number
(domain SubtractionFn 1 Number) Merge.kif 4543-4543 The number 1 argument of subtraction is an instance of number
(domain SubtractionFn 2 Number) Merge.kif 4544-4544 The number 2 argument of subtraction is an instance of number
(domain VarianceAverageFn 1 Number) Weather.kif 1055-1055 The number 1 argument of variance average function is an instance of number
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 3236-3236 The number 2 argument of passenger capacity max number is an instance of number

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


(=>
    (and
        (equal ?SUM
            (ListSumFn ?L))
        (equal ?N
            (ListOrderFn ?L ?S)))
    (instance ?N Number))
Merge.kif 3135-3139
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4671-4676
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4744-4749


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