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 12735-12736
(subclass RadiatingNuclear Radiating) Merge.kif 12734-12734

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


(termFormat ChineseLanguage RadiatingNuclear "辐射核") domainEnglishFormat.kif 48371-48371
(termFormat ChineseTraditionalLanguage RadiatingNuclear "輻射核") domainEnglishFormat.kif 48370-48370
(termFormat EnglishLanguage RadiatingNuclear "radiating nuclear") domainEnglishFormat.kif 48369-48369

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


(=>
    (instance ?POWDER Fallout)
    (capability RadiatingNuclear instrument ?POWDER))
Mid-level-ontology.kif 8617-8619
(=>
    (instance ?W NuclearWeapon)
    (capability RadiatingNuclear instrument ?W))
WMD.kif 135-137


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