No TPTP formula. May not be expressible in strict first order. | Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1478-1491 |
|
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 51-62 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11901-11901 | 子類 Selling and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 328-328 | 子類 Auctioning and Selling |