measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27797-27801 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28733-28737 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28194-28198 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28940-28944 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27306-27310 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28698-28702 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27322-27326 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27828-27832 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28052-28056 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28168-28172 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27580-27584 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28957-28961 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27341-27345 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28230-28234 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27532-27536 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27654-27658 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27700-27704 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27731-27735 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28923-28927 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28378-28382 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28975-28979 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28424-28428 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28330-28334 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28995-28999 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27397-27401 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |