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 586-587
(domain wavelength 1 Radiating) Mid-level-ontology.kif 589-589 wavelength の数値 1 引数は 放射instance では %n
(domain wavelength 2 LengthMeasure) Mid-level-ontology.kif 590-590 wavelength の数値 2 引数は 長さ測定instance では %n
(instance wavelength AsymmetricRelation) Mid-level-ontology.kif 591-591 wavelength非対称関係instance では %n
(instance wavelength BinaryPredicate) Mid-level-ontology.kif 592-592 wavelength2進述語instance では %n
(instance wavelength SingleValuedRelation) Mid-level-ontology.kif 588-588 wavelength一価関係instance では %n

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


(format ChineseLanguage wavelength "%1 的 wavelength 是 %2 ") domainEnglishFormat.kif 4950-4950
(format ChineseTraditionalLanguage wavelength "%1 的 wavelength 是 %2 ") domainEnglishFormat.kif 4949-4949
(format EnglishLanguage wavelength "the wavelength of %1 is %2") domainEnglishFormat.kif 4948-4948
(termFormat ChineseLanguage wavelength "波长") domainEnglishFormat.kif 62541-62541
(termFormat ChineseTraditionalLanguage wavelength "波長") domainEnglishFormat.kif 62540-62540
(termFormat EnglishLanguage wavelength "wavelength") domainEnglishFormat.kif 62539-62539

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


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

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
(=>
    (instance ?X RadiatingXRay)
    (exists (?M)
        (and
            (wavelength ?X
                (MeasureFn ?M Nanometer))
            (greaterThanOrEqualTo ?M 0.01)
            (lessThan 10.0 ?M))))
Mid-level-ontology.kif 610-617


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 is open source software produced by Articulate Software and its partners