| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11702-11702 | Body joint is a subclass of body junction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12723-12723 | Ankle is a subclass of body joint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12734-12734 | Elbow is a subclass of body joint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12745-12745 | Wrist is a subclass of body joint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12768-12768 | Knee is a subclass of body joint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12791-12791 | Knuckle is a subclass of body joint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12801-12801 | Hip joint is a subclass of body joint |
|
|