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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 763-764
(domain wavelength 1 Radiating) Mid-level-ontology.kif 766-766 The number 1 argument of wavelength is an instance of radiating
(domain wavelength 2 LengthMeasure) Mid-level-ontology.kif 767-767 The number 2 argument of wavelength is an instance of length measure
(instance wavelength AsymmetricRelation) Mid-level-ontology.kif 768-768 wavelength is an instance of asymmetric relation
(instance wavelength BinaryPredicate) Mid-level-ontology.kif 769-769 wavelength is an instance of binary predicate
(instance wavelength SingleValuedRelation) Mid-level-ontology.kif 765-765 wavelength is an instance of single valued relation

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


(format ChineseLanguage wavelength "%1 的 wavelength 是 %2 ") domainEnglishFormat.kif 4955-4955
(format ChineseTraditionalLanguage wavelength "%1 的 wavelength 是 %2 ") domainEnglishFormat.kif 4954-4954
(format EnglishLanguage wavelength "the wavelength of %1 is %2") domainEnglishFormat.kif 4953-4953
(termFormat ChineseLanguage wavelength "波长") domainEnglishFormat.kif 62485-62485 "波长" is the printable form of wavelength in ChineseLanguage
(termFormat ChineseTraditionalLanguage wavelength "波長") domainEnglishFormat.kif 62484-62484 "波長" is the printable form of wavelength in ChineseTraditionalLanguage
(termFormat EnglishLanguage wavelength "wavelength") domainEnglishFormat.kif 62483-62483 "wavelength" is the printable form of wavelength in english language

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 1548-1555

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


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