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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MedicalDevice

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 MedicalDevice设备subclass

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


(subclass Catheter MedicalDevice) Medicine.kif 532-532 CatheterMedicalDevicesubclass
(subclass ChestSeal MedicalDevice) Medicine.kif 823-823 ChestSealMedicalDevicesubclass
(subclass Needle MedicalDevice) Medicine.kif 919-919 NeedleMedicalDevicesubclass
(subclass PulseOximeter MedicalDevice) Medicine.kif 1248-1248 PulseOximeterMedicalDevicesubclass
(subclass SalineLock MedicalDevice) Medicine.kif 1100-1100 SalineLockMedicalDevicesubclass
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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