| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 532-532 | Catheter est une sous-classe de MedicalDevice |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 533-533 | Catheter est une sous-classe de Tube |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 717-717 | NasopharyngealAirway est une sous-classe de Catheter |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1087-1087 | IVLine est une sous-classe de Catheter |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1189-1189 | IntraosseousDevice est une sous-classe de Catheter |
|
|