Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Blood
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 14928-14929
(equal Blood
    (FoodForFn Mosquito))		 Mid-level-ontology.kif 13533-13533 血液 equal food for Mosquito
(externalImage Blood "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg") pictureList.kif 1664-1664 血液 equal food for Mosquito
(subclass Blood BodySubstance) Merge.kif 14927-14927 血液 是 身体物质 的 subclass
(subclass Blood SolMixture) Mid-level-ontology.kif 22717-22717 血液 是 溶胶 的 subclass

appearance as argument number 2
-------------------------


(disjoint Serum Blood) Mid-level-ontology.kif 11754-11754 血清 和 % 2 是 disjoint
(instance DeoxygenatedBlood Blood) Medicine.kif 5749-5749 DeoxygenatedBlood 是 血液 的 instance
(subclass BloodTypeA Blood) Mid-level-ontology.kif 11154-11154 血型a 是 血液 的 subclass
(subclass BloodTypeAB Blood) Mid-level-ontology.kif 11173-11173 血型b 是 血液 的 subclass
(subclass BloodTypeB Blood) Mid-level-ontology.kif 11191-11191 血型b 是 血液 的 subclass
(subclass BloodTypeO Blood) Mid-level-ontology.kif 11210-11210 血型o 是 血液 的 subclass
(subclass Clot Blood) Mid-level-ontology.kif 11408-11408 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
-------------------------


(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 12))		 Medicine.kif 172-187
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 13))		 Medicine.kif 155-170
(=>
    (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 12004-12014
(=>
    (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 12037-12047
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 4))		 Medicine.kif 5763-5770
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 14))		 Medicine.kif 5754-5761
(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 5))		 Medicine.kif 5740-5747
(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 20))		 Medicine.kif 5731-5738
(=>
    (and
        (instance ?B Blood)
        (instance ?SL RingersLactate)
        (tonicity ?SL ?B
            (MeasureFn ?N Pascal)))
    (approximateValue ?N 0.0))		 Medicine.kif 5838-5843
(=>
    (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 12053-12068
(=>
    (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 12021-12031
(=>
    (and
        (not
            (attribute ?H Anemia))
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (greaterThan ?N 12))		 Medicine.kif 206-221
(=>
    (and
        (not
            (attribute ?H Anemia))
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (greaterThan ?N 13))		 Medicine.kif 189-204
(=>
    (instance ?B Blood)
    (exists (?BP)
        (and
            (instance ?BP BloodPlasma)
            (part ?BP ?B))))		 Medicine.kif 1140-1145

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 22484-22492
(=>
    (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 12264-12281
(=>
    (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 12811-12828
(=>
    (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 1946-1957
(=>
    (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 5885-5899
(=>
    (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 479-491
(=>
    (instance ?C BloodCell)
    (exists (?B)
        (and
            (instance ?B Blood)
            (part ?C ?B))))		 Mid-level-ontology.kif 11051-11056
(=>
    (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 11394-11406
(=>
    (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 11638-11647
(=>
    (instance ?HEART Heart)
    (exists (?TRANSFER ?BLOOD)
        (and
            (instance ?TRANSFER Transfer)
            (instance ?BLOOD Blood)
            (instrument ?TRANSFER ?HEART)
            (patient ?TRANSFER ?BLOOD))))		 Mid-level-ontology.kif 12237-12244
(=>
    (instance ?P Platelet)
    (exists (?B ?M)
        (and
            (instance ?B Blood)
            (instance ?M Mammal)
            (part ?B ?M)
            (part ?P ?B))))		 Mid-level-ontology.kif 11095-11102
(=>
    (instance ?T Transfusion)
    (exists (?B)
        (and
            (instance ?B Blood)
            (objectTransferred ?T ?B))))		 Medicine.kif 5976-5981
(=>
    (instance ?VESSEL BloodVessel)
    (exists (?BLOOD ?TRANSFER)
        (and
            (instance ?BLOOD Blood)
            (instance ?TRANSFER Transfer)
            (patient ?TRANSFER ?BLOOD)
            (instrument ?TRANSFER ?VESSEL))))		 Mid-level-ontology.kif 11978-11985


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners