No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30944-30959 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30886-30896 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30911-30926 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30961-30975 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30900-30909 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30928-30942 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30878-30884 |
|