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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConstantQuantity
ConstantQuantity(constant quantity)
more pictures...
4to, 8vo, PB, PiB, Planck's_constant, SPF, amount, amphibrach, amplitude, amplitude_level, anapaest, anapest, armful, augmentation, background_level, bag, bagful, barnful, barrel, barrelful, barrow, barrowful, base, baseball_score, basin, basinful, basket, basketball_score, basketful, bin, binful, birdie, boatload, body_count, bogey, bottle, bottleful, bowl, bowlful, bowling_score, box, boxful, break, break_of_serve, bucket, bucketful, can, canful, cap, capful...

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


s__documentation(s__ConstantQuantity,s__ChineseLanguage,'"ConstantQuantity 是含不变值的 PhysicalQuantity,如 3 Meter 和 5 HourDuration。所有 ConstantQuantity 的幅度 (见 MagnitudeFn)都是 RealNumberConstantQuantity 有别于 FunctionQuantity, 后者的每一个实例是通过把一个 PhysicalQuantity 连接到另一个 PhysicalQuantity 而成。 每个 ConstantQuantity 的实例使用 BinaryFunction MeasureFn 来表示, 它需要两个参数:一个 Number 和一个 UnitOfMeasure。例如:3 Meter 以 (MeasureFn 3 Meter) 表示。 ConstantQuantity 的实例与 lessThan 关系组成一个部分顺序 (见 PartialOrderingRelation), 因为 lessThan 是一个 RelationExtendedToQuantities,而 lessThanRealNumber 来定义的。 lessThan 关系不是一个以 ConstantQuantity 类别的 全部顺序 (见 TotalOrderingRelation)因为 ConstantQuantity 一些子类别的元素 (如长度值)和 ConstantQuantity 其他子类别的元素 (如质量) 属完全不同。"')

chinese_format.kif 1768-1778
s__documentation(s__ConstantQuantity,s__EnglishLanguage,'"A ConstantQuantity is a PhysicalQuantity that has a constant value, e.g. 3 Meters and 5 HourDurations. The magnitude (see MagnitudeFn) of every ConstantQuantity is a RealNumber. ConstantQuantity is distinguished from FunctionQuantity, in that each instance of the latter is formed through the mapping of one PhysicalQuantity to another PhysicalQuantity. Each instance of ConstantQuantity is expressed with the BinaryFunction MeasureFn, which takes a Number and a UnitOfMeasure as arguments. For example, 3 Meters is expressed as (MeasureFn 3 Meter). Instances of ConstantQuantity form a partial order (see PartialOrderingRelation) with the lessThan relation, since lessThan is a RelationExtendedToQuantities and lessThan is defined over the RealNumbers. The lessThan relation is not a total order (see TotalOrderingRelation) over the class ConstantQuantity since elements of some subclasses of ConstantQuantity (such as length quantities) are incomparable to elements of other subclasses of ConstantQuantity (such as mass quantities)."')

