Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


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

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


(subclass RealNumber Number) Merge.kif 1930-1930 Real number is a subclass of number
(subclass ImaginaryNumber Number) Merge.kif 1938-1938 Imaginary number is a subclass of number
(subclass ComplexNumber Number) Merge.kif 2053-2053 Complex number is a subclass of number
(range MaxFn Number) Merge.kif 5036-5036 The range of max is an instance of number
(range MinFn Number) Merge.kif 5062-5062 The range of min is an instance of number
(range VarianceAverageFn Number) Weather.kif 2778-2778 The range of variance average function is an instance of number
(range VarianceFn Number) Weather.kif 2800-2800 The range of variance function is an instance of number
(range StandardDeviationFn Number) Weather.kif 2833-2833 The range of standard deviation is an instance of number
(range MaxValueFn Number) Weather.kif 3009-3009 The range of maximum value is an instance of number
(subclass MultipoleVariable Number) engineering.kif 284-284 Multipole variable is a subclass of number
(termFormat EnglishLanguage Number "number") english_format.kif 918-918 Multipole variable is a subclass of number

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


(domain MaxFn 1 Number) Merge.kif 5034-5034 The number 1 argument of max is an instance of number
(domain MaxFn 2 Number) Merge.kif 5035-5035 The number 2 argument of max is an instance of number
(domain MinFn 1 Number) Merge.kif 5060-5060 The number 1 argument of min is an instance of number
(domain MinFn 2 Number) Merge.kif 5061-5061 The number 2 argument of min is an instance of number
(domain RationalNumberFn 1 Number) Merge.kif 5101-5101 The number 1 argument of rational number is an instance of number
(domain RealNumberFn 1 Number) Merge.kif 5108-5108 The number 1 argument of real 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
(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 4905-4905 The number 2 argument of passenger capacity max number is an instance of number
(domain VarianceAverageFn 1 Number) Weather.kif 2773-2773 The number 1 argument of variance average function is an instance of number

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


(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (inList ?N ?L))
    (instance ?N Number))		 Merge.kif 3332-3336 If equal X and the average of the numbers in Y and Z is a member of Y, then Z is an instance of number
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))		 Merge.kif 4901-4906 Assuming equal the greatest common divisor of @ROW and Y, it follows that: if Z is a member of (@ROW), then Z is an instance of number
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))		 Merge.kif 4986-4991 Assuming equal the least common multiple of @ROW and Y, it follows that: if Z is a member of (@ROW), then Z is an instance of number
(=>
    (and
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))		 Weather.kif 3145-3149 If X is an instance of number list and Y is a member of X, then Y is an instance of number


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.0-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners