Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 1927-1927 Number is a subclass of quantity
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1928-1928 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 1930-1932 Number is exhaustively partitioned into real number, imaginary number, and complex number

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


(subclass RealNumber Number) Merge.kif 1995-1995 Real number is a subclass of number
(subclass ImaginaryNumber Number) Merge.kif 2003-2003 Imaginary number is a subclass of number
(subclass ComplexNumber Number) Merge.kif 2118-2118 Complex number is a subclass of number
(range MaxFn Number) Merge.kif 5101-5101 The range of max is an instance of number
(range MinFn Number) Merge.kif 5127-5127 The range of min is an instance of number
(range VarianceAverageFn Number) Weather.kif 2761-2761 The range of variance average function is an instance of number
(range VarianceFn Number) Weather.kif 2783-2783 The range of variance function is an instance of number
(range StandardDeviationFn Number) Weather.kif 2816-2816 The range of standard deviation is an instance of number
(range MaxValueFn Number) Weather.kif 2992-2992 The range of maximum value is an instance of number
(subclass MultipoleVariable Number) engineering.kif 295-295 Multipole variable is a subclass of number
(termFormat EnglishLanguage Number "number") english_format.kif 922-922 Multipole variable is a subclass of number

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


(domain MaxFn 1 Number) Merge.kif 5099-5099 The number 1 argument of max is an instance of number
(domain MaxFn 2 Number) Merge.kif 5100-5100 The number 2 argument of max is an instance of number
(domain MinFn 1 Number) Merge.kif 5125-5125 The number 1 argument of min is an instance of number
(domain MinFn 2 Number) Merge.kif 5126-5126 The number 2 argument of min is an instance of number
(domain RationalNumberFn 1 Number) Merge.kif 5166-5166 The number 1 argument of rational number is an instance of number
(domain RealNumberFn 1 Number) Merge.kif 5173-5173 The number 1 argument of real number is an instance of number
(domain primeInterestRate 2 Number) FinancialOntology.kif 622-622 The number 2 argument of prime interest rate is an instance of number
(domain currentInterestRate 3 Number) FinancialOntology.kif 637-637 The number 3 argument of current interest rate is an instance of number
(domain fixedInterestRate 2 Number) FinancialOntology.kif 643-643 The number 2 argument of fixed interest rate is an instance of number
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 4941-4941 The number 2 argument of passenger capacity max number is an instance of number
(domain VarianceAverageFn 1 Number) Weather.kif 2756-2756 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 3397-3401 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 4966-4971 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 5051-5056 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 3099-3103 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners