No TPTP formula. May not be expressible in strict first order. | Merge.kif 12482-12482 | 子類 Separating and DualObjectProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19597-19597 | 子類 透析 and Separating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19644-19644 | 子類 色譜 and Separating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22028-22028 | 子類 Slicing and Separating |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12499-12499 | 子類 Breaking and Separating |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12559-12559 | 子類 ChemicalDecomposition and Separating |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2569-2569 | 子類 二氧化碳排放量 and Separating |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5696-5696 | 子類 蒸餾 and Separating |