No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3155-3165 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2463-2478 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1440-1450 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2836-2845 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5933-5944 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 754-762 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 799-834 |
|