MedicalDevice - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MedicalDevice Device)	Medicine.kif 639-639	Medical device is a subclass of device
(documentation MedicalDevice EnglishLanguage "A Device that is intended to be used in a DiagnosticProcess or a TherpeuticProcess.")	Medicine.kif 640-641	Medical device is a subclass of device

appearance as argument number 2

(subclass Catheter MedicalDevice)	Medicine.kif 509-509	Cannula is a subclass of medical device
(termFormat EnglishLanguage MedicalDevice "medical device")	Medicine.kif 642-642	Cannula is a subclass of medical device
(subclass ChestSeal MedicalDevice)	Medicine.kif 802-802	Chest seal is a subclass of medical device
(subclass Needle MedicalDevice)	Medicine.kif 898-898	Needle is a subclass of medical device
(subclass SalineLock MedicalDevice)	Medicine.kif 1081-1081	Saline lock is a subclass of medical device
(subclass PulseOximeter MedicalDevice)	Medicine.kif 1229-1229	Pulse oximeter is a subclass of medical device

antecedent

(=>
    (instance ?MD MedicalDevice)
    (hasPurpose ?MD
        (exists (?TP ?DP)
            (and
                (instance ?TP TherapeuticProcess)
                (instance ?DP DiagnosticProcess)
                (or
                    (instrument ?TP ?MD)
                    (instrument ?DP ?MD))))))

If X is an instance of medical device, then X has the purpose there exist Y, Z such that Y is an instance of therapeutic process, Z is an instance of diagnostic process, and X is an instrument for Y or X is an instrument for Z