No TPTP formula. May not be expressible in strict first order. | WMD.kif 686-686 | DevelopingWeaponOfMassDestruction e' uma sub-classe de Fazer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 697-697 | StockpilingWeaponOfMassDestruction e' uma sub-classe de DevelopingWeaponOfMassDestruction |
![]() |