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


KB Term:  Term intersection
English Word: 

  radarEmissionFrequency

 Sigma KEE - radarEmissionFrequency
radarEmissionFrequency

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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