TreeView Knowledge Base Browser

appearance as argument number 1

(instance SpeedOfLight FunctionQuantity)	Transportation.kif 5553-5553	Speed of light in vacuum is an instance of function quantity
(documentation SpeedOfLight EnglishLanguage "The speed of light in vacuum, often called simply the speed of light and commonly denoted c, is a universal physical constant exactly equal to 299792458 m⋅s−1. It is exact because, by international agreement, a metre is defined as the length of the path travelled by light in vacuum during a time interval of 1⁄299792458 second. The value 299,792,458 metres per second is approximately 1 billion kilometres per hour; 700 million miles per hour.[Wikipedia]")	Transportation.kif 5554-5558	Speed of light in vacuum is an instance of function quantity
(equal SpeedOfLight (SpeedFn (MeasureFn 299792458 Meter) (MeasureFn 1 SecondDuration)))	Transportation.kif 5563-5566	equal speed of light in vacuum and 299792458 meter(s) per 1 second duration(s)

appearance as argument number 2

(termFormat EnglishLanguage SpeedOfLight "speed of light in vacuum")	Transportation.kif 5559-5559
(names "speed of light" SpeedOfLight)	Transportation.kif 5560-5560	Speed of light in vacuum has name "speed of light"
(names "c" SpeedOfLight)	Transportation.kif 5561-5561	Speed of light in vacuum has name "c"

antecedent

(=>
    (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)

consequent

(=> (radarEmissionFrequency ?R ?F ?T) (holdsDuring ?T (exists (?E ?L ?C) (and (instance ?E RadiatingElectromagnetic) (instrument ?E ?R) (wavelength ?E (MeasureFn ?L Nanometer)) (equal (MeasureFn ?C MeterPerSecond) SpeedOfLight) (equal ?F (MeasureFn (DivisionFn ?C ?L) Hertz))))))	Transportation.kif 5541-5551	If X has the emission frequency of Y during Z, then there exist W, V and U such that W is an instance of radiating electromagnetic and X is an instrument for W and the wavelength of W is V nanometer(s) and equal U meter per second(s) and speed of light in vacuum and equal Y and U and V hertz(s) holds during Z
(=> (and (instance ?R RadiatingLight) (eventLocated ?R ?O) (attribute ?O Vacuum)) (measure ?R SpeedOfLight))	Transportation.kif 5568-5573	If X is an instance of radiating light, X is located at Y, and vacuum is an attribute of Y, then the measure of X is speed of light in vacuum