(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 |