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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FunctionQuantity
FunctionQuantity(function quantity)BMR, Brinell_number, P.E., absolute_frequency, absorption_unit, acceleration, acoustic_power, acoustic_radiation_pressure, air_pressure, amplification, angular_acceleration, angular_momentum, arterial_pressure, atmospheric_pressure, bandwidth, barometric_pressure, basal_metabolic_rate, baud, baud_rate, blood_count, blood_pressure, brackishness, brininess, brunt, candlepower, capacitance, capacity, carat, centrifugal_force, centripetal_force, charge, compartment_pressure, compound_number, concentration_gradient, corpuscular-radiation_pressure, curvature, curvilinear_regression, deceleration, diastolic_pressure, dipole_moment, elastance, electric_charge, electric_dipole_moment, electrical_capacity, electrical_elastance, electromagnetic_unit, electrostatic_charge, emu, energy_unit, equivalent-binary-digit_factor...

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


s__documentation(s__FunctionQuantity,s__ChineseLanguage,'" FunctionQuantity 是一个由 Function 它把 ConstantQuantity 的一个或以上的实例和其它 ConstantQuantity 的实例 联系在一起,例如:粒子的速度是用 FunctionQuantity, 把时间的值(ConstantQuantity的实例)和距离 的值(也是 ConstantQuantity的实例)连在一起来表示。注:和 FunctionQuantity 对应的 Function 范围内所有的元素和那个 FunctionQuantity 本身的物理尺寸是相同的。"')

chinese_format.kif 1790-1796
s__documentation(s__FunctionQuantity,s__EnglishLanguage,'"A FunctionQuantity is a PhysicalQuantity that is returned by a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity relating values of time (which are instances of ConstantQuantity) to values of distance (also instances of ConstantQuantity). Note that all elements of the range of the Function corresponding to a FunctionQuantity have the same physical dimension as the FunctionQuantity itself."')

Merge.kif 2049-2057
s__instance(s__FunctionQuantity,s__Class)

s__instance(s__PhysicalQuantity,s__Class)

s__subclass(s__FunctionQuantity,s__PhysicalQuantity)

Merge.kif 2047-2047 Function quantity is a subclass of physical quantity

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


s__instance(s__FunctionQuantity,s__Class)

s__instance(s__McgPerKg,s__FunctionQuantity)

WMD.kif 808-808 Micrograms per kilogram is an instance of function quantity
s__instance(s__FunctionQuantity,s__Class)

s__instance(s__MilesPerHour,s__FunctionQuantity)

Weather.kif 1698-1698 Miles per hour is an instance of function quantity
s__range(s__AccelerationFn__m,s__FunctionQuantity)

Cars.kif 1280-1280 The range of AccelerationFn is an instance of function quantity
s__range(s__DensityFn__m,s__FunctionQuantity)

Merge.kif 6439-6439 The range of density is an instance of function quantity
s__range(s__Mean10MinutesWindSpeedFn__m,s__FunctionQuantity)

Weather.kif 2213-2213 The range of ten minute mean surface wind speed is an instance of function quantity
s__range(s__Mean1MinuteWindSpeedFn__m,s__FunctionQuantity)

Weather.kif 2318-2318 The range of one minute mean surface wind speed is an instance of function quantity
s__range(s__Mean2MinutesWindSpeedFn__m,s__FunctionQuantity)

Weather.kif 2283-2283 The range of two minute mean surface wind speed is an instance of function quantity
s__range(s__Mean3MinutesWindSpeedFn__m,s__FunctionQuantity)

Weather.kif 2248-2248 The range of three minute mean surface wind speed is an instance of function quantity
s__range(s__Mean3SecondWindSpeedFn__m,s__FunctionQuantity)

Weather.kif 1900-1900 The range of three second mean surface wind speed is an instance of function quantity
s__range(s__PerFn__m,s__FunctionQuantity)

Merge.kif 6425-6425 The range of per is an instance of function quantity
s__range(s__RotationFn__m,s__FunctionQuantity)

Cars.kif 2105-2105 The range of RotationFn is an instance of function quantity
s__range(s__SpeedFn__m,s__FunctionQuantity)

Merge.kif 6451-6451 The range of speed is an instance of function quantity
s__range(s__ThreeSecondGustSpeedFn__m,s__FunctionQuantity)

Weather.kif 2028-2028 The range of three second gust speed is an instance of function quantity
s__range(s__VelocityFn__m,s__FunctionQuantity)

Merge.kif 6464-6464 The range of velocity is an instance of function quantity
s__subclass(s__AreaMeasure,s__FunctionQuantity)

s__instance(s__AreaMeasure,s__Class)

s__instance(s__FunctionQuantity,s__Class)

Merge.kif 6041-6041 Area measure is a subclass of function quantity
s__subclass(s__CompositeUnitOfMeasure,s__FunctionQuantity)

s__instance(s__FunctionQuantity,s__Class)

s__instance(s__CompositeUnitOfMeasure,s__Class)

Merge.kif 5982-5982 CompositeUnitOfMeasure is a subclass of function quantity
s__subclass(s__UnaryConstantFunctionQuantity,s__FunctionQuantity)

s__instance(s__UnaryConstantFunctionQuantity,s__Class)

s__instance(s__FunctionQuantity,s__Class)

