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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeDependentQuantity
TimeDependentQuantity(time dependent quantity)ESR, M.M., MFLOP, MIPS, Nyquist_frequency, Nyquist_rate, THz, accelerando, acceleration, airspeed, allegretto, allegro, allegro_con_spirito, andante, atrioventricular_nodal_rhythm, attrition_rate, beats_per_minute, birth_rate, birthrate, bpm, c, cardiac_output, case_load, centripetal_acceleration, channel_capacity, common_measure, common_time, count_per_minute, counts/minute, crime_rate, data_rate, death_rate, deathrate, dose_rate, double_time, erythrocyte_sedimentation_rate, escape_velocity, fatality_rate, femoral_pulse, fertility, fertility_rate, flow, flow_rate, four-four_time, frequence, frequency, groundspeed, growth_rate, heart_rate, infant_deathrate...

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


(documentation TimeDependentQuantity ChineseLanguage "这是连续时间的 UnaryConstantFunctionQuantity。这个 Class 的所有实例都是由 Function 把时间和另一个 ConstantQuantity 如温度联系来表示的。例如:'在帝国大厦顶的温度‘是一个 TimeDependentQuantity, 因为它的值取决于时间。") chinese_format.kif 1800-1803
(documentation TimeDependentQuantity EnglishLanguage "A UnaryConstantFunctionQuantity of continuous time. All instances of this Class are returned by Functions that map a time quantity into another ConstantQuantity such as temperature. For example, 'the temperature at the top of the Empire State Building' is a TimeDependentQuantity, since its value depends on the time.") Merge.kif 2033-2038
(subclass TimeDependentQuantity UnaryConstantFunctionQuantity) Merge.kif 2032-2032 Time dependent quantity is a subclass of unary constant function quantity

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


(subclass FrequencyMeasure TimeDependentQuantity) Merge.kif 6554-6554 FrequencyMeasure is a subclass of time dependent quantity
(termFormat ChineseLanguage TimeDependentQuantity "时间相关量") chinese_format.kif 884-884
(termFormat EnglishLanguage TimeDependentQuantity "time dependent quantity") english_format.kif 975-975

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


(=>
    (and
        (instance ?P Process)
        (measure ?P ?Q))
    (instance ?Q TimeDependentQuantity))
Merge.kif 7178-7182
(=>
    (equal ?MEASURE
        (MeasureFn ?NUMBER BitsPerSecond))
    (instance ?MEASURE TimeDependentQuantity))
QoSontology.kif 240-242
(=>
    (equal ?MEASURE
        (MeasureFn ?NUMBER InstructionsPerSecond))
    (instance ?MEASURE TimeDependentQuantity))
QoSontology.kif 256-258
(=>
    (equal ?MEASURE
        (MeasureFn ?NUMBER PacketsPerSecond))
    (instance ?MEASURE TimeDependentQuantity))
QoSontology.kif 248-250
(=>
    (equal ?QUANTITY
        (MeasureFn ?NUMBER Becquerel))
    (instance ?QUANTITY TimeDependentQuantity))
Merge.kif 6768-6770
(=>
    (equal ?QUANTITY
        (MeasureFn ?NUMBER Coulomb))
    (instance ?QUANTITY TimeDependentQuantity))
Merge.kif 6640-6642


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