radarEmissionFrequency - Sigma Knowledge base Browser

appearance as argument number 1

(instance radarEmissionFrequency BinaryPredicate)	Transportation.kif 5532-5532	radar emission frequency is an instance of binary predicate
(documentation radarEmissionFrequency EnglishLanguage "(radarEmissionFrequency ?R ?F) means that the Radar has the emission frequency of ?W.")	Transportation.kif 5533-5534	radar emission frequency is an instance of binary predicate
(domain radarEmissionFrequency 1 Radar)	Transportation.kif 5535-5535	The number 1 argument of radar emission frequency is an instance of radar
(domain radarEmissionFrequency 2 FrequencyMeasure)	Transportation.kif 5536-5536	The number 2 argument of radar emission frequency is an instance of frequency measure
(domain radarEmissionFrequency 3 TimePosition)	Transportation.kif 5537-5537	The number 3 argument of radar emission frequency is an instance of time position

appearance as argument number 2

(format EnglishLanguage radarEmissionFrequency "%1 has the emission frequency of %2 during %3")	Transportation.kif 5538-5538
(termFormat EnglishLanguage radarEmissionFrequency "radar emission frequency")	Transportation.kif 5539-5539

antecedent

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

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