MeasureFn |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1426-1438 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1407-1419 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1464-1474 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1391-1400 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1964-1975 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1940-1954 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 912-916 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28863-28867 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27529-27533 |
|
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 28163-28167 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27612-27616 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27860-27864 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28796-28800 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28257-28261 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29003-29007 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27369-27373 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28761-28765 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27385-27389 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27891-27895 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28115-28119 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28231-28235 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27643-27647 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29020-29024 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27404-27408 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |