| (subclass WMDWeaponsProductionFacility StationaryArtifact) | WMD.kif 626-626 | WMD weapons production facility is a subclass of stationary artifact |
| (subclass NuclearWeaponProductionFacility WMDWeaponsProductionFacility) | WMD.kif 650-650 | Nuclear weapon production facility is a subclass of WMD weapons production facility |
|
|