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 14992-14993 | |
(equal Blood (FoodForFn Mosquito)) |
Mid-level-ontology.kif 13968-13968 | 血 は FoodForFn Mosquito と equal では |
(externalImage Blood "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg") | pictureList.kif 1664-1664 | 血 は FoodForFn Mosquito と equal では |
(subclass Blood BodySubstance) | Merge.kif 14991-14991 | 血 は 体物質 の subclass では |
(subclass Blood SolMixture) | Mid-level-ontology.kif 23245-23245 | 血 は SolMixture の subclass では |
appearance as argument number 2 |
![]() |
(disjoint Serum Blood) | Mid-level-ontology.kif 12189-12189 | Serum と 血 は disjoint では |
(instance DeoxygenatedBlood Blood) | Medicine.kif 5772-5772 | DeoxygenatedBlood は 血 の instance では |
(subclass BloodTypeA Blood) | Mid-level-ontology.kif 11587-11587 | BloodTypeA は 血 の subclass では |
(subclass BloodTypeAB Blood) | Mid-level-ontology.kif 11606-11606 | BloodTypeAB は 血 の subclass では |
(subclass BloodTypeB Blood) | Mid-level-ontology.kif 11624-11624 | BloodTypeB は 血 の subclass では |
(subclass BloodTypeO Blood) | Mid-level-ontology.kif 11643-11643 | BloodTypeO は 血 の subclass では |
(subclass Clot Blood) | Mid-level-ontology.kif 11843-11843 | Clot は 血 の subclass では |
(termFormat ChineseLanguage Blood "血液") | chinese_format.kif 1012-1012 | Clot は 血 の subclass では |
(termFormat EnglishLanguage Blood "blood") | english_format.kif 1236-1236 | Clot は 血 の subclass では |
(termFormat FrenchLanguage Blood "sang") | french_format.kif 689-689 | Clot は 血 の subclass では |
(termFormat Hindi Blood "rakta") | terms-hindi.txt 21-21 | Clot は 血 の subclass では |
(termFormat ItalianLanguage Blood "Sangue") | terms-it.txt 23-23 | Clot は 血 の subclass では |
(termFormat JapaneseLanguage Blood "血") | japanese_format.kif 2373-2373 | Clot は 血 の subclass では |
(termFormat PortugueseLanguage Blood "Sangue") | portuguese_format.kif 641-641 | Clot は 血 の subclass では |
(termFormat cb Blood "dugo") | terms-cb.txt 24-24 | Clot は 血 の subclass では |
(termFormat cz Blood "blood") | terms-cz.txt 257-257 | Clot は 血 の subclass では |
(termFormat de Blood "Blut") | terms-de.txt 516-516 | Clot は 血 の subclass では |
(termFormat ro Blood "sânge") | relations-ro.kif 710-710 | Clot は 血 の subclass では |
(termFormat tg Blood "dugo") | terms-tg.txt 24-24 | Clot は 血 の subclass では |
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 23012-23020 | |
(=> (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 12699-12716 |
|
(=> (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 13246-13263 |
|
(=> (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 1988-1999 | |
(=> (bloodVolume ?H ?V) (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 5915-5929 | |
(=> (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 480-492 |
|
(=> (instance ?C BloodCell) (exists (?B) (and (instance ?B Blood) (part ?C ?B)))) |
Mid-level-ontology.kif 11484-11489 | |
(=> (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 11829-11841 | |
(=> (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 12073-12082 | |
(=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD)))) |
Mid-level-ontology.kif 12672-12679 | |
(=> (instance ?P Platelet) (exists (?B ?M) (and (instance ?B Blood) (instance ?M Mammal) (part ?B ?M) (part ?P ?B)))) |
Mid-level-ontology.kif 11528-11535 | |
(=> (instance ?T Transfusion) (exists (?B) (and (instance ?B Blood) (objectTransferred ?T ?B)))) |
Medicine.kif 6007-6012 |
|
(=> (instance ?VESSEL BloodVessel) (exists (?BLOOD ?TRANSFER) (and (instance ?BLOOD Blood) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?VESSEL)))) |
Mid-level-ontology.kif 12413-12420 |
![]() |
![]() |