No TPTP formula. May not be expressible in strict first order. | WMD.kif 626-626 | WMD weapons production facility is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 650-650 | Nuclear weapon production facility is a subclass of WMD weapons production facility |