No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11120-11120 | Vein e' uma sub-classe de BloodVessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11153-11153 | PulmonaryVein e' uma sub-classe de Vein |