| Hertz(赫兹) | |
| appearance as argument number 1 |
|
|
| (documentation Hertz ChineseLanguage "这是国际单位制量度频率的单位，符号：Hz。它是每秒週期運動的次 數。 Hertz = s^(-1)。注： Hertz 并没有转换函数。") | chinese_format.kif 2528-2529 | |
| (documentation Hertz EnglishLanguage "SI frequency measure. Symbol: Hz. It is the number of cycles per second. Hertz = s^(-1). Note that Hertz does not have a conversion function.") | Merge.kif 6759-6761 | |
| (instance Hertz SystemeInternationalUnit) | Merge.kif 6757-6757 | 赫兹 是 国际单位制 的 instance |
| (instance Hertz UnitOfFrequency) | Merge.kif 6756-6756 | 赫兹 是 UnitOfFrequency 的 instance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Hertz "赫兹") | domainEnglishFormat.kif 28032-28032 | |
| (termFormat ChineseTraditionalLanguage Hertz "赫茲") | domainEnglishFormat.kif 28031-28031 | |
| (termFormat EnglishLanguage Hertz "hertz") | domainEnglishFormat.kif 28030-28030 |
| antecedent |
|
|
| (=> (and (instance ?R RadiatingElectromagnetic) (carrierFrequency ?R (MeasureFn ?HZ Hertz)) (wavelength ?R (MeasureFn ?L Meter))) (equal (MeasureFn ?L Meter) (MeasureFn (DivisionFn 299792458 ?HZ) Meter))) |
ComputingBrands.kif 1538-1545 | |
| (=> (and (instance ?WN (NetworkCommunicationFn BluetoothNetwork)) (instance ?R RadiatingElectromagnetic) (subProcess ?R ?WN) (carrierFrequency ?R (MeasureFn ?W (GigaFn Hertz)))) (and (greaterThan ?W 2.4) (lessThan ?W 2.485))) |
ComputingBrands.kif 1547-1556 |
|
|
|