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 579-580
(domain wavelength 1 Radiating) Mid-level-ontology.kif 582-582 Le nombre 1 argument de wavelength est une instance de irradier
(domain wavelength 2 LengthMeasure) Mid-level-ontology.kif 583-583 Le nombre 2 argument de wavelength est une instance de mesure de longueur
(instance wavelength AsymmetricRelation) Mid-level-ontology.kif 584-584 wavelength est une instance de relation asym�trique
(instance wavelength BinaryPredicate) Mid-level-ontology.kif 585-585 wavelength est une instance de pr�dicat binaire
(instance wavelength SingleValuedRelation) Mid-level-ontology.kif 581-581 wavelength est une instance de relation simple

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


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

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

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 1194-1204
(=>
    (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
(=>
    (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 1259-1269
(=>
    (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 1060-1075
(=>
    (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


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