| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11703-11703 | 子類 身體關節 and BodyJunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12724-12724 | 子類 踝 and 身體關節 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12735-12735 | 子類 手肘 and 身體關節 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12746-12746 | 子類 腕 and 身體關節 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12769-12769 | 子類 膝蓋 and 身體關節 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12792-12792 | 子類 指關節 and 身體關節 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12802-12802 | 子類 髖關節 and 身體關節 |
|
|