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


(documentation FunctionQuantity ChineseLanguage " FunctionQuantity 是一个由 Function 它把 ConstantQuantity 的一个或以上的实例和其它 ConstantQuantity 的实例 联系在一起,例如:粒子的速度是用 FunctionQuantity, 把时间的值(ConstantQuantity的实例)和距离 的值(也是 ConstantQuantity的实例)连在一起来表示。注:和 FunctionQuantity 对应的 Function 范围内所有的元素和那个 FunctionQuantity 本身的物理尺寸是相同的。") chinese_format.kif 1790-1796
(documentation FunctionQuantity 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 2079-2087
(subclass FunctionQuantity PhysicalQuantity) Merge.kif 2077-2077 Function quantity is a subclass of physical quantity

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


(instance McgPerKg FunctionQuantity) WMD.kif 813-813 Micrograms per kilogram is an instance of function quantity
(instance MilesPerHour FunctionQuantity) Weather.kif 1699-1699 Miles per hour is an instance of function quantity
(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280 The range of Acceleration fn is an instance of function quantity
(range DensityFn FunctionQuantity) Merge.kif 6614-6614 The range of density is an instance of function quantity
(range Mean10MinutesWindSpeedFn FunctionQuantity) Weather.kif 2220-2220 The range of ten minute mean surface wind speed is an instance of function quantity
(range Mean1MinuteWindSpeedFn FunctionQuantity) Weather.kif 2325-2325 The range of one minute mean surface wind speed is an instance of function quantity
(range Mean2MinutesWindSpeedFn FunctionQuantity) Weather.kif 2290-2290 The range of two minute mean surface wind speed is an instance of function quantity
(range Mean3MinutesWindSpeedFn FunctionQuantity) Weather.kif 2255-2255 The range of three minute mean surface wind speed is an instance of function quantity
(range Mean3SecondWindSpeedFn FunctionQuantity) Weather.kif 1901-1901 The range of three second mean surface wind speed is an instance of function quantity
(range PerFn FunctionQuantity) Merge.kif 6600-6600 The range of per is an instance of function quantity
(range RotationFn FunctionQuantity) Cars.kif 2105-2105 The range of rotation fn is an instance of function quantity
(range SpeedFn FunctionQuantity) Merge.kif 6626-6626 The range of speed is an instance of function quantity
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 2035-2035 The range of three second gust speed is an instance of function quantity
(range VelocityFn FunctionQuantity) Merge.kif 6639-6639 The range of velocity is an instance of function quantity
(subclass AreaMeasure FunctionQuantity) Merge.kif 6234-6234 Area measure is a subclass of function quantity
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6175-6175 Composite unit of measure is a subclass of function quantity
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2089-2089 Unary constant function quantity is a subclass of function quantity
(subclass VolumeMeasure FunctionQuantity) Merge.kif 6245-6245 Volume measure is a subclass of function quantity
(termFormat ChineseLanguage FunctionQuantity "函数量") chinese_format.kif 882-882
(termFormat EnglishLanguage FunctionQuantity "function quantity") english_format.kif 966-966

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


(domain AccelerationFn 1 FunctionQuantity) Cars.kif 1274-1274 The number 1 argument of Acceleration fn is an instance of function quantity
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1054-1054 The number 2 argument of bandwidth of is an instance of function quantity
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 502-502 The number 2 argument of contracted rental price is an instance of function quantity
(domain effectiveDose 2 FunctionQuantity) WMD.kif 797-797 The number 2 argument of effective dose is an instance of function quantity
(domain engineIdleSpeed 2 FunctionQuantity) Cars.kif 2559-2559 The number 2 argument of engine idle speed is an instance of function quantity
(domain governorSpeed 2 FunctionQuantity) Cars.kif 2881-2881 The number 2 argument of governor speed is an instance of function quantity
(domain lethalDose 2 FunctionQuantity) WMD.kif 844-844 The number 2 argument of lethal dose is an instance of function quantity
(domain precipitationRate 2 FunctionQuantity) Weather.kif 1204-1204 The number 2 argument of precipitation rate is an instance of function quantity
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 2827-2827 The number 3 argument of rainfall intensity is an instance of function quantity
(domain rentalPrice 2 FunctionQuantity) Catalog.kif 455-455 The number 2 argument of rental price is an instance of function quantity
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 3032-3032 The number 3 argument of snowfall intensity is an instance of function quantity
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 745-745 The number 2 argument of sound frequency is an instance of function quantity
(domain speedScaleAttributeMinMax 2 FunctionQuantity) Weather.kif 2126-2126 The number 2 argument of speed scale attribute min max is an instance of function quantity
(domain speedScaleAttributeMinMax 3 FunctionQuantity) Weather.kif 2127-2127 The number 3 argument of speed scale attribute min max is an instance of function quantity
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1711-1711 The number 2 argument of top speed is an instance of function quantity
(domain transformerCapacity 2 FunctionQuantity) Mid-level-ontology.kif 31247-31247 The number 2 argument of transformer capacity is an instance of function quantity
(domain transitwayCapacityRate 3 FunctionQuantity) Transportation.kif 3047-3047 The number 3 argument of transitway capacity rate is an instance of function quantity
(domain unitPrice 2 FunctionQuantity) Catalog.kif 398-398 The number 2 argument of unit price is an instance of function quantity
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 31155-31155 The number 2 argument of primary voltage rating is an instance of function quantity
(domain voltageRatingSecondary 2 FunctionQuantity) Mid-level-ontology.kif 31198-31198 The number 2 argument of seconary voltage rating is an instance of function quantity
(domain yield 2 FunctionQuantity) FinancialOntology.kif 2296-2296 The number 2 argument of yield is an instance of function quantity
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2003-2003 Physical quantity is exhaustively partitioned into constant quantity and function quantity

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


(=>
    (and
        (equal ?SPEEDLIST
            (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
        (inList ?SPEED ?SPEEDLIST))
    (instance ?SPEED FunctionQuantity))
Weather.kif 1998-2003
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 6192-6196


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