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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingNuclear
RadiatingNuclear

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 13749-13750
(subclass RadiatingNuclear Radiating) Merge.kif 13748-13748 RadiatingNuclear est une sous-classe de irradier

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


(termFormat ChineseLanguage RadiatingNuclear "辐射核") domainEnglishFormat.kif 48452-48452
(termFormat ChineseTraditionalLanguage RadiatingNuclear "輻射核") domainEnglishFormat.kif 48451-48451
(termFormat EnglishLanguage RadiatingNuclear "radiating nuclear") domainEnglishFormat.kif 48450-48450

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


(=>
    (instance ?POWDER Fallout)
    (capability RadiatingNuclear instrument ?POWDER))
Mid-level-ontology.kif 8962-8964
(=>
    (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