No TPTP formula. May not be expressible in strict first order. | Merge.kif 13820-13829 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13516-13527 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13809-13818 |