| appearance as argument number 1 |
|
| (documentation Laser EnglishLanguage "A Laser is a Device that emits light through a process of optical amplification based on the stimulated emission of electromagnetic radiation. It differs from other light sources in that it emits light that is coherent. [Wikipedia]") | engineering.kif 1036-1039 | |
| (subclass Laser Device) | engineering.kif 1035-1035 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Laser "laser") | domainEnglishFormat.kif 65904-65904 |
| antecedent |
|
|
| (=> (and (instance ?L Laser) (instance ?R RadiatingVisibleLight) (instrument ?R ?L) (patient ?R ?X) (instance ?X Region)) (color ?X Monochromatic)) |
engineering.kif 1050-1057 | |
| (=> (instance ?L Laser) (exists (?X ?Y ?O1 ?O2 ?X1 ?Y1) (and (instance ?X RadiatingVisibleLight) (instance ?Y RadiatingVisibleLight) (instrument ?X ?L) (instrument ?Y ?L) (origin ?X ?O1) (origin ?Y ?O2) (equal ?O1 ?O2) (not (equal ?X ?Y)) (wavelength ?X (MeasureFn ?X1 Nanometer)) (wavelength ?Y (MeasureFn ?Y1 Nanometer)) (approximateValue ?X1 ?Y1)))) |
engineering.kif 1060-1075 | |
| (=> (instance ?L Laser) (hasPurpose ?L (exists (?R) (and (instance ?R RadiatingVisibleLight) (instrument ?R ?L))))) |
engineering.kif 1041-1047 |
|
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