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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingNuclear
RadiatingNuclear(radiating nuclear)activation_energy, atomic, energy_of_activation, nuclear, radioactive

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


(documentation RadiatingNuclear ChineseLanguage "这是释放原子能,即源自核反应的能量。") chinese_format.kif 1417-1417
(documentation RadiatingNuclear EnglishLanguage "Releasing atomic energy, i.e. energy from a nuclear reaction.") Merge.kif 13795-13796
(subclass RadiatingNuclear Radiating) Merge.kif 13794-13794 Radiating nuclear is a subclass of radiating

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


(termFormat ChineseLanguage RadiatingNuclear "辐射核") domainEnglishFormat.kif 48490-48490
(termFormat ChineseTraditionalLanguage RadiatingNuclear "輻射核") domainEnglishFormat.kif 48489-48489
(termFormat EnglishLanguage RadiatingNuclear "radiating nuclear") domainEnglishFormat.kif 48488-48488

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


(=>
    (instance ?POWDER Fallout)
    (capability RadiatingNuclear instrument ?POWDER))
Mid-level-ontology.kif 9180-9182
(=>
    (instance ?W NuclearWeapon)
    (capability RadiatingNuclear instrument ?W))
WMD.kif 136-138


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