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 1660-1668 |
|
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 16152-16155 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2346-2380 |
|
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 1972-1980 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3286-3295 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2675-2681 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2711-2728 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3214-3226 |
|
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 2293-2308 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4120-4124 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3970-3978 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4038-4044 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2873-2879 |
|