Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| carrierFrequency |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (format EnglishLanguage carrierFrequency "the frequency of the carrier of %1 is %2") | ComputingBrands.kif 1557-1557 | |
| (format ChineseTraditionalLanguage carrierFrequency "%1 載波的頻率是 %2 ") | ComputingBrands.kif 1558-1558 | |
| (format ChineseLanguage carrierFrequency "%1 载波的频率是 %2 ") | ComputingBrands.kif 1559-1559 | |
| (format JapaneseLanguage carrierFrequency "%1 の搬送波周波数は %2") | ComputingBrands.kif 1560-1560 | |
| (termFormat EnglishLanguage carrierFrequency "carrier frequency") | ComputingBrands.kif 1562-1562 | |
| (termFormat ChineseTraditionalLanguage carrierFrequency "載波頻率") | ComputingBrands.kif 1563-1563 | |
| (termFormat ChineseLanguage carrierFrequency "载波频率") | ComputingBrands.kif 1564-1564 | |
| (termFormat JapaneseLanguage carrierFrequency "搬送波周波数") | ComputingBrands.kif 1565-1565 |
| 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 1570-1577 | If X is an instance of radiating electromagnetic, the frequency of the carrier of X is Y hertz(s), and the wavelength of X is Z meter(s), then equal Z meter(s) and 299792458 and Y meter(s) |
| (=> (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 1579-1588 | If X is an instance of communication over Bluetooth network, Y is an instance of radiating electromagnetic, Y is a subprocess of X, and the frequency of the carrier of Y is Z 1 billion hertzs(s), then Z is greater than 2.4 and Z is less than 2.485 |
|