No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5009-5013 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5015-5024 |
|
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 1360-1365 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5002-5007 |
|