No TPTP formula. May not be expressible in strict first order. | Merge.kif 10239-10239 | 呼吸 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10240-10240 | 呼吸 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11290-11290 | 吸入 是 呼吸 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11301-11301 | 呼气 是 呼吸 的 subclass |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1700-1700 | BreathingAtAMoreRapidRate 是 呼吸 的 subclass |