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 2082-2088 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2529-2537 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2547-2549 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2649-2655 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2149-2155 |
|