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

(documentation Nanometer EnglishLanguage "Submultiple of Meter. Symbol: nm. It is a unit of length in the metric system, equal to one billionth of a metre.")	Mid-level-ontology.kif 19337-19338
(instance Nanometer UnitOfLength)	Mid-level-ontology.kif 19339-19339	Nanometer is an instance of unit of length

appearance as argument number 2

(termFormat EnglishLanguage Nanometer "nanometer")

domainEnglishFormat.kif 65270-65270

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	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)
(=> (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	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)
(=> (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	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)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Nanometer) (MeasureFn (MultiplicationFn ?NUMBER 0.000000001) Meter)))	Mid-level-ontology.kif 19341-19347	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)
(=> (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	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
(=> (instance ?Z Colloid) (exists (?P ?S) (and (part ?P ?Z) (attribute ?P Insoluble) (approximateDiameter ?P (MeasureFn ?S Nanometer)) (greaterThan 977.0 ?S) (greaterThan ?S 0.95))))	Mid-level-ontology.kif 21817-21826	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