No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28812-28816 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27478-27482 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28918-28922 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28112-28116 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27561-27565 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27809-27813 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28745-28749 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28206-28210 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28952-28956 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27318-27322 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28710-28714 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27334-27338 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27840-27844 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28064-28068 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28180-28184 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27592-27596 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28969-28973 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27353-27357 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28242-28246 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27544-27548 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27666-27670 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27712-27716 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27743-27747 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28935-28939 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28390-28394 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |