No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1365-1371 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1666-1674 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 577-586 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16174-16177 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2352-2386 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2608-2614 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3324-3337 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3583-3589 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1978-1986 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3294-3303 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2681-2687 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2717-2734 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3222-3234 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3801-3812 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1381-1397 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2299-2314 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4128-4132 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3978-3986 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4046-4052 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2873-2879 |
|