No TPTP formula. May not be expressible in strict first order. | Dining.kif 189-201 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 88-93 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 64-76 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 98-107 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 51-62 |