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


s__documentation(s__Radiating,s__ChineseLanguage,'"这是涉及释放或吸收某些电磁辐射的过程, 例如;无线电波、 光波和电能等等。"')

chinese_format.kif 3326-3327
s__documentation(s__Radiating,s__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 13023-13025
s__instance(s__Motion,s__SetOrClass)

s__instance(s__Radiating,s__SetOrClass)

s__subclass(s__Radiating,s__Motion)

Merge.kif 13022-13022 Radiating is a subclass of motion

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


s__subclass(s__Explosion,s__Radiating)

s__instance(s__Explosion,s__SetOrClass)

s__instance(s__Radiating,s__SetOrClass)

Mid-level-ontology.kif 14977-14977 Explosion is a subclass of radiating
s__subclass(s__Lightning,s__Radiating)

s__instance(s__Radiating,s__SetOrClass)

s__instance(s__Lightning,s__SetOrClass)

Mid-level-ontology.kif 2973-2973 Lightning is a subclass of radiating
s__instance(s__Radiating,s__SetOrClass)

s__subclass(s__RadiatingElectromagnetic,s__Radiating)

s__instance(s__RadiatingElectromagnetic,s__SetOrClass)

Merge.kif 13112-13112 Radiating electromagnetic is a subclass of radiating
s__instance(s__RadiatingInfrared,s__SetOrClass)

s__instance(s__Radiating,s__SetOrClass)

s__subclass(s__RadiatingInfrared,s__Radiating)

Mid-level-ontology.kif 566-566 Radiating infrared is a subclass of radiating
s__instance(s__Radiating,s__SetOrClass)

s__subclass(s__RadiatingNuclear,s__Radiating)

s__instance(s__RadiatingNuclear,s__SetOrClass)

Merge.kif 13117-13117 Radiating nuclear is a subclass of radiating
s__instance(s__RadiatingSound,s__SetOrClass)

s__subclass(s__RadiatingSound,s__Radiating)

s__instance(s__Radiating,s__SetOrClass)

Merge.kif 13046-13046 Radiating sound is a subclass of radiating
s__instance(s__Reflecting,s__SetOrClass)

s__subclass(s__Reflecting,s__Radiating)

s__instance(s__Radiating,s__SetOrClass)

Mid-level-ontology.kif 545-545 Reflecting is a subclass of radiating
s__termFormat(s__ChineseLanguage,s__Radiating,'"辐射"')

chinese_format.kif 1222-1222
s__termFormat(s__EnglishLanguage,s__Radiating,'"radiating"')

english_format.kif 1670-1670

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


s__domain(s__carrierFrequency__m,n__1,s__Radiating)

ComputingBrands.kif 1517-1517 The number 1 argument of carrier frequency is an instance of radiating
s__domain(s__wavelength__m,n__1,s__Radiating)

Mid-level-ontology.kif 560-560 The number 1 argument of wavelength is an instance of radiating

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1108-1121
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3560-3566


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