Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  wavelength

Sigma KEE - wavelength
wavelength

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


(documentation wavelength EnglishLanguage "(wavelength ?RADIATION ?MEASURE) means that the instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE.") Mid-level-ontology.kif 764-765
(domain wavelength 1 Radiating) Mid-level-ontology.kif 767-767
(domain wavelength 2 LengthMeasure) Mid-level-ontology.kif 768-768
(instance wavelength AsymmetricRelation) Mid-level-ontology.kif 769-769
(instance wavelength BinaryPredicate) Mid-level-ontology.kif 770-770
(instance wavelength SingleValuedRelation) Mid-level-ontology.kif 766-766

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


(format EnglishLanguage wavelength "the wavelength of %1 is %2") domainEnglishFormat.kif 1248-1248
(termFormat EnglishLanguage wavelength "wavelength") domainEnglishFormat.kif 10848-10848

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


(=>
    (and
        (instance ?R RadiatingElectromagnetic)
        (carrierFrequency ?R
            (MeasureFn Hertz ?HZ))
        (wavelength ?R
            (MeasureFn Meter ?L)))
    (equal
        (MeasureFn Meter ?L)
        (MeasureFn Meter
            (DivisionFn 299792458 ?HZ))))
ComputingBrands.kif 1462-1469

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 1196-1206
(=>
    (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 1160-1170
(=>
    (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 1261-1271
(=>
    (instance ?X RadiatingXRay)
    (exists (?M)
        (and
            (instance ?M LengthMeasure)
            (wavelength ?X ?M)
            (greaterThanOrEqualTo ?X
                (MeasureFn 0.01 Nanometer))
            (greaterThan
                (MeasureFn 10 Nanometer) ?X))))
Mid-level-ontology.kif 792-801


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners