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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Blood
Blood(sang)

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 Sang est FoodForFn 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 Sang est une sous-classe de substance corporel
(subclass Blood SolMixture) Mid-level-ontology.kif 21628-21628 Sang est une sous-classe de SolMixture

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


(disjoint Serum Blood) Mid-level-ontology.kif 10858-10858 Serum est disjoint de sang
(instance DeoxygenatedBlood Blood) Medicine.kif 5761-5761 DeoxygenatedBlood est une instance de sang
(subclass BloodTypeA Blood) Mid-level-ontology.kif 10258-10258 BloodTypeA est une sous-classe de sang
(subclass BloodTypeAB Blood) Mid-level-ontology.kif 10277-10277 BloodTypeAB est une sous-classe de sang
(subclass BloodTypeB Blood) Mid-level-ontology.kif 10295-10295 BloodTypeB est une sous-classe de sang
(subclass BloodTypeO Blood) Mid-level-ontology.kif 10314-10314 BloodTypeO est une sous-classe de sang
(subclass Clot Blood) Mid-level-ontology.kif 10512-10512 Clot est une sous-classe de sang
(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
-------------------------


(=>
    (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 11108-11118
(=>
    (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 11141-11151
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 4))
Medicine.kif 5775-5782
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 14))
Medicine.kif 5766-5773
(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 5))
Medicine.kif 5752-5759
(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 20))
Medicine.kif 5743-5750
(=>
    (and
        (instance ?B Blood)
        (instance ?SL RingersLactate)
        (tonicity ?SL ?B
            (MeasureFn ?N Pascal)))
    (approximateValue ?N 0.0))
Medicine.kif 5850-5855
(=>
    (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 11157-11172
(=>
    (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 11125-11135
(=>
    (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 1152-1157

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


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