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
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
the other real number
meter
(s) is
equal
to 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
hertz
s(s),
then
the real number
is
greater
than 2.4 and
the real number
is
less
than 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