not |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16493-16501 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 942-947 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 606-612 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11104-11114 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12826-12832 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1280-1287 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1271-1278 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1295-1315 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17969-17984 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14148-14162 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17928-17953 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9767-9773 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15188-15209 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3268-3273 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9752-9757 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22831-22848 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5933-5944 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23639-23656 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1453-1470 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23676-23693 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1493-1510 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24644-24654 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26068-26079 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3895-3899 |