No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 532-532 |
Catheter e' uma sub-classe de MedicalDevice |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 823-823 |
ChestSeal e' uma sub-classe de MedicalDevice |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 919-919 |
Needle e' uma sub-classe de MedicalDevice |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1248-1248 |
PulseOximeter e' uma sub-classe de MedicalDevice |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1100-1100 |
SalineLock e' uma sub-classe de MedicalDevice |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 664-664 |
|