| 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 13903-13904 | |
| (subclass RadiatingNuclear Radiating) | Merge.kif 13902-13902 | RadiatingNuclear est une sous-classe de irradier |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RadiatingNuclear "辐射核") | domainEnglishFormat.kif 48454-48454 | |
| (termFormat ChineseTraditionalLanguage RadiatingNuclear "輻射核") | domainEnglishFormat.kif 48453-48453 | |
| (termFormat EnglishLanguage RadiatingNuclear "radiating nuclear") | domainEnglishFormat.kif 48452-48452 |
| consequent |
|
|
| (=> (and (attribute ?G RadioactiveSubstance) (instance ?G Substance)) (exists (?R) (and (instance ?R RadiatingNuclear) (origin ?R ?G)))) |
Transportation.kif 4234-4241 | |
| (=> (instance ?POWDER Fallout) (capability RadiatingNuclear instrument ?POWDER)) |
Mid-level-ontology.kif 10168-10170 |
|
| (=> (instance ?W NuclearWeapon) (capability RadiatingNuclear instrument ?W)) |
WMD.kif 136-138 |
|
|
|
|