| 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 2034-2039 | |
| (subclass TimeDependentQuantity UnaryConstantFunctionQuantity) | Merge.kif 2033-2033 | Time dependent quantity is a subclass of unary constant function quantity |
| appearance as argument number 2 |
|
|
| (subclass FrequencyMeasure TimeDependentQuantity) | Merge.kif 6547-6547 | 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 |
|
|
|
|
|