| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10206-10206 | Fonction physiologique est une sous-classe de processus physiologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2112-2112 | Excreting est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6031-6031 | Coughing est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6109-6109 | Sneezing est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6245-6245 | RecoveringFromIllness est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10359-10359 | Breath est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21404-21404 | Vomiting est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21428-21428 | Nausea est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24094-24094 | Mating est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24111-24111 | LayingEggs est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10212-10212 | Naissance est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10228-10228 | Mort est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10261-10261 | Respirer est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10268-10268 | Ing�rer est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10304-10304 | Digesting est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10333-10333 | Reproduction est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13738-13738 | Vocalizing est une sous-classe de fonction physiologique |
|
|