| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15124-15124 | Veia e' uma sub-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11064-11064 | BronchialDuct e' uma sub-classe de Veia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11076-11076 | BloodVessel e' uma sub-classe de Veia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11090-11090 | Alveolus e' uma sub-classe de Veia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11311-11311 | Nostril e' uma sub-classe de Veia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11721-11721 | Throat e' uma sub-classe de Veia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11733-11733 | Trachea e' uma sub-classe de Veia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12032-12032 | Intestine e' uma sub-classe de Veia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12041-12041 | LargeIntestine e' uma sub-classe de Veia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12042-12042 | SmallIntestine e' uma sub-classe de Veia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12069-12069 | Rectum e' uma sub-classe de Veia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12079-12079 | Esophagus e' uma sub-classe de Veia |
|
|