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



KB Term:  Term intersection
English Word: 

  CatastrophicBloodLoss

Sigma KEE - CatastrophicBloodLoss
CatastrophicBloodLoss(catastrophic blood loss)

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


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

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


(termFormat EnglishLanguage CatastrophicBloodLoss "catastrophic blood loss") Medicine.kif 5979-5979

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 5981-5993 If the typical volume of blood of a X is Y Z(s), W has V Z(s) of blood holds during U, W is an instance of X, and V and 2.0 is less than Y, then catastrophic blood loss is an attribute of W holds during U


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners