Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - refractiveIndex
refractiveIndex

appearance as argument number 1
-------------------------


(instance refractiveIndex BinaryPredicate) Transportation.kif 5575-5575 refractive index is an instance of binary predicate
(documentation refractiveIndex EnglishLanguage "(refractiveIndex ?S ?N) the refractive index of the substance ?S is ?N. In optics, the refractive index (also called refraction index or index of refraction), often denoted n, is the ratio of the speed of light in vacuum (c) to the speed of light in a given optical medium (v), n=c/ v. The refractive index determines how much the path of light is bent, or refracted, when entering a material. It can be seen as the factor by which the speed and the wavelength of the radiation are reduced with respect to their vacuum values: the speed of light in a medium is v = c/ n, and similarly the wavelength in that medium is λ = λ0/ n, where λ0 is the wavelength of that light in vacuum. This implies that vacuum has a refractive index of 1, and assumes that the frequency (f = v/ λ) of the wave is not affected by the refractive index.[Wikipedia]") Transportation.kif 5576-5584 refractive index is an instance of binary predicate
(domainSubclass refractiveIndex 1 Substance) Transportation.kif 5585-5585 The number 1 argument of refractive index is a subclass of substance
(domain refractiveIndex 2 RealNumber) Transportation.kif 5586-5586 The number 2 argument of refractive index is an instance of real number

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


(format EnglishLanguage refractiveIndex "the RefractiveIndexFn of %1 is %2") Transportation.kif 5587-5587
(termFormat EnglishLanguage refractiveIndex "refractive index") Transportation.kif 5588-5588

antecedent
-------------------------


(=>
    (holdsDuring ?T
        (and
            (refractiveIndex ?CLASS ?X)
            (roomTempState ?CLASS Gas)))
    (holdsDuring ?T
        (exists (?S)
            (and
                (instance ?S ?CLASS)
                (measure ?S
                    (MeasureFn 0 CelsiusDegree))
                (measure ?S
                    (MeasureFn 101325 Pascal))))))		 Transportation.kif 5590-5600 If the RefractiveIndexFn of X is Y, room temperature state X, and gas holds during Z, then there exists W such that W is an instance of X and the measure of W is 0 celsius degree(s) and the measure of W is 101325 pascal(s) holds during Z
(=>
    (holdsDuring ?T
        (and
            (refractiveIndex ?CLASS ?X)
            (roomTempState ?CLASS Gas)))
    (holdsDuring ?T
        (exists (?S)
            (and
                (instance ?S ?CLASS)
                (measure ?S
                    (MeasureFn 20 CelsiusDegree))))))		 Transportation.kif 5602-5611 If the RefractiveIndexFn of X is Y, room temperature state X, and gas holds during Z, then there exists W such that W is an instance of X and the measure of W is 20 celsius degree(s) holds during Z
(=>
    (holdsDuring ?T
        (and
            (refractiveIndex ?CLASS ?X)
            (roomTempState ?CLASS Solid)))
    (holdsDuring ?T
        (exists (?S ?N)
            (and
                (instance ?S ?CLASS)
                (measure ?S
                    (MeasureFn ?N CelsiusDegree))
                (greaterThanOrEqualTo ?N 20)
                (lessThanOrEqualTo ?N 26.85)))))		 Transportation.kif 5613-5624 If the RefractiveIndexFn of X is Y, room temperature state X, and solid holds during Z, then there exist W and V such that W is an instance of X and the measure of W is V celsius degree(s) and V is greater than or equal to 20 and V is less than or equal to 26.85 holds during Z
(=>
    (and
        (equal SpeedOfLight
            (MeasureFn ?X MeterPerSecond))
        (refractiveIndex ?S ?Y))
    (equal
        (SpeedOfLightInMediumFn ?S)
        (MeasureFn
            (DivisionFn ?X ?Y) MeterPerSecond)))		 Transportation.kif 5649-5656 If equal speed of light in vacuum and X meter per second(s) and the RefractiveIndexFn of Y is Z, then equal the speedOfLightInMedium of Y and X and Z meter per second(s)

appearance as argument number 0
-------------------------


(refractiveIndex Air 1.000293) Transportation.kif 5626-5626 The RefractiveIndexFn of air is 1.000293
(refractiveIndex Helium 1.000036) Transportation.kif 5627-5627 The RefractiveIndexFn of helium is 1.000036
(refractiveIndex Hydrogen 1.000132) Transportation.kif 5628-5628 The RefractiveIndexFn of hydrogen is 1.000132
(refractiveIndex CarbonDioxide 1.00045) Transportation.kif 5629-5629 The RefractiveIndexFn of carbon dioxide is 1.00045
(refractiveIndex Water 1.333) Transportation.kif 5630-5630 The RefractiveIndexFn of water is 1.333
(refractiveIndex Ethanol 1.36) Transportation.kif 5631-5631 The RefractiveIndexFn of ethanol is 1.36
(refractiveIndex OliveOil 1.47) Transportation.kif 5632-5632 The RefractiveIndexFn of olive oil is 1.47
(refractiveIndex SodiumChloride 1.458) Transportation.kif 5633-5633 The RefractiveIndexFn of salt is 1.458
(refractiveIndex Diamond 2.417) Transportation.kif 5634-5634 The RefractiveIndexFn of diamond is 2.417


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners