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 | 血 は FoodForFn Mosquito と equal では %n |
(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 では %n |
(subclass Blood SolMixture) | Mid-level-ontology.kif 21628-21628 | 血 は SolMixture の subclass では %n |
appearance as argument number 2 |
(disjoint Serum Blood) | Mid-level-ontology.kif 10858-10858 | Serum と 血 は disjoint では %n |
(instance DeoxygenatedBlood Blood) | Medicine.kif 5761-5761 | DeoxygenatedBlood は 血 の instance では %n |
(subclass BloodTypeA Blood) | Mid-level-ontology.kif 10258-10258 | BloodTypeA は 血 の subclass では %n |
(subclass BloodTypeAB Blood) | Mid-level-ontology.kif 10277-10277 | BloodTypeAB は 血 の subclass では %n |
(subclass BloodTypeB Blood) | Mid-level-ontology.kif 10295-10295 | BloodTypeB は 血 の subclass では %n |
(subclass BloodTypeO Blood) | Mid-level-ontology.kif 10314-10314 | BloodTypeO は 血 の subclass では %n |
(subclass Clot Blood) | Mid-level-ontology.kif 10512-10512 | Clot は 血 の subclass では %n |
(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 |