| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11720-11720 | 子類 喉 and 動物解剖結構 |
| 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 11722-11722 | 子類 喉 and 空中航線 |
|
|