No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5685-5685 | 绷带 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6019-6019 | PressureBandage 是 绷带 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6088-6088 | HemostaticGauze 是 绷带 的 subclass |
![]() |