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
-------------------------


s__documentation(s__Number,s__ChineseLanguage,'"这是用来量度东西的数量或者某种东西的分量。 Numbers 可分为 RealNumber、 ComplexNumber 和 ImaginaryNumber。"')

 chinese_format.kif 1727-1728
s__documentation(s__Number,s__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 1774-1776
s__partition__4(s__Number,s__RealNumber,s__ImaginaryNumber,s__ComplexNumber)

 Merge.kif 1772-1772 Number is exhaustively partitioned into real number, imaginary number, and complex number
s__subclass(s__Number,s__Quantity)

s__instance(s__Quantity,s__Class)

s__instance(s__Number,s__Class)

 Merge.kif 1771-1771 Number is a subclass of quantity

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


s__range(s__AdditionFn__m,s__Number)

 Merge.kif 4574-4574 The range of addition is an instance of number
s__range(s__AverageFn__m,s__Number)

 Merge.kif 3196-3196 The range of average function is an instance of number
s__range(s__DivisionFn__m,s__Number)

 Merge.kif 4604-4604 The range of division is an instance of number
s__range(s__ListSumFn__m,s__Number)

 Merge.kif 3165-3165 The range of the &%sum of elements in %1 is an instance of number
s__range(s__MaxFn__m,s__Number)

 Merge.kif 4826-4826 The range of max is an instance of number
s__range(s__MaxValueFn__m,s__Number)

 Weather.kif 1682-1682 The range of maximum value is an instance of number
s__range(s__MinFn__m,s__Number)

 Merge.kif 4852-4852 The range of min is an instance of number
s__range(s__MultiplicationFn__m,s__Number)

 Merge.kif 4561-4561 The range of multiplication is an instance of number
s__range(s__PathWeightFn__m,s__Number)

 Merge.kif 5740-5740 The range of path weight is an instance of number
s__range(s__StandardDeviationFn__m,s__Number)

 Weather.kif 1505-1505 The range of standard deviation is an instance of number
s__range(s__SubtractionFn__m,s__Number)

 Merge.kif 4588-4588 The range of subtraction is an instance of number
s__range(s__VarianceAverageFn__m,s__Number)

 Weather.kif 1450-1450 The range of variance average function is an instance of number
s__range(s__VarianceFn__m,s__Number)

 Weather.kif 1472-1472 The range of variance function is an instance of number
s__instance(s__ComplexNumber,s__Class)

s__instance(s__Number,s__Class)

s__subclass(s__ComplexNumber,s__Number)

 Merge.kif 1955-1955 Complex number is a subclass of number
s__instance(s__ImaginaryNumber,s__Class)

s__subclass(s__ImaginaryNumber,s__Number)

s__instance(s__Number,s__Class)

 Merge.kif 1846-1846 Imaginary number is a subclass of number
s__instance(s__MultipoleVariable,s__Class)

s__subclass(s__MultipoleVariable,s__Number)

s__instance(s__Number,s__Class)

 engineering.kif 288-288 Multipole variable is a subclass of number
s__instance(s__RealNumber,s__Class)

s__instance(s__Number,s__Class)

s__subclass(s__RealNumber,s__Number)

 Merge.kif 1838-1838 Real number is a subclass of number
s__termFormat(s__ChineseLanguage,s__Number,'"数字"')

 chinese_format.kif 858-858
s__termFormat(s__EnglishLanguage,s__Number,'"number"')

 english_format.kif 923-923

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


s__domain(s__AdditionFn__m,n__1,s__Number)

 Merge.kif 4572-4572 The number 1 argument of addition is an instance of number
s__domain(s__AdditionFn__m,n__2,s__Number)

 Merge.kif 4573-4573 The number 2 argument of addition is an instance of number
s__domain(s__DivisionFn__m,n__1,s__Number)

 Merge.kif 4602-4602 The number 1 argument of division is an instance of number
s__domain(s__DivisionFn__m,n__2,s__Number)

 Merge.kif 4603-4603 The number 2 argument of division is an instance of number
s__domain(s__MaxFn__m,n__1,s__Number)

 Merge.kif 4824-4824 The number 1 argument of max is an instance of number
s__domain(s__MaxFn__m,n__2,s__Number)

 Merge.kif 4825-4825 The number 2 argument of max is an instance of number
s__domain(s__MinFn__m,n__1,s__Number)

 Merge.kif 4850-4850 The number 1 argument of min is an instance of number
s__domain(s__MinFn__m,n__2,s__Number)

 Merge.kif 4851-4851 The number 2 argument of min is an instance of number
s__domain(s__MultiplicationFn__m,n__1,s__Number)

 Merge.kif 4559-4559 The number 1 argument of multiplication is an instance of number
s__domain(s__MultiplicationFn__m,n__2,s__Number)

 Merge.kif 4560-4560 The number 2 argument of multiplication is an instance of number
s__domain(s__RationalNumberFn__m,n__1,s__Number)

 Merge.kif 4891-4891 The number 1 argument of rational number is an instance of number
s__domain(s__RealNumberFn__m,n__1,s__Number)

 Merge.kif 4898-4898 The number 1 argument of real number is an instance of number
s__domain(s__SubtractionFn__m,n__1,s__Number)

 Merge.kif 4586-4586 The number 1 argument of subtraction is an instance of number
s__domain(s__SubtractionFn__m,n__2,s__Number)

 Merge.kif 4587-4587 The number 2 argument of subtraction is an instance of number
s__domain(s__VarianceAverageFn__m,n__1,s__Number)

 Weather.kif 1445-1445 The number 1 argument of variance average function is an instance of number
s__domain(s__currentInterestRate__m,n__3,s__Number)

 FinancialOntology.kif 576-576 The number 3 argument of current interest rate is an instance of number
s__domain(s__fixedInterestRate__m,n__2,s__Number)

 FinancialOntology.kif 582-582 The number 2 argument of fixed interest rate is an instance of number
s__domain(s__interestRatePerPeriod__m,n__2,s__Number)

 FinancialOntology.kif 545-545 The number 2 argument of interest rate per period is an instance of number
s__domain(s__passengerCapacityMaxNumber__m,n__2,s__Number)

 Transportation.kif 3265-3265 The number 2 argument of passenger capacity max number is an instance of number
s__domain(s__primeInterestRate__m,n__2,s__Number)

 FinancialOntology.kif 561-561 The number 2 argument of prime interest rate is an instance of number

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


( ! [V__A,V__L,V__N] :
   (((s__instance(V__A,s__Number) &
         s__instance(V__L,s__List))
       =>
       ((((V__A = s__AverageFn(V__L))
           &
           s__inList(V__N,V__L))
       =>
       (s__instance(V__N,s__Number)))))
)
)

 Merge.kif 3210-3214
( ! [V__SUM,V__S,V__L,V__N] :
   (((s__instance(V__SUM,s__Number) &
         s__instance(V__S,s__PositiveInteger) &
         s__instance(V__L,s__List))
       =>
       ((((V__SUM = s__ListSumFn(V__L))
           &
           (V__N = s__ListOrderFn(V__L,V__S)))
       =>
       (s__instance(V__N,s__Number)))))
)
)

 Merge.kif 3170-3174
( ! [V__LIST,V__NUM] :
   (((s__instance(V__LIST,s__NumberList) &
         s__inList(V__NUM,V__LIST))
     =>
     (s__instance(V__NUM,s__Number)))
   )
)

 Weather.kif 1818-1822
( ! [V__ROW5,V__ROW6,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__GreatestCommonDivisorFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

( ! [V__ROW7,V__ROW5,V__ROW6,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__GreatestCommonDivisorFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

( ! [V__ELEMENT,V__ROW2,V__NUMBER] :
   (((s__GreatestCommonDivisorFn__1Fn(V__ROW2)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__1Fn(V__ROW2))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

( ! [V__ROW7,V__ROW8,V__ROW5,V__ROW6,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__GreatestCommonDivisorFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

( ! [V__ROW5,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__GreatestCommonDivisorFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

( ! [V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__GreatestCommonDivisorFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

( ! [V__ELEMENT,V__ROW3,V__ROW2,V__NUMBER] :
   (((s__GreatestCommonDivisorFn__2Fn(V__ROW2,V__ROW3)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__2Fn(V__ROW2,V__ROW3))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

 Merge.kif 4714-4719
( ! [V__ELEMENT,V__ROW2,V__NUMBER] :
   (((s__LeastCommonMultipleFn__1Fn(V__ROW2)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__1Fn(V__ROW2))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

( ! [V__ELEMENT,V__ROW3,V__ROW2,V__NUMBER] :
   (((s__LeastCommonMultipleFn__2Fn(V__ROW2,V__ROW3)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__2Fn(V__ROW2,V__ROW3))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

( ! [V__ROW5,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__LeastCommonMultipleFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

( ! [V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__LeastCommonMultipleFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

( ! [V__ROW7,V__ROW5,V__ROW6,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__LeastCommonMultipleFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

( ! [V__ROW5,V__ROW6,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__LeastCommonMultipleFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

( ! [V__ROW7,V__ROW8,V__ROW5,V__ROW6,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__LeastCommonMultipleFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
       = V__NUMBER)
     =>
     ((s__inList(V__ELEMENT,s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
     =>
     (s__instance(V__ELEMENT,s__Number)))))
)
)

 Merge.kif 4787-4792


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