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

appearance as argument number 2

(disjoint BiochemicalWeapon RadioactiveWeapon) WMD.kif 107-107
(partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) WMD.kif 673-673
(subclass NuclearWeapon RadioactiveWeapon) WMD.kif 134-134
(subclass RadiologicalWeapon RadioactiveWeapon) WMD.kif 128-128
(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