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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - RadioactiveWeapon

appearance as argument number 1

(disjoint RadioactiveWeapon BiochemicalWeapon) WMD.kif 117-117
(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
(subclass RadioactiveWeapon WeaponOfMassDestruction) WMD.kif 116-116

appearance as argument number 2

(disjoint BiochemicalWeapon RadioactiveWeapon) WMD.kif 106-106
(partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) WMD.kif 668-668
(subclass NuclearWeapon RadioactiveWeapon) WMD.kif 133-133
(subclass RadiologicalWeapon RadioactiveWeapon) WMD.kif 127-127
(termFormat ChineseLanguage RadioactiveWeapon "放射性武器") domainEnglishFormat.kif 48471-48471
(termFormat ChineseTraditionalLanguage RadioactiveWeapon "放射性武器") domainEnglishFormat.kif 48470-48470
(termFormat EnglishLanguage RadioactiveWeapon "radioactive weapon") domainEnglishFormat.kif 48469-48469

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