Nanometer |
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 |
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 | |
(=> (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 | |
(=> (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 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Nanometer) (MeasureFn (MultiplicationFn ?NUMBER 0.000000001) Meter))) |
Mid-level-ontology.kif 19341-19347 | |
(=> (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 | |
(=> (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 |