No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2149-2155 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1797-1803 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2190-2198 |
|