| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11703-11703 | BodyJoint e' uma sub-classe de junta de partes do corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12724-12724 | Ankle e' uma sub-classe de BodyJoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12735-12735 | Elbow e' uma sub-classe de BodyJoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12746-12746 | Wrist e' uma sub-classe de BodyJoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12769-12769 | Knee e' uma sub-classe de BodyJoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12792-12792 | Knuckle e' uma sub-classe de BodyJoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12802-12802 | HipJoint e' uma sub-classe de BodyJoint |
|
|