No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5680-5680 | Bandage est une sous-classe de artefact |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6019-6019 | PressureBandage est une sous-classe de Bandage |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6088-6088 | HemostaticGauze est une sous-classe de Bandage |