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

appearance as argument number 2

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

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