| FrequencyMeasure | |
| appearance as argument number 1 |
|
|
| (documentation FrequencyMeasure ChineseLanguage "TimeDependentQuantity 的 subclass， , 它有些实例是用来量度某些 Process 发生的频率。 ") | chinese_format.kif 2524-2525 | |
| (documentation FrequencyMeasure EnglishLanguage "A subclass of TimeDependentQuantity, instances of which are measures of the frequency with which some Process occurs.") | Merge.kif 6831-6833 | |
| (documentation FrequencyMeasure JapaneseLanguage "TimeDependentQuantity の subclass、 そのインスタンスは、いくつかの Process が発生する周波数の尺度である。") | japanese_format.kif 1225-1226 | |
| (subclass FrequencyMeasure TimeDependentQuantity) | Merge.kif 6829-6829 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FrequencyMeasure "frequency measure") | domainEnglishFormat.kif 64920-64920 |
| consequent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfFrequency)) (instance ?QUANT FrequencyMeasure)) |
Merge.kif 6841-6845 |
|
|
|