wavelength - Sigma Knowledge base Browser

antecedent

(=>
    (and
        (instance ?R RadiatingElectromagnetic)
        (carrierFrequency ?R
            (MeasureFn ?HZ Hertz))
        (wavelength ?R
            (MeasureFn ?L Meter)))
    (equal
        (MeasureFn ?L Meter)
        (MeasureFn
            (DivisionFn 299792458 ?HZ) Meter)))

If X is an instance of radiating electromagnetic, the frequency of the carrier of X is Y hertz(s), and the wavelength of X is Z meter(s), then equal Z meter(s) and 299792458 and Y meter(s)

consequent

(=> (instance ?X RadiatingXRay) (exists (?M) (and (wavelength ?X (MeasureFn ?M Nanometer)) (greaterThanOrEqualTo ?M 0.01) (lessThan 10.0 ?M))))	Mid-level-ontology.kif 593-600	If X is an instance of X ray radiation, then there exists Y such that the wavelength of X is Y nanometer(s) and Y is greater than or equal to 0.01 and 10.0 is less than Y
(=> (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 1017-1032	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

(documentation wavelength EnglishLanguage "(wavelength ?RADIATION ?MEASURE) means that the instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE.")	Mid-level-ontology.kif 569-570
(instance wavelength SingleValuedRelation)	Mid-level-ontology.kif 571-571	wavelength is an instance of single valued relation
(domain wavelength 1 Radiating)	Mid-level-ontology.kif 572-572	The number 1 argument of wavelength is an instance of radiating
(domain wavelength 2 LengthMeasure)	Mid-level-ontology.kif 573-573	The number 2 argument of wavelength is an instance of length measure
(instance wavelength AsymmetricRelation)	Mid-level-ontology.kif 574-574	wavelength is an instance of asymmetric relation
(instance wavelength BinaryPredicate)	Mid-level-ontology.kif 575-575	wavelength is an instance of binary predicate

(format EnglishLanguage wavelength "the wavelength of %1 is %2")	domainEnglishFormat.kif 4954-4954
(format ChineseTraditionalLanguage wavelength "%1 的 wavelength 是 %2 ")	domainEnglishFormat.kif 4955-4955
(format ChineseLanguage wavelength "%1 的 wavelength 是 %2 ")	domainEnglishFormat.kif 4956-4956
(termFormat EnglishLanguage wavelength "wavelength")	domainEnglishFormat.kif 62542-62542
(termFormat ChineseTraditionalLanguage wavelength "波長")	domainEnglishFormat.kif 62543-62543
(termFormat ChineseLanguage wavelength "波长")	domainEnglishFormat.kif 62544-62544