Merge.kif 1994-2012
s__externalImage(s__ConstantQuantity,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Ybc7289-bw.jpg"')

pictureList.kif 9107-9107
s__externalImage(s__ConstantQuantity,'"http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ Pi-unrolled-720.gif"')

pictureList.kif 8438-8438
s__externalImage(s__ConstantQuantity,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Exponential.png"')

pictureList.kif 9110-9110
s__externalImage(s__ConstantQuantity,'"http://upload.wikimedia.org/wikipedia/commons/ 7/ 7d/ LogisticMap_BifurcationDiagram.png"')

pictureList.kif 9111-9111
s__externalImage(s__ConstantQuantity,'"http://upload.wikimedia.org/wikipedia/en/ 1/ 1a/ Different_constants_of_integration.jpg"')

pictureList.kif 9108-9108
s__externalImage(s__ConstantQuantity,'"http://upload.wikimedia.org/wikipedia/en/ c/ c5/ Euler-Mascheroni.jpg"')

pictureList.kif 9109-9109
s__instance(s__PhysicalQuantity,s__SetOrClass)

s__instance(s__ConstantQuantity,s__SetOrClass)

s__subclass(s__ConstantQuantity,s__PhysicalQuantity)

Merge.kif 1992-1992 Constant quantity is a subclass of physical quantity

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


s__partition__3(s__PhysicalQuantity,s__ConstantQuantity,s__FunctionQuantity)

Merge.kif 1973-1973 Physical quantity is exhaustively partitioned into constant quantity and function quantity
s__range(s__CPUUtilizationFn__m,s__ConstantQuantity)

QoSontology.kif 1325-1325 The range of CPU utilization is an instance of constant quantity
s__rangeSubclass(s__IntervalFn__m,s__ConstantQuantity)

Merge.kif 6357-6357 The values returned by interval are subclasses of constant quantity
s__subclass(s__AngleMeasure,s__ConstantQuantity)

s__instance(s__AngleMeasure,s__SetOrClass)

s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 6085-6085 Angle measure is a subclass of constant quantity
s__instance(s__CurrencyMeasure,s__SetOrClass)

s__subclass(s__CurrencyMeasure,s__ConstantQuantity)

s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 6073-6073 Currency measure is a subclass of constant quantity
s__subclass(s__InformationMeasure,s__ConstantQuantity)

s__instance(s__InformationMeasure,s__SetOrClass)

s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 7197-7197 Information measure is a subclass of constant quantity
s__instance(s__LengthMeasure,s__SetOrClass)

s__subclass(s__LengthMeasure,s__ConstantQuantity)

s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 6014-6014 Length measure is a subclass of constant quantity
s__instance(s__MassMeasure,s__SetOrClass)

s__subclass(s__MassMeasure,s__ConstantQuantity)

s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 6025-6025 Mass measure is a subclass of constant quantity
s__subclass(s__NonCompositeUnitOfMeasure,s__ConstantQuantity)

s__instance(s__NonCompositeUnitOfMeasure,s__SetOrClass)

s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 5988-5988 NonCompositeUnitOfMeasure is a subclass of constant quantity
s__instance(s__RadiationMeasure,s__SetOrClass)

s__subclass(s__RadiationMeasure,s__ConstantQuantity)

s__instance(s__ConstantQuantity,s__SetOrClass)

MilitaryProcesses.kif 849-849 Radiation measure is a subclass of constant quantity
s__subclass(s__TemperatureMeasure,s__ConstantQuantity)

s__instance(s__TemperatureMeasure,s__SetOrClass)

s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 6061-6061 Temperature measure is a subclass of constant quantity
s__subclass(s__TimeMeasure,s__ConstantQuantity)

s__instance(s__TimeMeasure,s__SetOrClass)

s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 2014-2014 Time measure is a subclass of constant quantity
s__subclass(s__waveHeight__m,s__ConstantQuantity)

s__instance(s__waveHeight__m,s__SetOrClass)

s__instance(s__ConstantQuantity,s__SetOrClass)

Weather.kif 1416-1416 wave height is a subclass of constant quantity
s__termFormat(s__ChineseLanguage,s__ConstantQuantity,'"恒量"')

chinese_format.kif 876-876
s__termFormat(s__EnglishLanguage,s__ConstantQuantity,'"constant quantity"')

english_format.kif 959-959

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


s__domain(s__IntervalFn__m,n__1,s__ConstantQuantity)

Merge.kif 6355-6355 The number 1 argument of interval is an instance of constant quantity
s__domain(s__IntervalFn__m,n__2,s__ConstantQuantity)

Merge.kif 6356-6356 The number 2 argument of interval is an instance of constant quantity
s__domain(s__arableLandArea__m,n__2,s__ConstantQuantity)

Geography.kif 2044-2044 The number 2 argument of arable land area is an instance of constant quantity
s__domain(s__averagePrecipitationForPeriod__m,n__3,s__ConstantQuantity)

Weather.kif 1222-1222 The number 3 argument of average precipitation for period is an instance of constant quantity
s__domain(s__capacity__m,n__2,s__ConstantQuantity)

Mid-level-ontology.kif 6318-6318 The number 2 argument of capacity is an instance of constant quantity
s__domain(s__distanceOnPath__m,n__1,s__ConstantQuantity)

Mid-level-ontology.kif 23382-23382 The number 1 argument of distanceOnPath is an instance of constant quantity
s__domain(s__highAltitudeWindSpeed__m,n__2,s__ConstantQuantity)

Weather.kif 263-263 The number 2 argument of high altitude wind speed is an instance of constant quantity
s__domain(s__hostJitter__m,n__2,s__ConstantQuantity)

QoSontology.kif 2136-2136 The number 2 argument of host jitter is an instance of constant quantity
s__domain(s__irrigatedLandArea__m,n__2,s__ConstantQuantity)

Geography.kif 2186-2186 The number 2 argument of irrigated land area is an instance of constant quantity
s__domain(s__load__m,n__2,s__ConstantQuantity)

QoSontology.kif 1848-1848 The number 2 argument of load is an instance of constant quantity
s__domain(s__loudness__m,n__2,s__ConstantQuantity)

Mid-level-ontology.kif 12920-12920 The number 2 argument of loudness is an instance of constant quantity
s__domain(s__measurementReading__m,n__2,s__ConstantQuantity)

Mid-level-ontology.kif 2871-2871 The number 2 argument of measurement reading is an instance of constant quantity
s__domain(s__mediumAltitudeWindSpeed__m,n__2,s__ConstantQuantity)

Weather.kif 240-240 The number 2 argument of medium altitude wind speed is an instance of constant quantity
s__domain(s__memorySize__m,n__2,s__ConstantQuantity)

QoSontology.kif 1668-1668 The number 2 argument of memory size is an instance of constant quantity
s__domain(s__otherLandUseArea__m,n__2,s__ConstantQuantity)

Geography.kif 2132-2132 The number 2 argument of other land use area is an instance of constant quantity
s__domain(s__permanentCropLandArea__m,n__2,s__ConstantQuantity)

Geography.kif 2091-2091 The number 2 argument of permanent crop land area is an instance of constant quantity
s__domain(s__precipitationAmount__m,n__2,s__ConstantQuantity)

Weather.kif 1213-1213 The number 2 argument of precipitation amount is an instance of constant quantity
s__domain(s__qoSSlack__m,n__2,s__ConstantQuantity)

QoSontology.kif 1200-1200 The number 2 argument of qoS slack is an instance of constant quantity
s__domain(s__qoSSlack__m,n__3,s__ConstantQuantity)

QoSontology.kif 1201-1201 The number 3 argument of qoS slack is an instance of constant quantity
s__domain(s__seaSurfaceTemperature__m,n__2,s__ConstantQuantity)

Weather.kif 976-976 The number 2 argument of sea surface temperature is an instance of constant quantity
s__domain(s__totalPrecipitationForPeriod__m,n__3,s__ConstantQuantity)

Weather.kif 1231-1231 The number 3 argument of total precipitation for period is an instance of constant quantity

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


( ! [V__QUANT,V__UNIT,V__N] :
   ((s__instance(V__N,s__RealNumber) =>
       (((s__instance(V__QUANT,s__MeasureFn(V__N,V__UNIT))
         &
         s__instance(V__UNIT,s__NonCompositeUnitOfMeasure))
       =>
       (s__instance(V__QUANT,s__ConstantQuantity)))))
)
)

Merge.kif 6003-6007


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