Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass TimeDependentQuantity UnaryConstantFunctionQuantity) Merge.kif 2230-2230 Time dependent quantity is a subclass of unary constant function quantity
(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 2231-2236 Time dependent quantity is a subclass of unary constant function quantity

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


(subclass FrequencyMeasure TimeDependentQuantity) Merge.kif 6953-6953 Frequency measure is a subclass of time dependent quantity
(termFormat EnglishLanguage TimeDependentQuantity "time dependent quantity") english_format.kif 974-974 Frequency measure is a subclass of time dependent quantity

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


(=>
    (equal ?QUANTITY
        (MeasureFn ?NUMBER Coulomb))
    (instance ?QUANTITY TimeDependentQuantity))		 Merge.kif 7039-7041 If equal X and Y coulomb(s), then X is an instance of time dependent quantity
(=>
    (equal ?QUANTITY
        (MeasureFn ?NUMBER Becquerel))
    (instance ?QUANTITY TimeDependentQuantity))		 Merge.kif 7167-7169 If equal X and Y becquerel(s), then X is an instance of time dependent quantity
(=>
    (and
        (instance ?P Process)
        (measure ?P ?Q))
    (instance ?Q TimeDependentQuantity))		 Merge.kif 7647-7651 If X is an instance of process and the measure of X is Y, then Y is an instance of time dependent quantity
(=>
    (equal ?MEASURE
        (MeasureFn ?NUMBER BitsPerSecond))
    (instance ?MEASURE TimeDependentQuantity))		 QoSontology.kif 237-239 If equal X and Y bits per second(s), then X is an instance of time dependent quantity
(=>
    (equal ?MEASURE
        (MeasureFn ?NUMBER PacketsPerSecond))
    (instance ?MEASURE TimeDependentQuantity))		 QoSontology.kif 245-247 If equal X and Y packets per second(s), then X is an instance of time dependent quantity
(=>
    (equal ?MEASURE
        (MeasureFn ?NUMBER InstructionsPerSecond))
    (instance ?MEASURE TimeDependentQuantity))		 QoSontology.kif 253-255 If equal X and Y instructions per second(s), then X is an instance of time dependent quantity


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners