measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28263-28267 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27414-27418 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28868-28872 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27717-27721 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27931-27935 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27359-27363 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29029-29033 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28558-28562 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27377-27381 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28021-28025 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27501-27505 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28596-28600 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28886-28890 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28716-28720 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27564-27568 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28247-28251 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28289-28293 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28835-28839 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28784-28788 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28750-28754 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28543-28547 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28006-28010 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27864-27868 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27990-27994 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28309-28313 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |