No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 234-249 |
|
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. |
Medicine.kif 5775-5782 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5766-5773 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5752-5759 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5743-5750 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5850-5855 |
|
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 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 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 1285-1301 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3226-3247 |
|
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. |
Anatomy.kif 1576-1583 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1567-1574 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1526-1533 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1517-1524 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1207-1216 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 519-530 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |