Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Shock(shock) |
| appearance as argument number 1 |
|
| (instance Shock DiseaseOrSyndrome) | Medicine.kif 5809-5809 | Shock is an instance of disease or syndrome |
| (documentation Shock EnglishLanguage "Shock is the state of insufficient Blood flow to the Tissues of the body as a result of problems with the circulatory system. Initial symptoms of shock may include weakness, fast heartRate, fast breathing, Perspiring, Anxiety, and an increase to being Thirsty. This may be followed by confusion, being Unconsciousness, or cardiac arrest, as complications worsen. Shock is divided into four main types based on the underlying cause: low volume, cardiogenic, obstructive, and distributive shock. Low volume shock, also known as hypovolemic shock, may be from Bleeding, Diarrhea, or Vomiting. Cardiogenic shock may be due to a heart attack or cardiac contusion. Obstructive shock may be due to cardiac tamponade or a tension Pneumothorax. Distributive shock may be due to Sepsis, Anaphylaxis, injury to the upper SpinalCord, or certain overdoses.[from Wikipedia]") | Medicine.kif 5810-5818 | Shock is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?H Shock) (exists (?T) (and (instance ?T Tissue) (part ?T ?H) (not (exists (?OB) (and (attribute ?OB OxygenatedBlood) (part ?OB ?T))))))) |
Medicine.kif 5821-5831 | If shock is an attribute of X, then there exists Y such that Y is an instance of tissue, Y is a part of X, there doesn't exist Z such that oxygenated blood is an attribute of Z, and Z is a part of Y |
|