Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - carrierFrequency
carrierFrequency

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