No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6088-6088 |
HemostaticGauze est une sous-classe de Bandage |
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. |
domainEnglishFormat.kif 9762-9762 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9761-9761 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9760-9760 |
|