| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6393-6404 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11378-11378 | 子類 Removing and Transfer |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 250-250 | 子類 滲出 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2113-2113 | 子類 Excreting and Removing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5564-5564 | 子類 掃 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5574-5574 | 子類 洗滌 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11805-11805 | 子類 除毛 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11816-11816 | 子類 去皮 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18072-18072 | 子類 收穫 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21055-21055 | 子類 割禮 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21491-21491 | 子類 中止 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24008-24008 | 子類 Birth and Removing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24085-24085 | 子類 活檢 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11393-11393 | 子類 Uncovering and Removing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12773-12773 | 子類 Drying and Removing |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 878-878 | 子類 Thoracentesis and Removing |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6248-6248 | 子類 Amputating and Removing |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2654-2654 | 子類 森林砍伐 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2656-2656 | 子類 清淤 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2674-2674 | 子類 侵蝕 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2915-2915 | 子類 衛生 and Removing |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6442-6442 | 子類 Moulting and Removing |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1513-1513 | 子類 BleedingAir and Removing |
|
|