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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeDependentQuantity
TimeDependentQuantity(时间相关量)

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 2121-2126
(documentation TimeDependentQuantity JapaneseLanguage "連続時間の UnaryConstantFunctionQuantity。この Class のすべてのインスタンスは、時間の数量をマップする Function によって返される。 温度などの別の ConstantQuantity。例:「エンパイアステートビルの 最上部の温度」は、 TimeDependentQuantity、その値が時間に依存するためである。") japanese_format.kif 415-418
(subclass TimeDependentQuantity UnaryConstantFunctionQuantity) Merge.kif 2120-2120 时间相关量一元常数函数量subclass

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


(subclass FrequencyMeasure TimeDependentQuantity) Merge.kif 6834-6834 FrequencyMeasure时间相关量subclass
(termFormat ChineseLanguage TimeDependentQuantity "时间相关量") chinese_format.kif 884-884
(termFormat EnglishLanguage TimeDependentQuantity "time dependent quantity") english_format.kif 970-970
(termFormat FrenchLanguage TimeDependentQuantity "quantit� d�pendant du temps ") french_format.kif 560-560
(termFormat Hindi TimeDependentQuantity "samaya aadhaarita parimaaNa") terms-hindi.txt 90-90
(termFormat ItalianLanguage TimeDependentQuantity "Quantit�DipendenteDalTempo") terms-it.txt 93-93
(termFormat JapaneseLanguage TimeDependentQuantity "時間依存量") japanese_format.kif 2245-2245
(termFormat PortugueseLanguage TimeDependentQuantity "Quantidade Dependente do Tempo ") portuguese_format.kif 512-512
(termFormat cz TimeDependentQuantity "time dependent quantity") terms-cz.txt 127-127
(termFormat ro TimeDependentQuantity "cantitate dependentã de timp") relations-ro.kif 581-581
(termFormat tg TimeDependentQuantity "umaasa sa dami ng panahon") terms-tg.txt 94-94

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


(=>
    (and
        (instance ?P Process)
        (measure ?P ?Q))
    (instance ?Q TimeDependentQuantity))
Merge.kif 7510-7514
(=>
    (equal ?MEASURE
        (MeasureFn ?NUMBER BitsPerSecond))
    (instance ?MEASURE TimeDependentQuantity))
QoSontology.kif 242-244
(=>
    (equal ?MEASURE
        (MeasureFn ?NUMBER InstructionsPerSecond))
    (instance ?MEASURE TimeDependentQuantity))
QoSontology.kif 258-260
(=>
    (equal ?MEASURE
        (MeasureFn ?NUMBER PacketsPerSecond))
    (instance ?MEASURE TimeDependentQuantity))
QoSontology.kif 250-252
(=>
    (equal ?QUANTITY
        (MeasureFn ?NUMBER Becquerel))
    (instance ?QUANTITY TimeDependentQuantity))
Merge.kif 7048-7050
(=>
    (equal ?QUANTITY
        (MeasureFn ?NUMBER Coulomb))
    (instance ?QUANTITY TimeDependentQuantity))
Merge.kif 6920-6922


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