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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IVTherapy
IVTherapy

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


(documentation IVTherapy EnglishLanguage "Intravenous therapy is a medical technique that administers Fluids, Medicine and/ or nutrients directly into a person's Vein. The intravenous route of administration is commonly used for rehydration or to provide nutrients for those who cannot, or will not—due to reduced mental states or otherwise—consume food or water by Mouth. It may also be used to administer medications or other medical therapy such as Blood products or Electrolytes to correct electrolyte imbalances. [from Wikipedia].") Medicine.kif 1070-1075
(subclass IVTherapy Ingesting) Medicine.kif 1068-1068 IVTherapy è una sottoclasse di Ingestione
(subclass IVTherapy TherapeuticProcess) Medicine.kif 1069-1069 IVTherapy è una sottoclasse di ProcessoTerapeutico

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


(subclass IVBolusTherapy IVTherapy) Medicine.kif 6156-6156 IVBolusTherapy è una sottoclasse di IVTherapy
(subclass Transfusion IVTherapy) Medicine.kif 5984-5984 Transfusion è una sottoclasse di IVTherapy
(termFormat EnglishLanguage IVTherapy "IV Therapy") Medicine.kif 1076-1076

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


(=>
    (instance ?IVT IVTherapy)
    (exists (?P ?V ?T)
        (and
            (instance ?T IVLine)
            (path ?IVT ?T)
            (instance ?V Vein)
            (destination ?IVT ?V))))
Medicine.kif 1078-1085

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


(=>
    (instance ?IVL IVLine)
    (hasPurpose ?IVL
        (exists (?IVT)
            (and
                (instance ?IVT IVTherapy)
                (instrument ?IVT ?IVL)))))
Medicine.kif 1091-1097


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