No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 172-187 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 155-170 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1321-1332 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2873-2884 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1285-1301 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1367-1385 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1399-1415 |
|
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 2855-2866 |
|
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 206-221 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 189-204 |
|