| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12482-12482 | 分开 是 双受体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19597-19597 | 透析 是 分开 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19644-19644 | 色谱 是 分开 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22028-22028 | Slicing 是 分开 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12499-12499 | Breaking 是 分开 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12559-12559 | 化学分解 是 分开 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2569-2569 | 二氧化碳排放量 是 分开 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5696-5696 | 蒸馏 是 分开 的 subclass |
|
|