Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MedicalDevice
MedicalDevice

appearance as argument number 1
-------------------------


(documentation MedicalDevice EnglishLanguage "A Device that is intended to be used in a DiagnosticProcess or a TherpeuticProcess.") Medicine.kif 662-663
(subclass MedicalDevice Device) Medicine.kif 661-661

appearance as argument number 2
-------------------------


(subclass Catheter MedicalDevice) Medicine.kif 532-532
(subclass ChestSeal MedicalDevice) Medicine.kif 823-823
(subclass Needle MedicalDevice) Medicine.kif 919-919
(subclass PulseOximeter MedicalDevice) Medicine.kif 1248-1248
(subclass SalineLock MedicalDevice) Medicine.kif 1100-1100
(termFormat EnglishLanguage MedicalDevice "medical device") Medicine.kif 664-664

antecedent
-------------------------


(=>
    (instance ?MD MedicalDevice)
    (hasPurpose ?MD
        (exists (?TP ?DP)
            (and
                (instance ?TP TherapeuticProcess)
                (instance ?DP DiagnosticProcess)
                (or
                    (instrument ?TP ?MD)
                    (instrument ?DP ?MD))))))
Medicine.kif 666-675


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners