No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5685-5685 | Bandage e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6019-6019 | PressureBandage e' uma sub-classe de Bandage |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6088-6088 | HemostaticGauze e' uma sub-classe de Bandage |