CatastrophicBloodLoss - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CatastrophicBloodLoss

CatastrophicBloodLoss(catastrophic blood loss)

appearance as argument number 1

(documentation CatastrophicBloodLoss EnglishLanguage "Loss of 50% or more of the blood volume of a Human.")	Medicine.kif 5933-5933
(instance CatastrophicBloodLoss DiseaseOrSyndrome)	Medicine.kif 5932-5932	Catastrophic blood loss is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage CatastrophicBloodLoss "catastrophic blood loss")

Medicine.kif 5934-5934

consequent

(=>
    (and
        (typicalBloodVolume ?M
            (MeasureFn ?N ?U))
        (holdsDuring ?T
            (bloodVolume ?H
                (MeasureFn ?N2 ?U)))
        (instance ?H ?M)
        (lessThan
            (MultiplicationFn ?N2 2.0) ?N))
    (holdsDuring ?T
        (attribute ?H CatastrophicBloodLoss)))

Medicine.kif 5936-5948

If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and an entity has the real number2 the unit of measure(s) of blood holds during a time position and the entity is an instance of a kind of mammal and the real number2 and 2.0 is less than the real number,
then catastrophic blood loss is an attribute of the entity holds during the time position

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