Nanometer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Nanometer

Nanometer(nanometer)

micromillimeter, micromillimetre, millimicron, nanometer, nanometre, nm

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19079-19080
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19081-19081	Nanometer is an instance of unit of length

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65222-65222

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 19083-19089	If a real number is equal to 1.0 and the real number, then the real number nanometer(s) is equal to the real number and 0.000000001 meter(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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21559-21568	If an object is an instance of colloid, then there exist a self connected object and a real number such that the self connected object is a part of the object and insoluble is an attribute of the self connected object and the approximate diameter of the self connected object is the real number nanometer(s) and 977.0 is greater than the real number and the real number is greater than 0.95

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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