MeasureFn |
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 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28780-28784 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28358-28362 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27775-27779 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27793-27797 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28634-28638 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28506-28510 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27288-27292 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28411-28415 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27272-27276 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28080-28084 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28145-28149 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28584-28588 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27695-27699 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |