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

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


(range AverageFn Number) Merge.kif 3156-3156 The range of average function is an instance of number
(range ListSumFn Number) Merge.kif 3125-3125 The range of the &%sum of elements in %1 is an instance of number
(subclass ComplexNumber Number) Merge.kif 1916-1916 Complex number is a subclass of number
(subclass ImaginaryNumber Number) Merge.kif 1807-1807 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 1799-1799 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 RationalNumberFn 1 Number) Merge.kif 4841-4841 The number 1 argument of rational number is an instance of number
(domain RealNumberFn 1 Number) Merge.kif 4848-4848 The number 1 argument of real number is an instance of number
(domain VarianceAverageFn 1 Number) Weather.kif 1054-1054 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 3130-3134
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4664-4669
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4737-4742


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