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
载波频率
的 1 数量 是
辐射
的
instance
(
domain
carrierFrequency
2
PhysicalQuantity
)
ComputingBrands.kif 1549-1549
载波频率
的 2 数量 是
物理量
的
instance
(
instance
carrierFrequency
BinaryPredicate
)
ComputingBrands.kif 1547-1547
载波频率
是
二元谓语
的
instance
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
如果
辐射
是
辐射电磁
的
instance
和
那个 辐射
载波的频率是
实数
赫兹
和
那个 辐射
的
wavelength
是
另一个 实数
仪表
,
然后
那个 另外 实数
仪表
equal
299792458 和
那个 实数
仪表
(=>
(
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
如果
过程
是 通信透过
Bluetooth 蓝芽网路
的
instance
和
辐射
是
辐射电磁
的
instance
和
那个 辐射
%n是
那个 过程
的
subProcess
和
那个 辐射
载波的频率是
实数
赫兹
的十亿倍 ,
然后
那个 实数
是
greaterThan
2.4 和
那个 实数
是
lessThan
2.485
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