| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13243-13243 | 子類 Committing and 語言交流 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 855-855 | 子類 危險的 and Committing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21507-21507 | 子類 契約終止 and Committing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13255-13255 | 子類 提供 and Committing |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3117-3117 | 子類 簽署協議 and Committing |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 756-756 | 子類 Reserving and Committing |
|
|