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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntraosseousInfusion
IntraosseousInfusion(intraosseous infusion)

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


(documentation IntraosseousInfusion EnglishLanguage "Intraosseous infusion (IO) is the process of injecting Medicine, fluids, or BloodProducts directly into the BoneMarrow; this provides a non-collapsible entry point into the systemic venous system. The IO route of fluid and medication administration is an alternative to the preferred intravascular route (such as IVTherapy) when the latter cannot be established in a timely manner in emergency situations. [from Wikipedia]") Medicine.kif 1159-1164
(subclass IntraosseousInfusion TherapeuticProcess) Medicine.kif 1158-1158 Intraosseous infusion is a subclass of therapeutic process
(subclass IntraosseousInfusion Transfer) Medicine.kif 1157-1157 Intraosseous infusion is a subclass of transfer

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


(termFormat EnglishLanguage IntraosseousInfusion "intraosseous infusion") Medicine.kif 1165-1165

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


(=>
    (and
        (instance ?II IntraosseousInfusion)
        (patient ?II ?H))
    (exists (?B)
        (and
            (instance ?B BoneMarrow)
            (destination ?II ?B)
            (part ?B ?H))))
Medicine.kif 1167-1175

consequent
-------------------------


(=>
    (instance ?ID IntraosseousDevice)
    (hasPurpose ?ID
        (exists (?II)
            (and
                (instance ?II IntraosseousInfusion)
                (instrument ?II ?ID)))))
Medicine.kif 1181-1187


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