| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10132-10132 | 生物过程 是 内部变化 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 16-16 | 病毒细胞入侵 是 生物过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10080-10080 | Metabolism 是 生物过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10158-10158 | 生理过程 是 生物过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10371-10371 | 心理过程 是 生物过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10384-10384 | 病理过程 是 生物过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3542-3542 | Fermentation 是 生物过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1899-1899 | NerveFiring 是 生物过程 的 subclass |
|
|