| appearance as argument number 1 |
|
| (documentation carrierFrequency ChineseLanguage "编码成频率调控 (FM) 的载波信号") | ComputingBrands.kif 1521-1521 | |
| (documentation carrierFrequency ChineseTraditionalLanguage "編碼成頻率調控 (FM) 的載波信號") | ComputingBrands.kif 1520-1520 | |
| (documentation carrierFrequency EnglishLanguage "The frequency of the carrier signal encoded as frequency modulation (FM)") | ComputingBrands.kif 1518-1519 | |
| (documentation carrierFrequency JapaneseLanguage "周波数変調として符号化された搬送波信号の周波 数(FM)") | ComputingBrands.kif 1522-1523 | |
| (domain carrierFrequency 1 Radiating) | ComputingBrands.kif 1516-1516 | 载波频率 的 1 数量 是 辐射 的 instance |
| (domain carrierFrequency 2 PhysicalQuantity) | ComputingBrands.kif 1517-1517 | 载波频率 的 2 数量 是 物理量 的 instance |
| (instance carrierFrequency BinaryPredicate) | ComputingBrands.kif 1515-1515 | 载波频率 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage carrierFrequency "%1 载波的频率是 %2 ") | ComputingBrands.kif 1527-1527 | |
| (format ChineseTraditionalLanguage carrierFrequency "%1 載波的頻率是 %2 ") | ComputingBrands.kif 1526-1526 | |
| (format EnglishLanguage carrierFrequency "the frequency of the carrier of %1 is %2") | ComputingBrands.kif 1525-1525 | |
| (format JapaneseLanguage carrierFrequency "%1 の搬送波周波数は %2") | ComputingBrands.kif 1528-1528 | |
| (termFormat ChineseLanguage carrierFrequency "载波频率") | ComputingBrands.kif 1532-1532 | |
| (termFormat ChineseTraditionalLanguage carrierFrequency "載波頻率") | ComputingBrands.kif 1531-1531 | |
| (termFormat EnglishLanguage carrierFrequency "carrier frequency") | ComputingBrands.kif 1530-1530 | |
| (termFormat JapaneseLanguage carrierFrequency "搬送波周波数") | ComputingBrands.kif 1533-1533 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners