carrierFrequency - Sigma Knowledge base Browser

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 1553-1553
(documentation carrierFrequency ChineseTraditionalLanguage "編碼成頻率調控 (FM) 的載波信號")	ComputingBrands.kif 1552-1552
(documentation carrierFrequency EnglishLanguage "The frequency of the carrier signal encoded as frequency modulation (FM)")	ComputingBrands.kif 1550-1551
(documentation carrierFrequency JapaneseLanguage "周波数変調として符号化された搬送波信号の周波数(FM)")	ComputingBrands.kif 1554-1555
(domain carrierFrequency 1 Radiating)	ComputingBrands.kif 1548-1548	The number 1 argument of carrier frequency is an instance of radiating
(domain carrierFrequency 2 PhysicalQuantity)	ComputingBrands.kif 1549-1549	The number 2 argument of carrier frequency is an instance of physical quantity
(instance carrierFrequency BinaryPredicate)	ComputingBrands.kif 1547-1547	carrier frequency is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage carrierFrequency "%1 载波的频率是 %2 ")	ComputingBrands.kif 1559-1559
(format ChineseTraditionalLanguage carrierFrequency "%1 載波的頻率是 %2 ")	ComputingBrands.kif 1558-1558
(format EnglishLanguage carrierFrequency "the frequency of the carrier of %1 is %2")	ComputingBrands.kif 1557-1557
(format JapaneseLanguage carrierFrequency "%1 の搬送波周波数は %2")	ComputingBrands.kif 1560-1560
(termFormat ChineseLanguage carrierFrequency "载波频率")	ComputingBrands.kif 1564-1564
(termFormat ChineseTraditionalLanguage carrierFrequency "載波頻率")	ComputingBrands.kif 1563-1563
(termFormat EnglishLanguage carrierFrequency "carrier frequency")	ComputingBrands.kif 1562-1562
(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 a radiating is an instance of radiating electromagnetic and the frequency of the carrier of the radiating is a real number hertz(s) and the wavelength of the radiating is another real number meter(s), then equal the other real number meter(s) and 299792458 and the real number 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 a process is an instance of communication over Bluetooth network and a radiating is an instance of radiating electromagnetic and the radiating is a subprocess of the process and the frequency of the carrier of the radiating is a real number 1 billion hertzs(s), then the real number is greater than 2.4 and the real number is less than 2.485

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