| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11468-11468 | 子類 Impelling and Transfer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6549-6549 | 子類 吐痰 and Impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6563-6563 | 子類 Drooling and Impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6617-6617 | 子類 沖壓 and Impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6633-6633 | 子類 踢 and Impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10713-10713 | 子類 HeartBeat and Impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17019-17019 | 子類 遊戲鏡頭 and Impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17078-17078 | 子類 投擲 and Impelling |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11474-11474 | 子類 Shooting and Impelling |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2292-2292 | 子類 雪崩過程 and Impelling |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2298-2298 | 子類 滑坡 and Impelling |
|
|