Browsing Interface
[ Home |  Graph |  ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - Blood
Blood(blood)
arterial_blood, blood, blood_clot, blood_stream, bloodstream, bloody, clot, coagulum, cord_blood, gore, grume, lifeblood, menorrhea, menstrual_blood, menstrual_flow, venous_blood, whole_blood

 
 appearance as argument number 1


(documentation Blood EnglishLanguage "A fluid present in Animals that transports Nutrients to and waste products away from various BodyParts.") Merge.kif 11992-11993 %3
(externalImage Blood "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg") pictureList.kif 1666-1666 externalImage blood "http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg"
(subclass Blood BodySubstance) Merge.kif 11991-11991 blood is a subclass of body substance

 
 appearance as argument number 2


(disjoint Serum Blood) Mid-level-ontology.kif 6565-6565 serum is disjoint from blood
(subclass BloodTypeA Blood) Mid-level-ontology.kif 6474-6474 blood type a is a subclass of blood
(subclass BloodTypeAB Blood) Mid-level-ontology.kif 6492-6492 blood typeA b is a subclass of blood
(subclass BloodTypeB Blood) Mid-level-ontology.kif 6509-6509 blood type b is a subclass of blood
(subclass BloodTypeO Blood) Mid-level-ontology.kif 6527-6527 blood type o is a subclass of blood
(termFormat EnglishLanguage Blood "blood") english_format.kif 689-689 term format english language blood "blood"

 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 6777-6787
(=>
    (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 6810-6820
(=>
    (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 6826-6841
(=>
    (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 6794-6804

 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 14292-14300
(=>
    (instance ?C BloodCell)
    (exists (?B)
        (and
            (instance ?B Blood)
            (part ?C ?B))))
Mid-level-ontology.kif 6446-6451
(=>
    (instance ?HEART Heart)
    (exists (?TRANSFER ?BLOOD)
        (and
            (instance ?TRANSFER Transfer)
            (instance ?BLOOD Blood)
            (instrument ?TRANSFER ?HEART)
            (patient ?TRANSFER ?BLOOD))))
Mid-level-ontology.kif 6924-6931
(=>
    (instance ?VESSEL BloodVessel)
    (exists (?BLOOD ?TRANSFER)
        (and
            (instance ?BLOOD Blood)
            (instance ?TRANSFER Transfer)
            (patient ?TRANSFER ?BLOOD)
            (instrument ?TRANSFER ?VESSEL))))
Mid-level-ontology.kif 6753-6760


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


Sigma web home      SUMO web home
Sigma version 2.1b (2007/11/20) is open source software produced by Articulate Software and its partners