Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Bleeding
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Bleeding AutonomicProcess) | Mid-level-ontology.kif 23582-23582 | Bleeding is a subclass of autonomic process |
| (subclass Bleeding LiquidMotion) | Mid-level-ontology.kif 23583-23583 | Bleeding is a subclass of liquid motion |
| (documentation Bleeding EnglishLanguage "The release of Blood from an Animal in response to an Injuring of some sort.") | Mid-level-ontology.kif 23584-23585 | Bleeding is a subclass of liquid motion |
| (externalImage Bleeding "http://upload.wikimedia.org/wikipedia/commons/8/ 82/ Bleeding.jpg") | pictureList.kif 5884-5884 | Bleeding is a subclass of liquid motion |
| (externalImage Bleeding "http://upload.wikimedia.org/wikipedia/commons/e/ e6/ Bleeding_finger.jpg") | pictureList.kif 6170-6170 | Bleeding is a subclass of liquid motion |
| (externalImage Bleeding "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Eye_hemorrhage.jpg") | pictureList.kif 6171-6171 | Bleeding is a subclass of liquid motion |
| appearance as argument number 2 |
|
|
| (subclass Bleedout Bleeding) | Medicine.kif 6346-6346 | Bleedout is a subclass of bleeding |
| (termFormat EnglishLanguage Bleeding "bleeding") | domainEnglishFormat.kif 11315-11315 | Bleedout is a subclass of bleeding |
| (termFormat ChineseTraditionalLanguage Bleeding "流血的") | domainEnglishFormat.kif 11316-11316 | Bleedout is a subclass of bleeding |
| (termFormat ChineseLanguage Bleeding "流血的") | domainEnglishFormat.kif 11317-11317 | Bleedout is a subclass of bleeding |
| antecedent |
|
|
| (=> (instance ?BLEED Bleeding) (exists (?INJURY) (and (instance ?INJURY Injuring) (causes ?INJURY ?BLEED)))) |
Mid-level-ontology.kif 23587-23592 | If X is an instance of bleeding, then there exists Y such that Y is an instance of injuring and Y causes X |
| (=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal)) |
Mid-level-ontology.kif 23594-23598 | If X is an instance of bleeding and Y experiences X, then Y is an instance of animal |
| (=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (exists (?BLOOD) (and (instance ?BLOOD Blood) (holdsDuring (BeginFn (WhenFn ?BLEED)) (part ?BLOOD ?ANIMAL)) (holdsDuring (EndFn (WhenFn ?BLEED)) (not (part ?BLOOD ?ANIMAL)))))) |
Mid-level-ontology.kif 23600-23608 | If X is an instance of bleeding and Y experiences X, then there exists Z such that Z is an instance of blood, Z is a part of Y holds during the beginning of the time of existence of X, and Z is not a part of Y holds during the end of the time of existence of X |
| (=> (and (instance ?B Bleeding) (instance ?D Death) (instance ?H Human) (instance ?P Human) (experiencer ?B ?P) (orientation ?H ?P Near) (modalAttribute (causes ?B ?D) Likely)) (holdsObligation ?H (exists (?A) (and (instance ?A ApplyingTourniquet) (agent ?A ?H) (destination ?A ?P))))) |
Medicine.kif 45-60 | If All of the following hold: (1) X is an instance of bleeding (2) Y is an instance of death (3) Z is an instance of human (4) W is an instance of human (5) W experiences X (6) Z is near to W (7) the statement X causes Y has the modal force of likely, then Z is obliged to perform tasks of type there exists V such that V is an instance of applying a tourniquet, Z is an agent of V, and V ends up at W |
| (=> (and (instance ?B Bleeding) (experiencer ?B ?H)) (exists (?VA ?D) (and (or (instance ?VA Vein) (instance ?VA Artery)) (part ?VA ?H) (instance ?D Damaging) (earlier (WhenFn ?D) (WhenFn ?B)) (patient ?D ?VA)))) |
Medicine.kif 81-95 | If X is an instance of bleeding and Y experiences X, then there exist Z, W such that Z is an instance of vein or Z is an instance of artery, Z is a part of Y, W is an instance of damaging, the time of existence of W happens earlier than the time of existence of X, and Z is a patient of W |
| consequent |
|
|
| (=> (holdsDuring ?TIME (attribute ?T Tourniquet)) (exists (?P ?B ?A) (and (instance ?P Human) (instance ?B Bleeding) (instance ?A Attaching) (experiencer ?B ?P) (destination ?A ?P) (objectTransferred ?A ?T) (hasPurpose ?T (not (exists (?B2) (and (instance ?B2 Bleeding) (overlapsTemporally (WhenFn ?B2) (ImmediateFutureFn (WhenFn ?A))) (experiencer ?B2 ?P)))))))) |
Medicine.kif 20-40 | If tourniquet is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of human (3) W is an instance of bleeding (4) V is an instance of attaching (5) Z experiences W (6) V ends up at Z (7) the object transferred in V is X (8) X has the purpose there doesn't exist U such that U is an instance of bleeding (9) immediately after the time of existence of V overlaps the time of existence of U (10) Z experiences U |
| (=> (attribute ?H Bruise) (exists (?I ?P) (and (instance ?I Injuring) (patient ?I ?H) (instance ?P Bleeding) (causes ?P ?I)))) |
Medicine.kif 415-422 | If a hematoma is an attribute of X, then there exist Y, Z such that Y is an instance of injuring, X is a patient of Y, Z is an instance of bleeding, and Z causes Y |
| (=> (instance ?TA TranexamicAcid) (hasPurpose ?TA (exists (?P) (and (instance ?P Human) (decreasesLikelihood (exists (?I) (and (instance ?I Ingesting) (objectTransferred ?I ?TA) (destination ?I ?P))) (exists (?P ?B) (and (instance ?P Human) (instance ?B Bleeding) (origin ?B ?P)))))))) |
Medicine.kif 1031-1047 | If X is an instance of tranexamic acid, then All of the following hold: (1) X has the purpose there exists Y such that Y is an instance of human (2) there exists Z such that Z is an instance of ingesting (3) the object transferred in Z is X (4) Z ends up at Y decreases likelihood of there exist Y (5) W such that Y is an instance of human (6) W is an instance of bleeding (7) W originates at Y |
|
