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