| appearance as argument number 1 |
|
| (disjoint RadioactiveWeapon BiochemicalWeapon) | WMD.kif 118-118 | RadioactiveWeapon ist dijunkt von BiochemicalWeapon %n{nicht} |
| (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 wird vollstaendig in NuclearWeapon und RadiologicalWeapon verteilt |
| (subclass RadioactiveWeapon WeaponOfMassDestruction) | WMD.kif 117-117 | RadioactiveWeapon ist eine teilkategorie von WeaponOfMassDestruction |
| appearance as argument number 2 |
|
|
| (disjoint BiochemicalWeapon RadioactiveWeapon) | WMD.kif 107-107 | BiochemicalWeapon ist dijunkt von RadioactiveWeapon %n{nicht} |
| (partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) | WMD.kif 673-673 | WeaponOfMassDestruction wird vollstaendig in RadioactiveWeapon und BiochemicalWeapon verteilt |
| (subclass NuclearWeapon RadioactiveWeapon) | WMD.kif 134-134 | NuclearWeapon ist eine teilkategorie von RadioactiveWeapon |
| (subclass RadiologicalWeapon RadioactiveWeapon) | WMD.kif 128-128 | RadiologicalWeapon ist eine teilkategorie von 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