| FrequencyMeasure(frequency measure) | | EHF, ELF, HF, LF, MF, SHF, UHF, VHF, VLF, audio, audio_frequency, beat, extremely_high_frequency, extremely_low_frequency, high_frequency, infrared, infrared_frequency, low_frequency, medium_frequency, radio_frequency, station, superhigh_frequency, ultrahigh_frequency, very_high_frequency, very_low_frequency |
| 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 6837-6839 | |
| (documentation FrequencyMeasure JapaneseLanguage "TimeDependentQuantity の subclass、 そのインスタンスは、いくつかの Process が発生する周波数の尺度である。") | japanese_format.kif 1225-1226 | |
| (subclass FrequencyMeasure TimeDependentQuantity) | Merge.kif 6835-6835 | Frequency measure is a subclass of time dependent quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FrequencyMeasure "frequency measure") | domainEnglishFormat.kif 64943-64943 |
| consequent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfFrequency)) (instance ?QUANT FrequencyMeasure)) |
Merge.kif 6847-6851 |
|
|
|
|