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 557-558
(domain wavelength 1 Radiating) Mid-level-ontology.kif 560-560
(domain wavelength 2 LengthMeasure) Mid-level-ontology.kif 561-561
(instance wavelength AsymmetricRelation) Mid-level-ontology.kif 562-562
(instance wavelength BinaryPredicate) Mid-level-ontology.kif 563-563
(instance wavelength SingleValuedRelation) Mid-level-ontology.kif 559-559

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 62508-62508
(termFormat ChineseTraditionalLanguage wavelength "波長") domainEnglishFormat.kif 62507-62507
(termFormat EnglishLanguage wavelength "wavelength") domainEnglishFormat.kif 62506-62506

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 1539-1546

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
            (wavelength ?X
                (MeasureFn ?M Nanometer))
            (greaterThanOrEqualTo ?X 0.01)
            (greaterThan 10 ?X))))
Mid-level-ontology.kif 581-588


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