No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 48-56 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 35-43 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11474-11474 | Atirar e' uma sub-classe de Propulsionar |