No TPTP formula. May not be expressible in strict first order. |
Food.kif 547-552 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 509-514 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 559-564 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 571-578 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 609-614 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 585-590 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 621-626 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 495-502 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 533-540 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 521-526 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 597-602 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 468-478 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 479-488 |
|