No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25035-25044 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25158-25165 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25133-25140 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25007-25014 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25167-25172 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25026-25033 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25142-25148 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25126-25131 |
|