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 |