No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18727-18736 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18742-18752 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18758-18768 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18774-18784 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16782-16788 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16707-16719 |
|