Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Laser

 Sigma KEE - Laser
Laser(laser)

appearance as argument number 1
-------------------------


(subclass Laser Device) engineering.kif 1122-1122 Laser is a subclass of device
(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 1123-1126 Laser is a subclass of device

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Laser "laser") domainEnglishFormat.kif 65880-65880

antecedent
-------------------------


(=>
    (instance ?L Laser)
    (hasPurpose ?L
        (exists (?R)
            (and
                (instance ?R RadiatingVisibleLight)
                (instrument ?R ?L)))))		 engineering.kif 1128-1134 If X is an instance of laser, then X has the purpose there exists Y such that Y is an instance of radiating visible light and X is an instrument for Y
(=>
    (and
        (instance ?L Laser)
        (instance ?R RadiatingVisibleLight)
        (instrument ?R ?L)
        (patient ?R ?X)
        (instance ?X Region))
    (color ?X Monochromatic))		 engineering.kif 1137-1144 If X is an instance of laser, Y is an instance of radiating visible light, X is an instrument for Y, Z is a patient of Y, and Z is an instance of region, then Z is the color monochromatic
(=>
    (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 1147-1162 If X is an instance of laser, then there exist Y, Z,, , W,, , V,, , U and T such that Y is an instance of radiating visible light and Z is an instance of radiating visible light and X is an instrument for Y and X is an instrument for Z and Y originates at W and Z originates at V and equal W and V and equal Y and Z and the wavelength of Y is U nanometer(s) and the wavelength of Z is T nanometer(s) and the approximate value of U is T


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners