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 5947-5947
(instance CatastrophicBloodLoss DiseaseOrSyndrome)	Medicine.kif 5946-5946	Catastrophic blood loss is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage CatastrophicBloodLoss "catastrophic blood loss")

Medicine.kif 5948-5948

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 5950-5962

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