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 |