No TPTP formula. May not be expressible in strict first order. | WMD.kif 686-686 | DevelopingWeaponOfMassDestruction est une sous-classe de faire |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 697-697 | StockpilingWeaponOfMassDestruction est une sous-classe de DevelopingWeaponOfMassDestruction |
![]() |