| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10154-10154 | Processus biologique est une sous-classe de changement interne |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 16-16 | ViralCellInvasion est une sous-classe de processus biologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10079-10079 | Metabolism est une sous-classe de processus biologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10180-10180 | Processus physiologique est une sous-classe de processus biologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10393-10393 | Processus psychologique est une sous-classe de processus biologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10406-10406 | Processus pathologique est une sous-classe de processus biologique |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3542-3542 | Fermentation est une sous-classe de processus biologique |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1899-1899 | NerveFiring est une sous-classe de processus biologique |
|
|