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
Le nombre 1 argument de
carrierFrequency
est une
instance
de
irradier
(
domain
carrierFrequency
2
PhysicalQuantity
)
ComputingBrands.kif 1549-1549
Le nombre 2 argument de
carrierFrequency
est une
instance
de
quantit� physique
(
instance
carrierFrequency
BinaryPredicate
)
ComputingBrands.kif 1547-1547
carrierFrequency
est une
instance
de
pr�dicat binaire
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
Irradier
est une
instance
de
RadiatingElectromagnetic
carrierFrequency
irradier
and
nombre r�el
Hertz
(s)
wavelength
irradier
and
nombre r�el
Meter
(s)
nombre r�el
Meter
(s) est
nombre r�el
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
Processus
est une
instance
de
NetworkCommunicationFn
BluetoothNetwork
irradier
est une
instance
de
RadiatingElectromagnetic
irradier
est un
sous
-processus de
processus
carrierFrequency
irradier
and
nombre r�el
1
billion
Hertz
s (s)
nombre r�el
est
plus
grand
que 2.4
nombre r�el
est
moins
que 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