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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IVTherapy
IVTherapy(IV Therapy)

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 IV Therapy is a subclass of ingesting
(subclass IVTherapy TherapeuticProcess) Medicine.kif 1069-1069 IV Therapy is a subclass of therapeutic process

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


(subclass IVBolusTherapy IVTherapy) Medicine.kif 6156-6156 IV bolus therapy is a subclass of IV Therapy
(subclass Transfusion IVTherapy) Medicine.kif 5984-5984 Transfusion is a subclass of IV Therapy
(termFormat EnglishLanguage IVTherapy "IV Therapy") Medicine.kif 1076-1076 Transfusion is a subclass of IV Therapy

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