Merge.kif 2059-2059 Unary constant function quantity is a subclass of function quantity
s__instance(s__VolumeMeasure,s__Class)

s__instance(s__FunctionQuantity,s__Class)

s__subclass(s__VolumeMeasure,s__FunctionQuantity)

Merge.kif 6052-6052 Volume measure is a subclass of function quantity
s__termFormat(s__ChineseLanguage,s__FunctionQuantity,'"函数量"')

chinese_format.kif 882-882
s__termFormat(s__EnglishLanguage,s__FunctionQuantity,'"function quantity"')

english_format.kif 966-966

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


s__domain(s__AccelerationFn__m,n__1,s__FunctionQuantity)

Cars.kif 1274-1274 The number 1 argument of AccelerationFn is an instance of function quantity
s__domain(s__bandwidth__m,n__2,s__FunctionQuantity)

QoSontology.kif 1059-1059 The number 2 argument of bandwidth of is an instance of function quantity
s__domain(s__contractedRentalPrice__m,n__2,s__FunctionQuantity)

Catalog.kif 496-496 The number 2 argument of contracted rental price is an instance of function quantity
s__domain(s__effectiveDose__m,n__2,s__FunctionQuantity)

WMD.kif 792-792 The number 2 argument of effective dose is an instance of function quantity
s__domain(s__engineIdleSpeed__m,n__2,s__FunctionQuantity)

Cars.kif 2559-2559 The number 2 argument of engineIdleSpeed is an instance of function quantity
s__domain(s__governorSpeed__m,n__2,s__FunctionQuantity)

Cars.kif 2881-2881 The number 2 argument of governorSpeed is an instance of function quantity
s__domain(s__lethalDose__m,n__2,s__FunctionQuantity)

WMD.kif 839-839 The number 2 argument of lethal dose is an instance of function quantity
s__domain(s__precipitationRate__m,n__2,s__FunctionQuantity)

Weather.kif 1204-1204 The number 2 argument of precipitation rate is an instance of function quantity
s__domain(s__rainfallIntensity__m,n__3,s__FunctionQuantity)

Weather.kif 2820-2820 The number 3 argument of rainfall intensity is an instance of function quantity
s__domain(s__rentalPrice__m,n__2,s__FunctionQuantity)

Catalog.kif 449-449 The number 2 argument of rental price is an instance of function quantity
s__domain(s__snowfallIntensity__m,n__3,s__FunctionQuantity)

Weather.kif 3025-3025 The number 3 argument of snowfall intensity is an instance of function quantity
s__domain(s__soundFrequency__m,n__2,s__FunctionQuantity)

Mid-level-ontology.kif 723-723 The number 2 argument of sound frequency is an instance of function quantity
s__domain(s__speedScaleAttributeMinMax__m,n__2,s__FunctionQuantity)

Weather.kif 2119-2119 The number 2 argument of speed scale attribute min max is an instance of function quantity
s__domain(s__speedScaleAttributeMinMax__m,n__3,s__FunctionQuantity)

Weather.kif 2120-2120 The number 3 argument of speed scale attribute min max is an instance of function quantity
s__domain(s__topSpeed__m,n__2,s__FunctionQuantity)

Transportation.kif 1719-1719 The number 2 argument of topSpeed is an instance of function quantity
s__domain(s__transformerCapacity__m,n__2,s__FunctionQuantity)

Mid-level-ontology.kif 30559-30559 The number 2 argument of transformer capacity is an instance of function quantity
s__domain(s__transitwayCapacityRate__m,n__3,s__FunctionQuantity)

Transportation.kif 3054-3054 The number 3 argument of transitway capacity rate is an instance of function quantity
s__domain(s__unitPrice__m,n__2,s__FunctionQuantity)

Catalog.kif 392-392 The number 2 argument of unitPrice is an instance of function quantity
s__domain(s__voltageRatingPrimary__m,n__2,s__FunctionQuantity)

Mid-level-ontology.kif 30469-30469 The number 2 argument of primary voltage rating is an instance of function quantity
s__domain(s__voltageRatingSecondary__m,n__2,s__FunctionQuantity)

Mid-level-ontology.kif 30512-30512 The number 2 argument of seconary voltage rating is an instance of function quantity
s__domain(s__yield__m,n__2,s__FunctionQuantity)

FinancialOntology.kif 2252-2252 The number 2 argument of yield is an instance of function quantity
s__partition__3(s__PhysicalQuantity,s__ConstantQuantity,s__FunctionQuantity)

Merge.kif 1973-1973 Physical quantity is exhaustively partitioned into constant quantity and function quantity

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


( ! [V__SPEED,V__TIME,V__PLACE,V__SPEEDLIST] :
   (((s__instance(V__TIME,s__TimeInterval) &
         s__instance(V__PLACE,s__GeographicArea) &
         s__instance(V__SPEEDLIST,s__List))
       =>
       ((((V__SPEEDLIST = s__Mean3SecondWindSpeedListFn(V__PLACE,V__TIME))
           &
           s__inList(V__SPEED,V__SPEEDLIST))
       =>
       (s__instance(V__SPEED,s__FunctionQuantity)))))
)
)

Weather.kif 1991-1996
( ! [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__CompositeUnitOfMeasure))
       =>
       (s__instance(V__QUANT,s__FunctionQuantity)))))
)
)

Merge.kif 5999-6003


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