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