| 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 13689-13690 | |
| (externalImage Blood "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg") | pictureList.kif 1666-1666 | externalImage Blood and "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg" |
| (subclass Blood BodySubstance) | Merge.kif 13688-13688 | subclass Blood and BodySubstance |
| appearance as argument number 2 |
|
|
| (disjoint Serum Blood) | Mid-level-ontology.kif 9281-9281 | disjoint Serum and Blood |
| (subclass BloodTypeA Blood) | Mid-level-ontology.kif 9190-9190 | subclass BloodTypeA and Blood |
| (subclass BloodTypeAB Blood) | Mid-level-ontology.kif 9208-9208 | subclass BloodTypeAB and Blood |
| (subclass BloodTypeB Blood) | Mid-level-ontology.kif 9225-9225 | subclass BloodTypeB and Blood |
| (subclass BloodTypeO Blood) | Mid-level-ontology.kif 9243-9243 | subclass BloodTypeO and Blood |
| (termFormat ChineseLanguage Blood "血液") | chinese_format.kif 1012-1012 | termFormat ChineseLanguage, Blood and "血液" |
| (termFormat EnglishLanguage Blood "blood") | english_format.kif 1241-1241 | termFormat EnglishLanguage, 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 9502-9512 | |
| (=> (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 9535-9545 | |
| (=> (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 9551-9566 |
|
| (=> (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 9519-9529 |
| 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 19044-19052 | |
| (=> (instance ?C BloodCell) (exists (?B) (and (instance ?B Blood) (part ?C ?B)))) |
Mid-level-ontology.kif 9162-9167 | |
| (=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD)))) |
Mid-level-ontology.kif 9649-9656 | |
| (=> (instance ?VESSEL BloodVessel) (exists (?BLOOD ?TRANSFER) (and (instance ?BLOOD Blood) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?VESSEL)))) |
Mid-level-ontology.kif 9478-9485 |
|
|
|