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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadiatingNuclear

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

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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