wavelength - Sigma Knowledge base Browser

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 763-764
(domain wavelength 1 Radiating)	Mid-level-ontology.kif 766-766
(domain wavelength 2 LengthMeasure)	Mid-level-ontology.kif 767-767
(instance wavelength AsymmetricRelation)	Mid-level-ontology.kif 768-768
(instance wavelength BinaryPredicate)	Mid-level-ontology.kif 769-769
(instance wavelength SingleValuedRelation)	Mid-level-ontology.kif 765-765

appearance as argument number 2

(format ChineseLanguage wavelength "%1 的 wavelength 是 %2 ")	domainEnglishFormat.kif 4959-4959
(format ChineseTraditionalLanguage wavelength "%1 的 wavelength 是 %2 ")	domainEnglishFormat.kif 4958-4958
(format EnglishLanguage wavelength "the wavelength of %1 is %2")	domainEnglishFormat.kif 4957-4957
(termFormat ChineseLanguage wavelength "波长")	domainEnglishFormat.kif 62525-62525
(termFormat ChineseTraditionalLanguage wavelength "波長")	domainEnglishFormat.kif 62524-62524
(termFormat EnglishLanguage wavelength "wavelength")	domainEnglishFormat.kif 62523-62523

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 1549-1556

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 791-800