No TPTP formula. May not be expressible in strict first order. |
Food.kif 1107-1112 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1095-1100 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1167-1172 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1155-1160 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1119-1124 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1143-1148 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1131-1136 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1083-1088 |
|