measure |
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 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28987-28991 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28436-28440 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28342-28346 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29007-29011 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27409-27413 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |