No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30686-30707 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1731-1746 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1706-1716 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1793-1803 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1835-1842 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1776-1786 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1680-1685 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1688-1694 |
|