IVTherapy - Sigma Knowledge base Browser

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

appearance as argument number 2

(subclass IVBolusTherapy IVTherapy)	Medicine.kif 6142-6142	IV bolus therapy is a subclass of IV Therapy
(subclass Transfusion IVTherapy)	Medicine.kif 5970-5970	Transfusion is a subclass of IV Therapy
(termFormat EnglishLanguage IVTherapy "IV Therapy")	Medicine.kif 1064-1064	Transfusion is a subclass of IV Therapy

antecedent

(=>
    (instance ?IVT IVTherapy)
    (exists (?V ?T)
        (and
            (instance ?T IVLine)
            (path ?IVT ?T)
            (instance ?V Vein)
            (destination ?IVT ?V))))

Medicine.kif 1066-1073

If a motion is an instance of IV Therapy,
then there exist an entity and an object such that the object is an instance of IV Line and the object is path along which the motion occurs and the entity is an instance of vein and the motion ends up at the entity

consequent

(=>
    (instance ?IVL IVLine)
    (hasPurpose ?IVL
        (exists (?IVT)
            (and
                (instance ?IVT IVTherapy)
                (instrument ?IVT ?IVL)))))

Medicine.kif 1079-1085

If a physical is an instance of IV Line,
then the physical has the purpose there exists an entity such that the entity is an instance of IV Therapy and the physical is an instrument for the entity

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

KB Term:			Term intersection

English Word: