Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RealNumber
RealNumber
عَدَد حَقِيقِي, Avogadro's_number, Avogadro_number, Boltzmann's_constant, G, Hubble's_constant, Hubble's_parameter, Hubble_constant, Hubble_parameter, NumeroReale, Numero_Real, R, Young's_modulus, absolute_viscosity, absorptance, absorption_coefficient, bulk_modulus, cardinal, circulating_decimal, coefficient, coefficient_of_absorption, coefficient_of_correlation, coefficient_of_drag, coefficient_of_elasticity, coefficient_of_expansion, coefficient_of_friction, coefficient_of_mutual_induction, coefficient_of_reflection, coefficient_of_self_induction, coefficient_of_viscosity, constant, constant_of_gravitation, continued_fraction, correction, correlation, correlation_coefficient, cosmological_constant, decimal, drag_coefficient, dynamic_viscosity, elastic_modulus, equilibrium_constant, expansivity, fixed-point_number, floating-point_number, fudge_factor, gas_constant, gravitational_constant, ionic_charge, modulus...

appearance as argument number 1
-------------------------


s__documentation(s__RealNumber,s__ChineseLanguage,'任何可以表达为一个(可能是无限的)十进制的 Number, 即任何在数字线上佔有一席位 Number。')

Merge.kif 1952-1953
s__documentation(s__RealNumber,s__EnglishLanguage,'Any Number that can be expressed as a (possibly infinite) decimal, i.e. any Number that has a position on the number line.')

Merge.kif 1949-1951
s__externalImage(s__RealNumber,'http://upload.wikimedia.org/wikipedia/commons/0/09/Number-line.gif')

pictureList.kif 11762-11762
s__externalImage(s__RealNumber,'http://upload.wikimedia.org/wikipedia/commons/9/98/Real_Number_Line.PNG')

pictureList.kif 10244-10244
s__externalImage(s__RealNumber,'http://upload.wikimedia.org/wikipedia/commons/f/fd/Recta_real_entero_o_decimal_exacto.png')

pictureList.kif 11761-11761
s__partition_3(s__RealNumber,s__NegativeRealNumber,s__NonnegativeRealNumber)

Merge.kif 1947-1947
s__partition_3(s__RealNumber,s__RationalNumber,s__IrrationalNumber)

Merge.kif 1948-1948
s__subclass(s__RealNumber,s__Number)

Merge.kif 1946-1946

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


s__disjoint(s__ComplexNumber,s__RealNumber)

Merge.kif 2069-2069
s__partition_4(s__Number,s__RealNumber,s__ImaginaryNumber,s__ComplexNumber)

Merge.kif 1875-1875
s__range(s__BirthsPerThousandFn__m,s__RealNumber)

People.kif 93-93
s__range(s__ChildrenBornPerWomanFn__m,s__RealNumber)

People.kif 449-449
s__range(s__ClickThroughRateFn__m,s__RealNumber)

UXExperimentalTerms.kif 3525-3525
s__range(s__CosineFn__m,s__RealNumber)

Merge.kif 4946-4946
s__range(s__DeathsPerThousandFn__m,s__RealNumber)

People.kif 124-124
s__range(s__DeathsPerThousandLiveBirthsFn__m,s__RealNumber)

People.kif 245-245
s__range(s__ExponentiationFn__m,s__RealNumber)

Merge.kif 4967-4967
s__range(s__FemaleLifeExpectancyAtBirthFn__m,s__RealNumber)

People.kif 404-404
s__range(s__LifeExpectancyAtBirthFn__m,s__RealNumber)

People.kif 312-312
s__range(s__LiftFn__m,s__RealNumber)

UXExperimentalTerms.kif 4746-4746
s__range(s__LogFn__m,s__RealNumber)

Merge.kif 5109-5109
s__range(s__MagnitudeFn__m,s__RealNumber)

Merge.kif 6779-6779
s__range(s__MaleLifeExpectancyAtBirthFn__m,s__RealNumber)

People.kif 359-359
s__range(s__MaleToFemaleRatioFn__m,s__RealNumber)

People.kif 208-208
s__range(s__MigrantsPerThousandFn__m,s__RealNumber)

People.kif 158-158
s__range(s__PPIFn__m,s__RealNumber)

UXExperimentalTerms.kif 3292-3292
s__range(s__PPSFn__m,s__RealNumber)

UXExperimentalTerms.kif 3253-3253
s__range(s__PopulationGrowthFn__m,s__RealNumber)

People.kif 64-64
s__range(s__ProbabilityFn__m,s__RealNumber)

Merge.kif 2729-2729
s__range(s__RealNumberFn__m,s__RealNumber)

Merge.kif 5202-5202
s__range(s__ReciprocalFn__m,s__RealNumber)

Merge.kif 5212-5212
s__range(s__SRPEngagementFn__m,s__RealNumber)

UXExperimentalTerms.kif 3908-3908
s__range(s__SineFn__m,s__RealNumber)

Merge.kif 5320-5320

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__domain(s__AbsoluteValueFn__m,1,s__RealNumber)

Merge.kif 4904-4904
s__domain(s__CeilingFn__m,1,s__RealNumber)

Merge.kif 4926-4926
s__domain(s__DenominatorFn__m,1,s__RealNumber)

Merge.kif 4955-4955
s__domain(s__ExponentiationFn__m,1,s__RealNumber)

Merge.kif 4965-4965
s__domain(s__FloorFn__m,1,s__RealNumber)

Merge.kif 4975-4975
s__domain(s__IntegerSquareRootFn__m,1,s__RealNumber)

Merge.kif 5064-5064
s__domain(s__LogFn__m,1,s__RealNumber)

Merge.kif 5107-5107
s__domain(s__MeasureFn__m,1,s__RealNumber)

Merge.kif 6490-6490
s__domain(s__NumeratorFn__m,1,s__RealNumber)

Merge.kif 5172-5172
s__domain(s__ReciprocalFn__m,1,s__RealNumber)

Merge.kif 5211-5211
s__domain(s__SignumFn__m,1,s__RealNumber)

Merge.kif 5296-5296
s__domain(s__SquareRootFn__m,1,s__RealNumber)

Merge.kif 5328-5328
s__domain(s__approximateValue__m,1,s__RealNumber)

Mid-level-ontology.kif 27931-27931
s__domain(s__approximateValue__m,2,s__RealNumber)

Mid-level-ontology.kif 27932-27932
s__domain(s__average__m,2,s__RealNumber)

Merge.kif 5441-5441
s__domain(s__beliefGroupPercentInRegion__m,2,s__RealNumber)

People.kif 1524-1524
s__domain(s__compressionRatio__m,2,s__RealNumber)

Cars.kif 1910-1910
s__domain(s__conditionalProbability__m,3,s__RealNumber)

Merge.kif 2742-2742
s__domain(s__confidenceInterval__m,2,s__RealNumber)

UXExperimentalTerms.kif 660-660
s__domain(s__dampingRatio__m,2,s__RealNumber)

Cars.kif 789-789
s__domain(s__diseaseMortality__m,2,s__RealNumber)

WMD.kif 840-840
s__domain(s__electricityFractionFromSource__m,3,s__RealNumber)

Economy.kif 2048-2048
s__domain(s__electricityFractionFromSourceInPeriod__m,3,s__RealNumber)

Economy.kif 2032-2032
s__domain(s__ethnicityPercentInRegion__m,2,s__RealNumber)

People.kif 1543-1543
s__domain(s__highestDecileShareOfHouseholdIncome__m,2,s__RealNumber)

Economy.kif 1253-1253

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


( ! [V__NUMBER1,V__NUMBER2] :
   (((s__AbsoluteValueFn(V__NUMBER1)
       = V__NUMBER2)
     &
     s__instance(V__NUMBER1,s__RealNumber) &
     s__instance(V__NUMBER2,s__RealNumber))
   <=>
   ((s__instance(V__NUMBER1,s__NonnegativeRealNumber) &
       (V__NUMBER1 = V__NUMBER2))
     |
     (s__instance(V__NUMBER1,s__NegativeRealNumber) &
       (V__NUMBER2 = s__SubtractionFn(0,V__NUMBER1)))))
)

Merge.kif 4911-4922
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3444-3464
( ! [V__NUMBER1,V__NUMBER2] :
   ((s__instance(s__lessThanOrEqualTo__m,s__RelationExtendedToQuantities) &
       s__instance(s__lessThanOrEqualTo__m,s__BinaryRelation) &
       s__instance(V__NUMBER1,s__RealNumber) &
       s__instance(V__NUMBER2,s__RealNumber) &
       s__lessThanOrEqualTo(V__NUMBER1,V__NUMBER2))
   =>
   (! [V__UNIT] :
     (s__instance(V__UNIT,s__UnitOfMeasure) =>
       s__lessThanOrEqualTo(s__MeasureFn(V__NUMBER1,V__UNIT)
    ,s__MeasureFn(V__NUMBER2,V__UNIT)))))
)

Merge.kif 6572-6582
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3487-3507
( ! [V__N] :
   (s__instance(V__N,s__RealNumber) =>
     (s__MeasureFn(V__N,s__Horsepower) = s__MeasureFn(s__MultiplicationFn(V__N,746)
    ,s__Watt)))
)

Merge.kif 7132-7136

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


( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__NegativeRealNumber) <=>
     (s__lessThan(V__NUMBER,0)
     &
     s__instance(V__NUMBER,s__RealNumber)))
)

Merge.kif 2007-2011
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__NonnegativeRealNumber) <=>
     (s__greaterThanOrEqualTo(V__NUMBER,0)
     &
     s__instance(V__NUMBER,s__RealNumber)))
)

Merge.kif 1985-1989
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__PositiveRealNumber) <=>
     (s__greaterThan(V__NUMBER,0)
     &
     s__instance(V__NUMBER,s__RealNumber)))
)

Merge.kif 1996-2000
( ! [V__LIST,V__AVERAGE] :
   (s__average(V__LIST,V__AVERAGE)
   =>
   (! [V__LISTITEM] :
     (s__inList(V__LISTITEM,V__LIST)
     =>
     s__instance(V__LISTITEM,s__RealNumber))))
)

Merge.kif 5452-5457


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners