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


s__documentation(s__TimeDependentQuantity,s__ChineseLanguage,'"这是连续时间的 UnaryConstantFunctionQuantity。这个 Class 的所有实例都是由 Function 把时间和另一个 ConstantQuantity 如温度联系来表示的。例如:在帝国大厦顶的温度‘是一个 TimeDependentQuantity, 因为它的值取决于时间。"')

chinese_format.kif 1800-1803
s__documentation(s__TimeDependentQuantity,s__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 2068-2073
s__instance(s__TimeDependentQuantity,s__Class)

s__instance(s__UnaryConstantFunctionQuantity,s__Class)

s__subclass(s__TimeDependentQuantity,s__UnaryConstantFunctionQuantity)

Merge.kif 2067-2067 Time dependent quantity is a subclass of unary constant function quantity

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


s__instance(s__TimeDependentQuantity,s__Class)

s__instance(s__FrequencyMeasure,s__Class)

s__subclass(s__FrequencyMeasure,s__TimeDependentQuantity)

Merge.kif 6626-6626 FrequencyMeasure is a subclass of time dependent quantity
s__termFormat(s__ChineseLanguage,s__TimeDependentQuantity,'"时间相关量"')

chinese_format.kif 884-884
s__termFormat(s__EnglishLanguage,s__TimeDependentQuantity,'"time dependent quantity"')

english_format.kif 970-970

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


( ! [V__P,V__Q] :
   ((s__instance(V__Q,s__PhysicalQuantity) =>
       (((s__instance(V__P,s__Process) &
             s__measure(V__P,V__Q))
         =>
         (s__instance(V__Q,s__TimeDependentQuantity)))))
   )
)

Merge.kif 7298-7302
( ! [V__MEASURE,V__NUMBER] :
   (((s__instance(V__MEASURE,s__PhysicalQuantity) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       (((V__MEASURE = s__MeasureFn(V__NUMBER,s__BitsPerSecond))
           =>
           (s__instance(V__MEASURE,s__TimeDependentQuantity)))))
     )
   )

QoSontology.kif 240-242
( ! [V__MEASURE,V__NUMBER] :
   (((s__instance(V__MEASURE,s__PhysicalQuantity) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       (((V__MEASURE = s__MeasureFn(V__NUMBER,s__InstructionsPerSecond))
           =>
           (s__instance(V__MEASURE,s__TimeDependentQuantity)))))
     )
   )

QoSontology.kif 256-258
( ! [V__MEASURE,V__NUMBER] :
   (((s__instance(V__MEASURE,s__PhysicalQuantity) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       (((V__MEASURE = s__MeasureFn(V__NUMBER,s__PacketsPerSecond))
           =>
           (s__instance(V__MEASURE,s__TimeDependentQuantity)))))
     )
   )

QoSontology.kif 248-250
( ! [V__NUMBER,V__QUANTITY] :
   (((s__instance(V__NUMBER,s__RealNumber) &
         s__instance(V__QUANTITY,s__PhysicalQuantity))
       =>
       (((V__QUANTITY = s__MeasureFn(V__NUMBER,s__Becquerel))
           =>
           (s__instance(V__QUANTITY,s__TimeDependentQuantity)))))
     )
   )

Merge.kif 6840-6842
( ! [V__NUMBER,V__QUANTITY] :
   (((s__instance(V__NUMBER,s__RealNumber) &
         s__instance(V__QUANTITY,s__PhysicalQuantity))
       =>
       (((V__QUANTITY = s__MeasureFn(V__NUMBER,s__Coulomb))
           =>
           (s__instance(V__QUANTITY,s__TimeDependentQuantity)))))
     )
   )

Merge.kif 6712-6714


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