| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13243-13243 | 承诺 是 语言交流 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 855-855 | 危险的 是 承诺 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21507-21507 | 合同终止 是 承诺 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13255-13255 | 提供 是 承诺 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3117-3117 | 签署协议 是 承诺 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 756-756 | Reserving 是 承诺 的 subclass |
|
|