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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadioactiveWeapon
RadioactiveWeapon

appearance as argument number 1
-------------------------


(disjoint RadioactiveWeapon BiochemicalWeapon) WMD.kif 118-118 RadioactiveWeapon est disjoint de BiochemicalWeapon
(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 RadioactiveWeapon est compl�tement d�compos� en NuclearWeapon + RadiologicalWeapon
(subclass RadioactiveWeapon WeaponOfMassDestruction) WMD.kif 117-117 RadioactiveWeapon est une sous-classe de WeaponOfMassDestruction

appearance as argument number 2
-------------------------


(disjoint BiochemicalWeapon RadioactiveWeapon) WMD.kif 107-107 BiochemicalWeapon est disjoint de RadioactiveWeapon
(partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) WMD.kif 673-673 WeaponOfMassDestruction est compl�tement d�compos� en RadioactiveWeapon + BiochemicalWeapon
(subclass NuclearWeapon RadioactiveWeapon) WMD.kif 134-134 NuclearWeapon est une sous-classe de RadioactiveWeapon
(subclass RadiologicalWeapon RadioactiveWeapon) WMD.kif 128-128 RadiologicalWeapon est une sous-classe de RadioactiveWeapon
(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