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