No TPTP formula. May not be expressible in strict first order. | Merge.kif 10185-10185 | AutonomicProcess est une sous-classe de processus physiologique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10358-10358 | Breath est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19980-19980 | Trembling est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19987-19987 | ReflexiveProcess est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21376-21376 | Bleeding est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21469-21469 | Blushing est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10191-10191 | Organ or tissueprocess est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10262-10262 | Respirer est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10305-10305 | Digesting est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10328-10328 | Grandir est une sous-classe de AutonomicProcess |