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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FunctionQuantity
FunctionQuantityمِقْدَار التَابِع, BMR, Brinell_number, Funcao_de_Quantidade, FunzioneDiQuantit�, 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, dami_ng_tungkulin, deceleration, diastolic_pressure, dipole_moment, elastance, electric_charge, electric_dipole_moment, electrical_capacity, electrical_elastance, electromagnetic_unit...

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


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

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


(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280
(range DensityFn FunctionQuantity) Merge.kif 6842-6842
(range PerFn FunctionQuantity) Merge.kif 6824-6824
(range RotationFn FunctionQuantity) Cars.kif 2091-2091
(range SpeedFn FunctionQuantity) Merge.kif 6856-6856
(range VelocityFn FunctionQuantity) Merge.kif 6871-6871
(subclass AreaMeasure FunctionQuantity) Merge.kif 6397-6397
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6332-6332
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2203-2203
(subclass VolumeMeasure FunctionQuantity) Merge.kif 6409-6409
(termFormat ChineseLanguage FunctionQuantity "函数量") chinese_format.kif 882-882
(termFormat EnglishLanguage FunctionQuantity "function quantity") english_format.kif 569-569
(termFormat FrenchLanguage FunctionQuantity "function de quantit�") french_format.kif 558-558
(termFormat Hindi FunctionQuantity "prakaarya parimaaNa") terms-hindi.txt 88-88
(termFormat ItalianLanguage FunctionQuantity "FunzioneDiQuantit�") terms-it.txt 89-89
(termFormat PortugueseLanguage FunctionQuantity "Funcao de Quantidade") portuguese_format.kif 510-510
(termFormat ar FunctionQuantity "مِقْدَار التَابِع") arabic_format.kif 294-294
(termFormat cb FunctionQuantity "kadaghanang buluhaton") terms-cb.txt 93-93
(termFormat cz FunctionQuantity "function quantity") terms-cz.txt 125-125
(termFormat tg FunctionQuantity "dami ng tungkulin") terms-tg.txt 92-92

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


(domain AccelerationFn 1 FunctionQuantity) Cars.kif 1274-1274
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 482-482
(domain effectiveDose 2 FunctionQuantity) WMD.kif 791-791
(domain engineIdleSpeed 2 FunctionQuantity) Cars.kif 2545-2545
(domain governorSpeed 2 FunctionQuantity) Cars.kif 2862-2862
(domain lethalDose 2 FunctionQuantity) WMD.kif 805-805
(domain precipitationRate 2 FunctionQuantity) Weather.kif 827-827
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 1246-1246
(domain rentalPrice 2 FunctionQuantity) Catalog.kif 438-438
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 1493-1493
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 966-966
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1662-1662
(domain transitwayCapacityRate 3 FunctionQuantity) Transportation.kif 2964-2964
(domain unitPrice 2 FunctionQuantity) Catalog.kif 383-383
(domain yield 2 FunctionQuantity) FinancialOntology.kif 2213-2213
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2087-2087

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


(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 6351-6355


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