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 14876-14877 | |
(equal Blood (FoodForFn Mosquito)) |
Mid-level-ontology.kif 12636-12636 | 血液 equal food for Mosquito |
(externalImage Blood "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg") | pictureList.kif 1665-1665 | |
(subclass Blood BodySubstance) | Merge.kif 14875-14875 | 血液 是 身体物质 的 subclass |
(subclass Blood SolMixture) | Mid-level-ontology.kif 21627-21627 | 血液 是 溶胶 的 subclass |
appearance as argument number 2 |
(disjoint Serum Blood) | Mid-level-ontology.kif 10857-10857 | 血清 和 % 2 是 disjoint |
(instance DeoxygenatedBlood Blood) | Medicine.kif 5761-5761 | DeoxygenatedBlood 是 血液 的 instance |
(subclass BloodTypeA Blood) | Mid-level-ontology.kif 10257-10257 | 血型a 是 血液 的 subclass |
(subclass BloodTypeAB Blood) | Mid-level-ontology.kif 10276-10276 | 血型b 是 血液 的 subclass |
(subclass BloodTypeB Blood) | Mid-level-ontology.kif 10294-10294 | 血型b 是 血液 的 subclass |
(subclass BloodTypeO Blood) | Mid-level-ontology.kif 10313-10313 | 血型o 是 血液 的 subclass |
(subclass Clot Blood) | Mid-level-ontology.kif 10511-10511 | Clot 是 血液 的 subclass |
(termFormat ChineseLanguage Blood "血液") | chinese_format.kif 1012-1012 | |
(termFormat EnglishLanguage Blood "blood") | english_format.kif 1236-1236 | |
(termFormat FrenchLanguage Blood "sang") | french_format.kif 689-689 | |
(termFormat Hindi Blood "rakta") | terms-hindi.txt 21-21 | |
(termFormat ItalianLanguage Blood "Sangue") | terms-it.txt 23-23 | |
(termFormat JapaneseLanguage Blood "血") | japanese_format.kif 2373-2373 | |
(termFormat PortugueseLanguage Blood "Sangue") | portuguese_format.kif 641-641 | |
(termFormat cb Blood "dugo") | terms-cb.txt 24-24 | |
(termFormat cz Blood "blood") | terms-cz.txt 257-257 | |
(termFormat ro Blood "sânge") | relations-ro.kif 710-710 | |
(termFormat tg Blood "dugo") | terms-tg.txt 24-24 |
antecedent |
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 21394-21402 | |
(=> (and (instance ?HA HeartAttack) (instance ?H Heart) (located ?HA ?H)) (exists (?M) (and (instance ?M Muscle) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M))))))) |
Mid-level-ontology.kif 11367-11384 |
|
(=> (and (instance ?HA Stroke) (instance ?H Brain) (located ?HA ?H)) (exists (?M) (and (instance ?M NerveCell) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M))))))) |
Mid-level-ontology.kif 11914-11931 |
|
(=> (and (suppliesBlood ?AC ?BPC) (instance ?A ?AC) (instance ?BP ?BPC)) (hasPurpose ?A (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (destination ?BF ?BP))))) |
Anatomy.kif 1947-1958 | |
(=> (bloodVolume ?H ?V) (and (exists (?B) (and (instance ?B Blood) (contains ?H ?B) (instance ?H Human) (measure ?B ?V))) (not (exists (?B2) (and (instance ?B2 Blood) (contains ?H ?B2) (not (piece ?B2 ?B))))))) |
Medicine.kif 5897-5912 | |
(=> (instance ?BC BloodCirculation) (exists (?O ?V ?A ?B) (and (instance ?O Animal) (instance ?B Blood) (moves ?BC ?B) (instance ?A Artery) (instance ?V Vein) (part ?A ?O) (part ?V ?O) (path ?BC ?A) (path ?BC ?V)))) |
Medicine.kif 491-503 |
|
(=> (instance ?C BloodCell) (exists (?B) (and (instance ?B Blood) (part ?C ?B)))) |
Mid-level-ontology.kif 10154-10159 | |
(=> (instance ?C Clotting) (exists (?B) (and (instance ?B Blood) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (attribute ?B Liquid)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (attribute ?B Solid))))) |
Mid-level-ontology.kif 10497-10509 | |
(=> (instance ?H Heart) (hasPurpose ?H (exists (?T ?HB ?B) (and (instance ?HB HeartBeat) (instance ?T LiquidMotion) (instance ?B Blood) (moves ?T ?B) (causes ?HB ?T))))) |
Mid-level-ontology.kif 10741-10750 | |
(=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD)))) |
Mid-level-ontology.kif 11340-11347 | |
(=> (instance ?P Platelet) (exists (?B ?M) (and (instance ?B Blood) (instance ?M Mammal) (part ?B ?M) (part ?P ?B)))) |
Mid-level-ontology.kif 10198-10205 | |
(=> (instance ?T Transfusion) (exists (?B) (and (instance ?B Blood) (objectTransferred ?T ?B)))) |
Medicine.kif 5990-5995 |
|
(=> (instance ?VESSEL BloodVessel) (exists (?BLOOD ?TRANSFER) (and (instance ?BLOOD Blood) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?VESSEL)))) |
Mid-level-ontology.kif 11081-11088 |