Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
carrierFrequency
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
(
domain
carrierFrequency
2
PhysicalQuantity
)
ComputingBrands.kif 1549-1549
(
instance
carrierFrequency
BinaryPredicate
)
ComputingBrands.kif 1547-1547
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
(=>
(
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
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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