| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10132-10132 | Biological process is a subclass of internal change |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 16-16 | Viral cell invasion is a subclass of biological process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10080-10080 | Metabolising is a subclass of biological process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10158-10158 | Physiologic process is a subclass of biological process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10371-10371 | Psychological process is a subclass of biological process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10384-10384 | Pathologic process is a subclass of biological process |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3542-3542 | Fermentation is a subclass of biological process |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1899-1899 | NerveFiring is a subclass of biological process |
|
|