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 579-580
(domain wavelength 1 Radiating)	Mid-level-ontology.kif 582-582	The number 1 argument of wavelength is an instance of radiating
(domain wavelength 2 LengthMeasure)	Mid-level-ontology.kif 583-583	The number 2 argument of wavelength is an instance of length measure
(instance wavelength AsymmetricRelation)	Mid-level-ontology.kif 584-584	wavelength is an instance of asymmetric relation
(instance wavelength BinaryPredicate)	Mid-level-ontology.kif 585-585	wavelength is an instance of binary predicate
(instance wavelength SingleValuedRelation)	Mid-level-ontology.kif 581-581	wavelength is an instance of single valued relation

appearance as argument number 2

(format ChineseLanguage wavelength "%1 的 wavelength 是 %2 ")	domainEnglishFormat.kif 4952-4952
(format ChineseTraditionalLanguage wavelength "%1 的 wavelength 是 %2 ")	domainEnglishFormat.kif 4951-4951
(format EnglishLanguage wavelength "the wavelength of %1 is %2")	domainEnglishFormat.kif 4950-4950
(termFormat ChineseLanguage wavelength "波长")	domainEnglishFormat.kif 62589-62589
(termFormat ChineseTraditionalLanguage wavelength "波長")	domainEnglishFormat.kif 62588-62588
(termFormat EnglishLanguage wavelength "wavelength")	domainEnglishFormat.kif 62587-62587

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

If a radiating is an instance of radiating electromagnetic and the frequency of the carrier of the radiating is a real number hertz(s) and the wavelength of the radiating is another real number meter(s),
then the other real number meter(s) is equal to 299792458 and the real number meter(s)

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	If an entity is an instance of blu ray disc and a process is an instance of decoding and the entity is a patient of the process, then there exists an object such that the object is an instance of radiating light and the object is an instrument for the process and the wavelength of the object is 405 nanometer(s)
(=> (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	If an entity is an instance of compact disc and a process is an instance of decoding and the entity is a patient of the process, then there exists an object such that the object is an instance of radiating light and the object is an instrument for the process and the wavelength of the object is 780 nanometer(s)
(=> (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	If an entity is an instance of DVD and a process is an instance of decoding and the entity is a patient of the process, then there exists an object such that the object is an instance of radiating light and the object is an instrument for the process and the wavelength of the object is 650 nanometer(s)
(=> (instance ?X RadiatingXRay) (exists (?M) (and (wavelength ?X (MeasureFn ?M Nanometer)) (greaterThanOrEqualTo ?M 0.01) (lessThan 10.0 ?M))))	Mid-level-ontology.kif 603-610	If a radiating is an instance of X ray radiation, then there exists a real number such that the wavelength of the radiating is the real number nanometer(s) and the real number is greater than or equal to 0.01 and 10.0 is less than the real number

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: