RadioactiveWeapon - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint RadioactiveWeapon BiochemicalWeapon)	WMD.kif 118-118	Radioactive weapon is disjoint from biochemical weapon
(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	Radioactive weapon is disjoint from biochemical weapon
(partition RadioactiveWeapon NuclearWeapon RadiologicalWeapon)	WMD.kif 648-648	Radioactive weapon is exhaustively partitioned into nuclear weapon and radiological weapon
(subclass RadioactiveWeapon WeaponOfMassDestruction)	WMD.kif 117-117	Radioactive weapon is a subclass of weapon of mass destruction

appearance as argument number 2

(disjoint BiochemicalWeapon RadioactiveWeapon)	WMD.kif 107-107	Biochemical weapon is disjoint from radioactive weapon
(partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon)	WMD.kif 673-673	Weapon of mass destruction is exhaustively partitioned into radioactive weapon and biochemical weapon
(subclass NuclearWeapon RadioactiveWeapon)	WMD.kif 134-134	Nuclear weapon is a subclass of radioactive weapon
(subclass RadiologicalWeapon RadioactiveWeapon)	WMD.kif 128-128	Radiological weapon is a subclass of radioactive weapon
(termFormat ChineseLanguage RadioactiveWeapon "放射性武器")	domainEnglishFormat.kif 48526-48526	Radiological weapon is a subclass of radioactive weapon
(termFormat ChineseTraditionalLanguage RadioactiveWeapon "放射性武器")	domainEnglishFormat.kif 48525-48525	Radiological weapon is a subclass of radioactive weapon
(termFormat EnglishLanguage RadioactiveWeapon "radioactive weapon")	domainEnglishFormat.kif 48524-48524	Radiological weapon is a subclass of radioactive weapon