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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 586-587
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 589-589
The number 1 argument of
wavelength
is an
instance
of
radiating
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 590-590
The number 2 argument of
wavelength
is an
instance
of
length measure
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 591-591
wavelength
is an
instance
of
asymmetric relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 592-592
wavelength
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 588-588
wavelength
is an
instance
of
single valued relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4950-4950
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4949-4949
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4948-4948
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62541-62541
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62540-62540
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62539-62539
antecedent
No TPTP formula. May not be expressible in strict first order.
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)
consequent
No TPTP formula. May not be expressible in strict first order.
Media.kif 1192-1202
If
an entity
is an
instance
of
blu ray disc
and
a process
is an
instance
of
decoding
and
the entity
is a
patient
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
radiating light
and
the object
is an
instrument
for
the process
and the
wavelength
of
the object
is 405
nanometer
(s)
No TPTP formula. May not be expressible in strict first order.
Media.kif 1156-1166
If
an entity
is an
instance
of
compact disc
and
a process
is an
instance
of
decoding
and
the entity
is a
patient
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
radiating light
and
the object
is an
instrument
for
the process
and the
wavelength
of
the object
is 780
nanometer
(s)
No TPTP formula. May not be expressible in strict first order.
Media.kif 1257-1267
If
an entity
is an
instance
of
DVD
and
a process
is an
instance
of
decoding
and
the entity
is a
patient
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
radiating light
and
the object
is an
instrument
for
the process
and the
wavelength
of
the object
is 650
nanometer
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 610-617
If
a radiating
is an
instance
of
X ray radiation
,
then there exists
a real number
such that the
wavelength
of
the radiating
is
the real number
nanometer
(s) and
the real number
is
greater
than or equal to 0.01 and 10.0 is
less
than
the real number
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