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
wavelength
Sigma KEE - wavelength
wavelength
appearance as argument number 1
(
documentation
wavelength
EnglishLanguage
"(wavelength ?RADIATION ?MEASURE) means that the instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE.")
Mid-level-ontology.kif 586-587
(
domain
wavelength
1
Radiating
)
Mid-level-ontology.kif 589-589
域
波長
, 1 and
Radiating
(
domain
wavelength
2
LengthMeasure
)
Mid-level-ontology.kif 590-590
域
波長
, 2 and
LengthMeasure
(
instance
wavelength
AsymmetricRelation
)
Mid-level-ontology.kif 591-591
例
波長
and
AsymmetricRelation
(
instance
wavelength
BinaryPredicate
)
Mid-level-ontology.kif 592-592
例
波長
and
BinaryPredicate
(
instance
wavelength
SingleValuedRelation
)
Mid-level-ontology.kif 588-588
例
波長
and
SingleValuedRelation
appearance as argument number 2
(
format
ChineseLanguage
wavelength
"%1 的
wavelength
是 %2 ")
domainEnglishFormat.kif 4950-4950
(
format
ChineseTraditionalLanguage
wavelength
"%1 的
wavelength
是 %2 ")
domainEnglishFormat.kif 4949-4949
(
format
EnglishLanguage
wavelength
"the
wavelength
of %1 is %2")
domainEnglishFormat.kif 4948-4948
(
termFormat
ChineseLanguage
wavelength
"波长")
domainEnglishFormat.kif 62541-62541
(
termFormat
ChineseTraditionalLanguage
wavelength
"波長")
domainEnglishFormat.kif 62540-62540
(
termFormat
EnglishLanguage
wavelength
"wavelength")
domainEnglishFormat.kif 62539-62539
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
例
Radiating
and
輻射電磁
Radiating
載波的頻率是
測量
RealNumber
and
赫茲
Radiating
的
wavelength
是
測量
RealNumber
and
儀表
等於
測量
RealNumber
and
儀表
and
測量
部
299792458 and
RealNumber
and
儀表
consequent
(=>
(
and
(
instance
?X
BluRayDisc
)
(
instance
?READ
Decoding
)
(
patient
?READ ?X))
(
exists
(?LASER)
(
and
(
instance
?LASER
RadiatingLight
)
(
instrument
?READ ?LASER)
(
wavelength
?LASER
(
MeasureFn
405
Nanometer
)))))
Media.kif 1192-1202
例
Entity
and
BluRayDisc
例
Process
and
Decoding
患者
Process
and
Entity
Object
例
Object
and
RadiatingLight
儀器
Process
and
Object
Object
的
wavelength
是
測量
405 and
Nanometer
(=>
(
and
(
instance
?X
CompactDisc
)
(
instance
?READ
Decoding
)
(
patient
?READ ?X))
(
exists
(?LASER)
(
and
(
instance
?LASER
RadiatingLight
)
(
instrument
?READ ?LASER)
(
wavelength
?LASER
(
MeasureFn
780
Nanometer
)))))
Media.kif 1156-1166
例
Entity
and
CompactDisc
例
Process
and
Decoding
患者
Process
and
Entity
Object
例
Object
and
RadiatingLight
儀器
Process
and
Object
Object
的
wavelength
是
測量
780 and
Nanometer
(=>
(
and
(
instance
?X
DVD
)
(
instance
?READ
Decoding
)
(
patient
?READ ?X))
(
exists
(?LASER)
(
and
(
instance
?LASER
RadiatingLight
)
(
instrument
?READ ?LASER)
(
wavelength
?LASER
(
MeasureFn
650
Nanometer
)))))
Media.kif 1257-1267
例
Entity
and
DVD
例
Process
and
Decoding
患者
Process
and
Entity
Object
例
Object
and
RadiatingLight
儀器
Process
and
Object
Object
的
wavelength
是
測量
650 and
Nanometer
(=>
(
instance
?X
RadiatingXRay
)
(
exists
(?M)
(
and
(
wavelength
?X
(
MeasureFn
?M
Nanometer
))
(
greaterThanOrEqualTo
?M 0.01)
(
lessThan
10.0 ?M))))
Mid-level-ontology.kif 610-617
例
Radiating
and
X射線輻射
RealNumber
Radiating
的
wavelength
是
測量
RealNumber
and
Nanometer
大於或等於
RealNumber
and 0.01
少於
10.0 and
RealNumber
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