| appearance as argument number 1 |
|
| (disjoint RadioactiveWeapon BiochemicalWeapon) | WMD.kif 118-118 | RadioactiveWeapon e' disjunto 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 | O conceito RadioactiveWeapon e' completamente decomposto em NuclearWeapon + RadiologicalWeapon |
| (subclass RadioactiveWeapon WeaponOfMassDestruction) | WMD.kif 117-117 | RadioactiveWeapon e' uma sub-classe de WeaponOfMassDestruction |
| appearance as argument number 2 |
|
|
| (disjoint BiochemicalWeapon RadioactiveWeapon) | WMD.kif 107-107 | BiochemicalWeapon e' disjunto de RadioactiveWeapon |
| (partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) | WMD.kif 673-673 | O conceito WeaponOfMassDestruction e' completamente decomposto em RadioactiveWeapon + BiochemicalWeapon |
| (subclass NuclearWeapon RadioactiveWeapon) | WMD.kif 134-134 | NuclearWeapon e' uma sub-classe de RadioactiveWeapon |
| (subclass RadiologicalWeapon RadioactiveWeapon) | WMD.kif 128-128 | RadiologicalWeapon e' uma sub-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