Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadioactiveWeapon
RadioactiveWeapon(radioactive weapon)

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
(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 48488-48488
(termFormat ChineseTraditionalLanguage RadioactiveWeapon "放射性武器") domainEnglishFormat.kif 48487-48487
(termFormat EnglishLanguage RadioactiveWeapon "radioactive weapon") domainEnglishFormat.kif 48486-48486


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners