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 579-580
(
domain
wavelength
1
Radiating
)
Mid-level-ontology.kif 582-582
Il numero 1 argomenti di
wavelength
è un
istanza
di
Radiazione
(
domain
wavelength
2
LengthMeasure
)
Mid-level-ontology.kif 583-583
Il numero 2 argomenti di
wavelength
è un
istanza
di
MisuraDiLunghezza
(
instance
wavelength
AsymmetricRelation
)
Mid-level-ontology.kif 584-584
wavelength
è un'
istanza
di
RelazioneAsimmetrica
(
instance
wavelength
BinaryPredicate
)
Mid-level-ontology.kif 585-585
wavelength
è un'
istanza
di
PredicatoBinario
(
instance
wavelength
SingleValuedRelation
)
Mid-level-ontology.kif 581-581
wavelength
è un'
istanza
di
RelazioneMonovalente
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 62543-62543
(
termFormat
ChineseTraditionalLanguage
wavelength
"波長")
domainEnglishFormat.kif 62542-62542
(
termFormat
EnglishLanguage
wavelength
"wavelength")
domainEnglishFormat.kif 62541-62541
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
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
Entit�
è un'
istanza
di
BluRayDisc
Processo
è un'
istanza
di
Decodificare
Entit�
è un
paziente
di
Processo
Oggetto
Oggetto
è un'
istanza
di
RadiazioneLuminosa
Oggetto
è uno
strumento
per
Processo
wavelength
Oggetto
and 405
Nanometer
(s
(=>
(
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
Entit�
è un'
istanza
di
CompactDisc
Processo
è un'
istanza
di
Decodificare
Entit�
è un
paziente
di
Processo
Oggetto
Oggetto
è un'
istanza
di
RadiazioneLuminosa
Oggetto
è uno
strumento
per
Processo
wavelength
Oggetto
and 780
Nanometer
(s
(=>
(
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
Entit�
è un'
istanza
di
DVD
Processo
è un'
istanza
di
Decodificare
Entit�
è un
paziente
di
Processo
Oggetto
Oggetto
è un'
istanza
di
RadiazioneLuminosa
Oggetto
è uno
strumento
per
Processo
wavelength
Oggetto
and 650
Nanometer
(s
(=>
(
instance
?X
RadiatingXRay
)
(
exists
(?M)
(
and
(
wavelength
?X
(
MeasureFn
?M
Nanometer
))
(
greaterThanOrEqualTo
?M 0.01)
(
lessThan
10.0 ?M))))
Mid-level-ontology.kif 603-610
Radiazione
è un'
istanza
di
RadiatingXRay
NumeroReale
wavelength
Radiazione
and
NumeroReale
Nanometer
(s
NumeroReale
è
pi
ù grande di o uguale a 0.01 10.0 è
meno
di
NumeroReale
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