TreeView Knowledge Base Browser - Nanometer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - 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 18430-18431
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18432-18432	Nanometer is an instance of UnitOfLength

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1192-1202	If an entity is an instance of BluRayDisc 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 CompactDisc 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 18434-18440	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 599-606	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.	Geography.kif 7099-7108	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 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