| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15124-15124 | 身体管道 是 体腔 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11064-11064 | 支气管 是 身体管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11076-11076 | 血管 是 身体管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11090-11090 | 肺泡 是 身体管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11311-11311 | 鼻孔 是 身体管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11721-11721 | 喉 是 身体管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11733-11733 | Trachea 是 身体管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12032-12032 | 肠 是 身体管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12041-12041 | LargeIntestine 是 身体管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12042-12042 | SmallIntestine 是 身体管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12069-12069 | Rectum 是 身体管道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12079-12079 | Esophagus 是 身体管道 的 subclass |
|
|