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
Il numero 1 argomenti di
carrierFrequency
è un
istanza
di
Radiazione
(
domain
carrierFrequency
2
PhysicalQuantity
)
ComputingBrands.kif 1549-1549
Il numero 2 argomenti di
carrierFrequency
è un
istanza
di
Quantit�Fisica
(
instance
carrierFrequency
BinaryPredicate
)
ComputingBrands.kif 1547-1547
carrierFrequency
è un'
istanza
di
PredicatoBinario
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
Radiazione
è un'
istanza
di
RadiatingElectromagnetic
carrierFrequency
Radiazione
and
NumeroReale
Hertz
(s
wavelength
Radiazione
and
NumeroReale
Meter
(s
NumeroReale
Meter
(s is
uguale
a 299792458 +
NumeroReale
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
Processo
è un'
istanza
di
NetworkCommunicationFn
BluetoothNetwork
Radiazione
è un'
istanza
di
RadiatingElectromagnetic
Radiazione
è un
sottoprocesso
di
Processo
carrierFrequency
Radiazione
and
NumeroReale
1
miliardo
Hertz
s (s
NumeroReale
è
pi
ù grande di 2.4
NumeroReale
è
meno
di2.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