Knowledge base Browser - Blood

Browsing Interface

[ Home | Graph | ]

KB: Language:

KB Term:

English Word:

Sigma KEE - Blood

Blood(blood)

arterial_blood, blood, blood_clot, blood_stream, bloodstream, bloody, clot, coagulum, cord_blood, gore, grume, lifeblood, menorrhea, menstrual_blood, menstrual_flow, venous_blood, whole_blood

appearance as argument number 1

(documentation Blood EnglishLanguage "A fluid present in animals that transports nutrients to and waste products away from various body parts.")	Merge.kif 12018-12019
(externalImage Blood "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg")	pictureList.kif 1665-1665	externalImage blood and "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg"
(subclass Blood BodySubstance)	Merge.kif 12017-12017	Blood is a subclass of body substance

appearance as argument number 2

(disjoint Serum Blood)	Mid-level-ontology.kif 6618-6618	Serum is disjoint from blood
(subclass BloodTypeA Blood)	Mid-level-ontology.kif 6527-6527	Blood type a is a subclass of blood
(subclass BloodTypeAB Blood)	Mid-level-ontology.kif 6545-6545	Blood typeA b is a subclass of blood
(subclass BloodTypeB Blood)	Mid-level-ontology.kif 6562-6562	Blood type b is a subclass of blood
(subclass BloodTypeO Blood)	Mid-level-ontology.kif 6580-6580	Blood type o is a subclass of blood
(termFormat EnglishLanguage Blood "blood")	english_format.kif 689-689	term format english language, blood and "blood"

antecedent

(=> (and (instance ?ARTERY Artery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?HEART) (and (instance ?HEART Heart) (origin ?TRANSFER ?HEART))))	Mid-level-ontology.kif 6826-6836	If an object is an instance of artery and a process is an instance of transfer and an entity is a patient of process and object is an instrument for process and entity is an instance of blood then there exists object so that object is an instance of heart and process originates at object
(=> (and (instance ?ARTERY PulmonaryArtery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?LUNG) (and (instance ?LUNG Lung) (destination ?TRANSFER ?LUNG))))	Mid-level-ontology.kif 6859-6869	If an object is an instance of pulmonary artery and a process is an instance of transfer and an entity is a patient of process and object is an instrument for process and entity is an instance of blood then there exists entity so that entity is an instance of lung and process ends at entity
(=> (and (instance ?V PulmonaryVein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?L ?H ?P) (and (instance ?L Lung) (origin ?T ?L) (part ?V ?P) (part ?L ?P) (part ?H ?P) (instance ?H Heart) (destination ?T ?H))))	Mid-level-ontology.kif 6875-6890	If an object is an instance of pulmonary vein and a process is an instance of transfer and an entity is a patient of process and object is an instrument for process and entity is an instance of blood then there exist object a object and and a object so that object is an instance of lung and process originates at object and object is a part of object and object is a part of object and object is a part of object and object is an instance of heart and process ends at object
(=> (and (instance ?V Vein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?H) (and (instance ?H Heart) (destination ?T ?H))))	Mid-level-ontology.kif 6843-6853	If an object is an instance of vein and a process is an instance of transfer and an entity is a patient of process and object is an instrument for process and entity is an instance of blood then there exists entity so that entity is an instance of heart and process ends at entity

consequent

(=> (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 14327-14335	If a process is an instance of bleeding and an agent experiences process then there exists an object so that object is an instance of blood and object is a part of agent holds during the beginning of the time of existence of process and object is not a part of agent holds during the end of the time of existence of process
(=> (instance ?C BloodCell) (exists (?B) (and (instance ?B Blood) (part ?C ?B))))	Mid-level-ontology.kif 6499-6504	If an object is an instance of blood cell then there exists object so that object is an instance of blood and object is a part of object
(=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD))))	Mid-level-ontology.kif 6973-6980	If an object is an instance of heart then there exist a process and an entity so that process is an instance of transfer and entity is an instance of blood and object is an instrument for process and entity is a patient of process
(=> (instance ?VESSEL BloodVessel) (exists (?BLOOD ?TRANSFER) (and (instance ?BLOOD Blood) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?VESSEL))))	Mid-level-ontology.kif 6802-6809	If an object is an instance of blood vessel then there exist an entity and a process so that entity is an instance of blood and process is an instance of transfer and entity is a patient of process and object is an instrument for process

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

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners