TreeView Knowledge Base Browser - SpeedOfLightInMediumFn

appearance as argument number 1

(instance SpeedOfLightInMediumFn UnaryFunction)	Transportation.kif 5636-5636	Speed of light in medium is an instance of unary function
(documentation SpeedOfLightInMediumFn EnglishLanguage "(SpeedOfLightInMediumFn ?S) gives the speed of RadiatingElectromagnetic in a medium ?S. The phase velocity of light wave, a form of electromagnetic wave, travels through a medium is often represented in terms of a refractive index. The refractive index of a material is defined as the ratio of c to the phase velocity vp in the material: larger indices of refraction indicate lower speeds, where c is the speed of light in a vacuum. The refractive index of air is approximately 1.0003. Denser media, such as water, glass,and diamond,have refractive indexes of around 1.3, 1.5 and 2.4, respectively, for visible light.[Wikipedia]")	Transportation.kif 5637-5643	Speed of light in medium is an instance of unary function
(domainSubclass SpeedOfLightInMediumFn 1 Substance)	Transportation.kif 5644-5644	The number 1 argument of speed of light in medium is a subclass of substance
(range SpeedOfLightInMediumFn FunctionQuantity)	Transportation.kif 5645-5645	The range of speed of light in medium is an instance of function quantity

appearance as argument number 2

(format EnglishLanguage SpeedOfLightInMediumFn "the speedOfLightInMedium of %1")	Transportation.kif 5646-5646
(termFormat EnglishLanguage SpeedOfLightInMediumFn "speed of light in medium")	Transportation.kif 5647-5647

consequent

(=>
    (and
        (equal SpeedOfLight
            (MeasureFn ?X MeterPerSecond))
        (refractiveIndex ?S ?Y))
    (equal
        (SpeedOfLightInMediumFn ?S)
        (MeasureFn
            (DivisionFn ?X ?Y) MeterPerSecond)))

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)