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 "这是涉及释放或吸收某些电磁辐射的过程， 例如；无线电波、 光波和电能等等。") chinese_format.kif 3326-3327
(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 13785-13787
(subclass Radiating Motion) Merge.kif 13784-13784 Radiating is a subclass of motion

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


(subclass Explosion Radiating) Mid-level-ontology.kif 17239-17239 Explosion is a subclass of radiating
(subclass Lightning Radiating) Mid-level-ontology.kif 3501-3501 Lightning is a subclass of radiating
(subclass RadiatingElectromagnetic Radiating) Merge.kif 13882-13882 Radiating electromagnetic is a subclass of radiating
(subclass RadiatingInfrared Radiating) Mid-level-ontology.kif 588-588 Radiating infrared is a subclass of radiating
(subclass RadiatingNuclear Radiating) Merge.kif 13887-13887 Radiating nuclear is a subclass of radiating
(subclass RadiatingSound Radiating) Merge.kif 13815-13815 Radiating sound is a subclass of radiating
(subclass Reflecting Radiating) Mid-level-ontology.kif 567-567 Reflecting is a subclass of radiating
(termFormat ChineseLanguage Radiating "辐射") chinese_format.kif 1222-1222 Reflecting is a subclass of radiating
(termFormat EnglishLanguage Radiating "radiating") english_format.kif 1665-1665 Reflecting is a subclass of radiating
(termFormat FrenchLanguage Radiating "irradier") french_format.kif 900-900 Reflecting is a subclass of radiating
(termFormat Hindi Radiating "vikaranana") terms-hindi.txt 433-433 Reflecting is a subclass of radiating
(termFormat ItalianLanguage Radiating "Radiazione") terms-it.txt 436-436 Reflecting is a subclass of radiating
(termFormat JapaneseLanguage Radiating "放射") japanese_format.kif 2584-2584 Reflecting is a subclass of radiating
(termFormat PortugueseLanguage Radiating "Irradiar") portuguese_format.kif 852-852 Reflecting is a subclass of radiating
(termFormat cz Radiating "radiating") terms-cz.txt 472-472 Reflecting is a subclass of radiating
(termFormat de Radiating "ausstrahlend") terms-de.txt 731-731 Reflecting is a subclass of radiating
(termFormat ro Radiating "radiaþie") relations-ro.kif 921-921 Reflecting is a subclass of radiating
(termFormat tg Radiating "nagmamanaag") terms-tg.txt 437-437 Reflecting is a subclass of radiating

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


(domain carrierFrequency 1 Radiating) ComputingBrands.kif 1548-1548 The number 1 argument of carrier frequency is an instance of radiating
(domain wavelength 1 Radiating) Mid-level-ontology.kif 582-582 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 1108-1121
(=>
    (instance ?WL WireLine)
    (hasPurpose ?WL
        (exists (?R)
            (and
                (instance ?R Radiating)
                (path ?R ?WL)))))		 Mid-level-ontology.kif 4087-4093


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 3.0 is open source software produced by Articulate Software and its partners