| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10185-10185 | AutonomicProcess e' uma sub-classe de Processo Fisiologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10358-10358 | Breath e' uma sub-classe de AutonomicProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19980-19980 | Trembling e' uma sub-classe de AutonomicProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19987-19987 | ReflexiveProcess e' uma sub-classe de AutonomicProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21376-21376 | Bleeding e' uma sub-classe de AutonomicProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21469-21469 | Blushing e' uma sub-classe de AutonomicProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10191-10191 | Processo de Orgao or Tecido e' uma sub-classe de AutonomicProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10262-10262 | Respirar e' uma sub-classe de AutonomicProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10305-10305 | Digesting e' uma sub-classe de AutonomicProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10328-10328 | Crescimento e' uma sub-classe de AutonomicProcess |
|
|