| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12549-12549 | Limb e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12550-12550 | Limb e' uma sub-classe de Parte do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10982-10982 | Wing e' uma sub-classe de Limb |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12459-12459 | Arm e' uma sub-classe de Limb |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12672-12672 | Leg e' uma sub-classe de Limb |
|
|