No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5004-5008 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5010-5019 |
|
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 4997-5002 |
|