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
O argumento numero 1 de
wavelength
e' uma
instancia
de
Irradiar
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 590-590
O argumento numero 2 de
wavelength
e' uma
instancia
de
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 591-591
wavelength
e' uma
instancia
de
Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 592-592
wavelength
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 588-588
wavelength
e' uma
instancia
de
Relacao com Valor Unico
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
Irradiar
e' uma
instancia
de
RadiatingElectromagnetic
carrierFrequency
Irradiar
and
Numero Real
Hertz
(s)
wavelength
Irradiar
and
Numero Real
Meter
(s)
Numero Real
Meter
(s) e'
igual
a 299792458 +
Numero Real
Meter
(s)
consequent
No TPTP formula. May not be expressible in strict first order.
Media.kif 1192-1202
Entidade
e' uma
instancia
de
BluRayDisc
Processo
e' uma
instancia
de
Decodificar
Entidade
e' um
patient
de
Processo
Objeto
Objeto
e' uma
instancia
de
Luz Irradiante
Objeto
e' um
instrumento
para
Processo
wavelength
Objeto
and 405
Nanometer
(s)
No TPTP formula. May not be expressible in strict first order.
Media.kif 1156-1166
Entidade
e' uma
instancia
de
CompactDisc
Processo
e' uma
instancia
de
Decodificar
Entidade
e' um
patient
de
Processo
Objeto
Objeto
e' uma
instancia
de
Luz Irradiante
Objeto
e' um
instrumento
para
Processo
wavelength
Objeto
and 780
Nanometer
(s)
No TPTP formula. May not be expressible in strict first order.
Media.kif 1257-1267
Entidade
e' uma
instancia
de
DVD
Processo
e' uma
instancia
de
Decodificar
Entidade
e' um
patient
de
Processo
Objeto
Objeto
e' uma
instancia
de
Luz Irradiante
Objeto
e' um
instrumento
para
Processo
wavelength
Objeto
and 650
Nanometer
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 610-617
Irradiar
e' uma
instancia
de
RadiatingXRay
Numero Real
wavelength
Irradiar
and
Numero Real
Nanometer
(s)
Numero Real
e'
maior
ou igual a 0.01 10.0 e'
menos
que
Numero Real
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