No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10571-10571 | Body segment is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10828-10828 | Forearm is a subclass of body segment |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10833-10833 | Upper arm is a subclass of body segment |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10838-10838 | Upper leg is a subclass of body segment |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10843-10843 | Lower leg is a subclass of body segment |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12469-12469 | Hand is a subclass of body segment |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12697-12697 | Foot is a subclass of body segment |