RadioactiveWeapon - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(disjoint BiochemicalWeapon RadioactiveWeapon)	WMD.kif 101-101	Biochemical weapon is disjoint from radioactive weapon
(subclass RadiologicalWeapon RadioactiveWeapon)	WMD.kif 122-122	Radiological weapon is a subclass of radioactive weapon
(subclass NuclearWeapon RadioactiveWeapon)	WMD.kif 127-127	Nuclear weapon is a subclass of radioactive weapon
(partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon)	WMD.kif 668-668	Weapon of mass destruction is exhaustively partitioned into radioactive weapon and biochemical weapon
(termFormat EnglishLanguage RadioactiveWeapon "radioactive weapon")	domainEnglishFormat.kif 48481-48481	Weapon of mass destruction is exhaustively partitioned into radioactive weapon and biochemical weapon
(termFormat ChineseTraditionalLanguage RadioactiveWeapon "放射性武器")	domainEnglishFormat.kif 48482-48482	Weapon of mass destruction is exhaustively partitioned into radioactive weapon and biochemical weapon
(termFormat ChineseLanguage RadioactiveWeapon "放射性武器")	domainEnglishFormat.kif 48483-48483	Weapon of mass destruction is exhaustively partitioned into radioactive weapon and biochemical weapon