No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2120-2131 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2332-2343 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2347-2354 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1935-1948 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2469-2478 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2451-2460 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2389-2398 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2423-2430 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2416-2421 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2486-2495 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1920-1929 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1896-1904 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1964-1972 |
|