| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10482-10482 | 自然过程 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11188-11188 | 地质过程 是 自然过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2894-2894 | 盐碱 是 自然过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 638-638 | 机械过程 是 自然过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 642-642 | 电气过程 是 自然过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 651-651 | 谐振 是 自然过程 的 subclass |
|
|