| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10132-10132 | 子類 BiologicalProcess and InternalChange |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 16-16 | 子類 病毒細胞入侵 and BiologicalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10080-10080 | 子類 Metabolism and BiologicalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10158-10158 | 子類 PhysiologicProcess and BiologicalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10371-10371 | 子類 PsychologicalProcess and BiologicalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10384-10384 | 子類 PathologicProcess and BiologicalProcess |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3542-3542 | 子類 Fermentation and BiologicalProcess |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1899-1899 | 子類 NerveFiring and BiologicalProcess |
|
|