|
|
   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 |
| appearance as argument number 2 |
|
|
| (subclass FrequencyMeasure TimeDependentQuantity) | Merge.kif 6829-6829 | |
| (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 7524-7528 | |
| (=> (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 7043-7045 | |
| (=> (equal ?QUANTITY (MeasureFn ?NUMBER Coulomb)) (instance ?QUANTITY TimeDependentQuantity)) |
Merge.kif 6915-6917 |
|
|
|