| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11703-11703 | Body joint is a subclass of body junction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12724-12724 | Ankle is a subclass of body joint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12735-12735 | Elbow is a subclass of body joint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12746-12746 | Wrist is a subclass of body joint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12769-12769 | Knee is a subclass of body joint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12792-12792 | Knuckle is a subclass of body joint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12802-12802 | Hip joint is a subclass of body joint |
|
|