| Blood
| |
| appearance as argument number 1 |
|
|
| (documentation Blood ChineseLanguage "这是存在于 Animal 体内，用于输送 Nutrient到各个 BodyPart，并排泄废物的的液体。") | chinese_format.kif 3480-3481 | |
| (documentation Blood EnglishLanguage "A fluid present in Animals that transports Nutrients to and waste products away from various BodyParts.") | Merge.kif 13790-13791 | |
| (externalImage Blood "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg") | pictureList.kif 1666-1666 | |
| (subclass Blood BodySubstance) | Merge.kif 13789-13789 |
| appearance as argument number 2 |
|
|
| (disjoint Serum Blood) | Mid-level-ontology.kif 9288-9288 | |
| (subclass BloodTypeA Blood) | Mid-level-ontology.kif 9197-9197 | |
| (subclass BloodTypeAB Blood) | Mid-level-ontology.kif 9215-9215 | |
| (subclass BloodTypeB Blood) | Mid-level-ontology.kif 9232-9232 | |
| (subclass BloodTypeO Blood) | Mid-level-ontology.kif 9250-9250 | |
| (termFormat ChineseLanguage Blood "血液") | chinese_format.kif 1012-1012 | |
| (termFormat EnglishLanguage Blood "blood") | english_format.kif 1241-1241 |
| 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 9509-9519 | |
| (=> (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 9542-9552 | |
| (=> (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 9558-9573 | |
| (=> (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 9526-9536 |
| 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 19107-19115 | |
| (=> (instance ?C BloodCell) (exists (?B) (and (instance ?B Blood) (part ?C ?B)))) |
Mid-level-ontology.kif 9169-9174 | |
| (=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD)))) |
Mid-level-ontology.kif 9671-9678 | |
| (=> (instance ?VESSEL BloodVessel) (exists (?BLOOD ?TRANSFER) (and (instance ?BLOOD Blood) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?VESSEL)))) |
Mid-level-ontology.kif 9485-9492 |
|
|
|