|
|
   RadioactiveWeapon
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint RadioactiveWeapon BiochemicalWeapon) | WMD.kif 118-118 | RadioactiveWeapon と BiochemicalWeapon は disjoint では %n |
| (documentation RadioactiveWeapon EnglishLanguage "A WeaponOfMassDestruction which achieves its effect through radioactivity, either by an explosion resulting from nuclear fission or by a conventional explosive device that scatters radioactive debris.") | WMD.kif 119-122 | |
| (partition RadioactiveWeapon NuclearWeapon RadiologicalWeapon) | WMD.kif 648-648 | RadioactiveWeapon は NuclearWeapon + RadiologicalWeapon に exhaustively partitioned %n |
| (subclass RadioactiveWeapon WeaponOfMassDestruction) | WMD.kif 117-117 | RadioactiveWeapon は WeaponOfMassDestruction の subclass では %n |
| appearance as argument number 2 |
|
|
| (disjoint BiochemicalWeapon RadioactiveWeapon) | WMD.kif 107-107 | BiochemicalWeapon と RadioactiveWeapon は disjoint では %n |
| (partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) | WMD.kif 673-673 | WeaponOfMassDestruction は RadioactiveWeapon + BiochemicalWeapon に exhaustively partitioned %n |
| (subclass NuclearWeapon RadioactiveWeapon) | WMD.kif 134-134 | NuclearWeapon は RadioactiveWeapon の subclass では %n |
| (subclass RadiologicalWeapon RadioactiveWeapon) | WMD.kif 128-128 | RadiologicalWeapon は RadioactiveWeapon の subclass では %n |
| (termFormat ChineseLanguage RadioactiveWeapon "放射性武器") | domainEnglishFormat.kif 48488-48488 | |
| (termFormat ChineseTraditionalLanguage RadioactiveWeapon "放射性武器") | domainEnglishFormat.kif 48487-48487 | |
| (termFormat EnglishLanguage RadioactiveWeapon "radioactive weapon") | domainEnglishFormat.kif 48486-48486 |
|
|
|