No TPTP formula. May not be expressible in strict first order. | Merge.kif 10239-10239 | 子類 Breathing and OrganismProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10240-10240 | 子類 Breathing and 自主過程 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11290-11290 | 子類 吸入 and Breathing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11301-11301 | 子類 呼氣 and Breathing |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1700-1700 | 子類 BreathingAtAMoreRapidRate and Breathing |