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 14744-14745
(equal Blood
    (FoodForFn Mosquito))
Mid-level-ontology.kif 12508-12508 Sang est FoodForFn Mosquito
(externalImage Blood "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg") pictureList.kif 1666-1666
(subclass Blood BodySubstance) Merge.kif 14743-14743 Sang est une sous-classe de substance corporel
(subclass Blood SolMixture) Mid-level-ontology.kif 21602-21602 Sang est une sous-classe de SolMixture

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


(disjoint Serum Blood) Mid-level-ontology.kif 10749-10749 Serum est disjoint de sang
(subclass BloodTypeA Blood) Mid-level-ontology.kif 10210-10210 BloodTypeA est une sous-classe de sang
(subclass BloodTypeAB Blood) Mid-level-ontology.kif 10229-10229 BloodTypeAB est une sous-classe de sang
(subclass BloodTypeB Blood) Mid-level-ontology.kif 10247-10247 BloodTypeB est une sous-classe de sang
(subclass BloodTypeO Blood) Mid-level-ontology.kif 10266-10266 BloodTypeO est une sous-classe de sang
(subclass Clot Blood) Mid-level-ontology.kif 10404-10404 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 21-21
(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
        (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 10997-11007
(=>
    (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 11030-11040
(=>
    (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 11046-11061
(=>
    (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 11014-11024

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 21225-21233
(=>
    (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 11256-11273
(=>
    (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 11785-11802
(=>
    (instance ?C BloodCell)
    (exists (?B)
        (and
            (instance ?B Blood)
            (part ?C ?B))))
Mid-level-ontology.kif 10107-10112
(=>
    (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 10390-10402
(=>
    (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 10633-10642
(=>
    (instance ?HEART Heart)
    (exists (?TRANSFER ?BLOOD)
        (and
            (instance ?TRANSFER Transfer)
            (instance ?BLOOD Blood)
            (instrument ?TRANSFER ?HEART)
            (patient ?TRANSFER ?BLOOD))))
Mid-level-ontology.kif 11229-11236
(=>
    (instance ?P Platelet)
    (exists (?B ?M)
        (and
            (instance ?B Blood)
            (instance ?M Mammal)
            (part ?B ?M)
            (part ?P ?B))))
Mid-level-ontology.kif 10151-10158
(=>
    (instance ?VESSEL BloodVessel)
    (exists (?BLOOD ?TRANSFER)
        (and
            (instance ?BLOOD Blood)
            (instance ?TRANSFER Transfer)
            (patient ?TRANSFER ?BLOOD)
            (instrument ?TRANSFER ?VESSEL))))
Mid-level-ontology.kif 10972-10979


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