Bleeding - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Bleeding

Bleeding(bleeding)

bleed, flow, hemorrhage, menstruate, shed_blood

appearance as argument number 1

(documentation Bleeding EnglishLanguage "The release of Blood from an Animal in response to an Injuring of some sort.")	Mid-level-ontology.kif 21637-21638
(externalImage Bleeding "http://upload.wikimedia.org/wikipedia/commons/8/ 82/ Bleeding.jpg")	pictureList.kif 5885-5885
(externalImage Bleeding "http://upload.wikimedia.org/wikipedia/commons/e/ e6/ Bleeding_finger.jpg")	pictureList.kif 6171-6171
(externalImage Bleeding "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Eye_hemorrhage.jpg")	pictureList.kif 6172-6172
(subclass Bleeding AutonomicProcess)	Mid-level-ontology.kif 21635-21635	Bleeding is a subclass of autonomic process
(subclass Bleeding LiquidMotion)	Mid-level-ontology.kif 21636-21636	Bleeding is a subclass of liquid motion

appearance as argument number 2

(subclass Bleedout Bleeding)	Medicine.kif 6315-6315	Bleedout is a subclass of bleeding
(termFormat ChineseLanguage Bleeding "流血的")	domainEnglishFormat.kif 11325-11325	Bleedout is a subclass of bleeding
(termFormat ChineseTraditionalLanguage Bleeding "流血的")	domainEnglishFormat.kif 11324-11324	Bleedout is a subclass of bleeding
(termFormat EnglishLanguage Bleeding "bleeding")	domainEnglishFormat.kif 11323-11323	Bleedout is a subclass of bleeding

antecedent

(=> (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 80-94	If a process is an instance of bleeding and an agent experiences the process, then there exist an object and another process such that the object is an instance of vein or the object is an instance of artery and the object is a part of the agent and the other process is an instance of damaging and the time of existence of the other process happens earlier than the time of existence of the process and the object is a patient of the other process
(=> (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 Attaching) (agent ?A ?H) (destination ?A ?P)))))	Medicine.kif 44-59	If a process is an instance of bleeding and an entity is an instance of death and a formula is an instance of human and an agent is an instance of human and the agent experiences the process and the formula is near to the agent and the statement the process causes the entity has the modal force of likely, then there exists another entity such that the other entity is an instance of attaching and the formula is an agent of the other entity and the other entity ends up at the agent is obliged to perform tasks of type the formula
(=> (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 21653-21661	If a process is an instance of bleeding and an agent experiences the process, then there exists an entity such that the entity is an instance of blood and the entity is a part of the agent holds during the beginning of the time of existence of the process and the entity is not a part of the agent holds during the end of the time of existence of the process
(=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal))	Mid-level-ontology.kif 21647-21651	If a process is an instance of bleeding and an agent experiences the process, then the agent is an instance of animal
(=> (instance ?BLEED Bleeding) (exists (?INJURY) (and (instance ?INJURY Injuring) (causes ?INJURY ?BLEED))))	Mid-level-ontology.kif 21640-21645	If a process is an instance of bleeding, then there exists another process such that the other process is an instance of injuring and the other process causes the process

consequent

(=> (attribute ?H Bruise) (exists (?I ?P) (and (instance ?I Injuring) (patient ?I ?H) (instance ?P Bleeding) (causes ?P ?I))))	Medicine.kif 425-432	If hematoma is an attribute of an object, then there exist a process and another process such that the process is an instance of injuring and the object is a patient of the process and the other process is an instance of bleeding and the other process causes the process
(=> (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-39	If tourniquet is an attribute of an object holds during the objectIME, then there exist an agent, a process and a transfer such that the agent is an instance of human and the process is an instance of bleeding and the transfer is an instance of attaching and the agent experiences the process and the transfer ends up at the agent and the object transferred in the transfer is the object and the object has the purpose there doesn't exist the process2 such that the process2 is an instance of bleeding and immediately after the time of existence of the transfer overlaps the time of existence of the process2 and the agent experiences the process2
(=> (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 1050-1066	If a physical is an instance of tranexamic acid, then the physical has the purpose there exists an entity such that the entity is an instance of human and there exists another entity such that the other entity is an instance of ingesting and the object transferred in the other entity is the physical and the other entity ends up at the entity decreases likelihood of there exist the entity and a third entity such that the entity is an instance of human and the third entity is an instance of bleeding and the third entity originates at the entity

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