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 | 出售 是 金融交易 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 328-328 | Auctioning 是 出售 的 subclass |