| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10482-10482 | 子類 自然過程 and Process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11188-11188 | 子類 地質過程 and 自然過程 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2894-2894 | 子類 鹽鹼 and 自然過程 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 638-638 | 子類 機械過程 and 自然過程 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 642-642 | 子類 電氣過程 and 自然過程 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 651-651 | 子類 諧振 and 自然過程 |
|
|