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 1067-1073 |
|
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 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 |
|