| 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 13925-13926 | |
| (subclass RadiatingNuclear Radiating) | Merge.kif 13924-13924 | Radiating nuclear is a subclass of radiating |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RadiatingNuclear "辐射核") | domainEnglishFormat.kif 48453-48453 | |
| (termFormat ChineseTraditionalLanguage RadiatingNuclear "輻射核") | domainEnglishFormat.kif 48452-48452 | |
| (termFormat EnglishLanguage RadiatingNuclear "radiating nuclear") | domainEnglishFormat.kif 48451-48451 |
| consequent |
|
|
| (=> (and (attribute ?G RadioactiveSubstance) (instance ?G Substance)) (exists (?R) (and (instance ?R RadiatingNuclear) (origin ?R ?G)))) |
Transportation.kif 4230-4237 |
|
| (=> (instance ?POWDER Fallout) (capability RadiatingNuclear instrument ?POWDER)) |
Mid-level-ontology.kif 10163-10165 |
|
| (=> (instance ?W NuclearWeapon) (capability RadiatingNuclear instrument ?W)) |
WMD.kif 136-138 |
|
|
|