| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11748-11748 | Throat e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11749-11749 | Throat e' uma sub-classe de Veia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11750-11750 | Throat e' uma sub-classe de Airway |
|
|