| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15124-15124 | 子類 BodyVessel and 體腔 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11064-11064 | 子類 支氣管 and BodyVessel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11076-11076 | 子類 血管 and BodyVessel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11090-11090 | 子類 肺泡 and BodyVessel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11311-11311 | 子類 鼻孔 and BodyVessel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11721-11721 | 子類 喉 and BodyVessel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11733-11733 | 子類 Trachea and BodyVessel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12032-12032 | 子類 腸 and BodyVessel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12041-12041 | 子類 LargeIntestine and BodyVessel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12042-12042 | 子類 SmallIntestine and BodyVessel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12069-12069 | 子類 Rectum and BodyVessel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12079-12079 | 子類 Esophagus and BodyVessel |
|
|