| RadiologicalWeapon | |
| appearance as argument number 1 |
|
|
| (documentation RadiologicalWeapon EnglishLanguage "Weapons which are designed to spread radioactive particles over a large area by means of a conventional explosive device rather than a nuclear reaction. These weapons are often referred to as 'dirty bombs'.") | WMD.kif 124-127 | |
| (subclass RadiologicalWeapon RadioactiveWeapon) | WMD.kif 128-128 | RadiologicalWeapon は RadioactiveWeapon の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RadiologicalWeapon "放射性武器") | domainEnglishFormat.kif 48520-48520 | |
| (termFormat ChineseTraditionalLanguage RadiologicalWeapon "放射性武器") | domainEnglishFormat.kif 48519-48519 | |
| (termFormat EnglishLanguage RadiologicalWeapon "radiological weapon") | domainEnglishFormat.kif 48518-48518 |
| appearance as argument number 3 |
|
|
| (partition RadioactiveWeapon NuclearWeapon RadiologicalWeapon) | WMD.kif 648-648 | RadioactiveWeapon は NuclearWeapon + RadiologicalWeapon に exhaustively partitioned %n |
|
|
|