Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Radiating
Radiating(radiating)Coriolis_force, Hertzian_wave, NMR, S, Saint_Elmo's_fire, Saint_Elmo's_light, Saint_Ulmo's_fire, Saint_Ulmo's_light, St._Elmo's_fire, X-ray_diffraction, XT, absorbed, absorption, absorption_spectrum, acoustic_spectrum, actinic, actinic_radiation, actinic_ray, action_potential, action_spectrum, active, advection, alpha_radiation, alpha_ray, alpha_rhythm, alpha_wave, alternating, alternative_energy, amplitude_distortion, antiferromagnetic, antiferromagnetism, asynchronous, atmospheric_static, atmospherics, atomic_spectrum, aurora, aurora_australis, aurora_borealis, background, background_noise, background_radiation, background_signal, beacon, beam, beat, beat_down, beta_radiation, beta_ray, beta_rhythm, beta_wave...

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


(documentation Radiating ChineseLanguage "这是涉及释放或吸收某些电磁辐射的过程, 例如;无线电波、 光波和电能等等。") Merge.kif 13617-13618
(documentation Radiating EnglishLanguage "Processes in which some form of electromagnetic radiation, e.g. radio waves, light waves, electrical energy, etc., is given off or absorbed by something else.") Merge.kif 13614-13616
(subclass Radiating Motion) Merge.kif 13613-13613 Radiating is a subclass of motion

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


(subclass Explosion Radiating) Mid-level-ontology.kif 13488-13488 Explosion is a subclass of radiating
(subclass Lightning Radiating) Mid-level-ontology.kif 3580-3580 Lightning is a subclass of radiating
(subclass RadiatingElectromagnetic Radiating) Merge.kif 13723-13723 Radiating electromagnetic is a subclass of radiating
(subclass RadiatingInfrared Radiating) Mid-level-ontology.kif 773-773 Radiating infrared is a subclass of radiating
(subclass RadiatingNuclear Radiating) Merge.kif 13730-13730 Radiating nuclear is a subclass of radiating
(subclass RadiatingSound Radiating) Merge.kif 13644-13644 Radiating sound is a subclass of radiating
(subclass Reflecting Radiating) Mid-level-ontology.kif 752-752 Reflecting is a subclass of radiating
(termFormat ChineseLanguage Radiating "辐射") chinese_format.kif 1222-1222 "辐射" is the printable form of radiating in ChineseLanguage
(termFormat EnglishLanguage Radiating "radiating") english_format.kif 1747-1747 "radiating" is the printable form of radiating in english language
(termFormat JapaneseLanguage Radiating "放射") english_format.kif 1748-1748 "放射" is the printable form of radiating in japanese language

appearance as argument number 3
-------------------------


(domain carrierFrequency 1 Radiating) ComputingBrands.kif 1440-1440 The number 1 argument of carrier frequency is an instance of radiating
(domain wavelength 1 Radiating) Mid-level-ontology.kif 767-767 The number 1 argument of wavelength is an instance of radiating

consequent
-------------------------


(=>
    (instance ?M BeamRidingGMissile)
    (hasPurpose ?M
        (exists (?DAMAGE ?OBJ ?RADIATION ?INST)
            (and
                (instance ?DAMAGE Damaging)
                (instrument ?DAMAGE ?M)
                (patient ?DAMAGE ?OBJ)
                (instance ?RADIATION Radiating)
                (instrument ?RADIATION ?INST)
                (or
                    (instance ?INST Radar)
                    (instance ?INST LightFixture))
                (patient ?RADIATION ?OBJ)))))
MilitaryDevices.kif 1107-1120
(=>
    (instance ?WL WireLine)
    (hasPurpose ?WL
        (exists (?R)
            (and
                (instance ?R Radiating)
                (path ?R ?WL)))))
Mid-level-ontology.kif 4160-4166


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners