| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10239-10239 | Respirar e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10240-10240 | Respirar e' uma sub-classe de AutonomicProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11290-11290 | Inhaling e' uma sub-classe de Respirar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11301-11301 | Exhaling e' uma sub-classe de Respirar |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1700-1700 | BreathingAtAMoreRapidRate e' uma sub-classe de Respirar |
|
|