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 14854-14855 | |
(equal Blood (FoodForFn Mosquito)) |
Mid-level-ontology.kif 12637-12637 | 血液 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 14853-14853 | 血液 是 身体物质 的 subclass |
(subclass Blood SolMixture) | Mid-level-ontology.kif 21628-21628 | 血液 是 溶胶 的 subclass |
appearance as argument number 2 |
(disjoint Serum Blood) | Mid-level-ontology.kif 10858-10858 | 血清 和 % 2 是 disjoint |
(instance DeoxygenatedBlood Blood) | Medicine.kif 5761-5761 | DeoxygenatedBlood 是 血液 的 instance |
(subclass BloodTypeA Blood) | Mid-level-ontology.kif 10258-10258 | 血型a 是 血液 的 subclass |
(subclass BloodTypeAB Blood) | Mid-level-ontology.kif 10277-10277 | 血型b 是 血液 的 subclass |
(subclass BloodTypeB Blood) | Mid-level-ontology.kif 10295-10295 | 血型b 是 血液 的 subclass |
(subclass BloodTypeO Blood) | Mid-level-ontology.kif 10314-10314 | 血型o 是 血液 的 subclass |
(subclass Clot Blood) | Mid-level-ontology.kif 10512-10512 | 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 21395-21403 | |
(=> (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 11368-11385 |
|
(=> (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 11915-11932 |
|
(=> (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 10155-10160 | |
(=> (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 10498-10510 | |
(=> (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 10742-10751 | |
(=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD)))) |
Mid-level-ontology.kif 11341-11348 | |
(=> (instance ?P Platelet) (exists (?B ?M) (and (instance ?B Blood) (instance ?M Mammal) (part ?B ?M) (part ?P ?B)))) |
Mid-level-ontology.kif 10199-10206 | |
(=> (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 11082-11089 |