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 |
| (documentation Blood EnglishLanguage "A fluid present in Animals that transports Nutrients to and waste products away from various BodyParts.") | Merge.kif 11992-11993 | %3 |
| (externalImage Blood "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg") | pictureList.kif 1666-1666 | externalImage blood "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg" |
| (subclass Blood BodySubstance) | Merge.kif 11991-11991 | blood is a subclass of body substance |
| (disjoint Serum Blood) | Mid-level-ontology.kif 6565-6565 | serum is disjoint from blood |
| (subclass BloodTypeA Blood) | Mid-level-ontology.kif 6474-6474 | blood type a is a subclass of blood |
| (subclass BloodTypeAB Blood) | Mid-level-ontology.kif 6492-6492 | blood typeA b is a subclass of blood |
| (subclass BloodTypeB Blood) | Mid-level-ontology.kif 6509-6509 | blood type b is a subclass of blood |
| (subclass BloodTypeO Blood) | Mid-level-ontology.kif 6527-6527 | blood type o is a subclass of blood |
| (termFormat EnglishLanguage Blood "blood") | english_format.kif 689-689 | term format english language blood "blood" |
| (=> (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 6777-6787 | |
| (=> (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 6810-6820 | |
| (=> (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 6826-6841 |
|
| (=> (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 6794-6804 |
| (=> (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 14292-14300 |
|
| (=> (instance ?C BloodCell) (exists (?B) (and (instance ?B Blood) (part ?C ?B)))) |
Mid-level-ontology.kif 6446-6451 | |
| (=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD)))) |
Mid-level-ontology.kif 6924-6931 | |
| (=> (instance ?VESSEL BloodVessel) (exists (?BLOOD ?TRANSFER) (and (instance ?BLOOD Blood) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?VESSEL)))) |
Mid-level-ontology.kif 6753-6760 |
|
|