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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

appearance as argument number 1
-------------------------


s__documentation(s__Blood,s__ChineseLanguage,'"这是存在于 Animal 体内,用于输送 Nutrient到各个 BodyPart,并排泄废物的的液体。"')

chinese_format.kif 3480-3481
s__documentation(s__Blood,s__EnglishLanguage,'"A fluid present in Animals that transports Nutrients to and waste products away from various BodyParts."')

Merge.kif 14211-14212
(s__Blood = s__FoodForFn(s__Mosquito))

Mid-level-ontology.kif 11969-11969 Blood is equal to food for mosquito
s__externalImage(s__Blood,'"http://upload.wikimedia.org/wikipedia/commons/9/93/ Blood_smear.jpg"')

pictureList.kif 1666-1666
s__subclass(s__Blood,s__BodySubstance)

s__instance(s__Blood,s__Class)

s__instance(s__BodySubstance,s__Class)

Merge.kif 14210-14210 Blood is a subclass of body substance

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


s__disjoint(s__Serum,s__Blood)

Mid-level-ontology.kif 10234-10234 Serum is disjoint from blood
s__subclass(s__BloodTypeA,s__Blood)

s__instance(s__Blood,s__Class)

s__instance(s__BloodTypeA,s__Class)

Mid-level-ontology.kif 9698-9698 Blood type a is a subclass of blood
s__instance(s__Blood,s__Class)

s__subclass(s__BloodTypeAB,s__Blood)

s__instance(s__BloodTypeAB,s__Class)

Mid-level-ontology.kif 9717-9717 Blood typeA b is a subclass of blood
s__subclass(s__BloodTypeB,s__Blood)

s__instance(s__Blood,s__Class)

s__instance(s__BloodTypeB,s__Class)

Mid-level-ontology.kif 9735-9735 Blood type b is a subclass of blood
s__instance(s__Blood,s__Class)

s__instance(s__BloodTypeO,s__Class)

s__subclass(s__BloodTypeO,s__Blood)

Mid-level-ontology.kif 9754-9754 Blood type o is a subclass of blood
s__instance(s__Blood,s__Class)

s__subclass(s__Clot,s__Blood)

s__instance(s__Clot,s__Class)

Mid-level-ontology.kif 9892-9892 Clot is a subclass of blood
s__termFormat(s__ChineseLanguage,s__Blood,'"血液"')

chinese_format.kif 1012-1012
s__termFormat(s__EnglishLanguage,s__Blood,'"blood"')

english_format.kif 1236-1236

antecedent
-------------------------


( ! [V__ARTERY,V__BLOOD,V__TRANSFER] :
   (((s__instance(V__ARTERY,s__Artery) &
         s__instance(V__TRANSFER,s__Transfer) &
         s__patient(V__TRANSFER,V__BLOOD)
       &
       s__instrument(V__TRANSFER,V__ARTERY)
     &
     s__instance(V__BLOOD,s__Blood))
   =>
   (( ? [V__HEART] :
       ((s__instance(V__HEART,s__Heart) &
           s__origin(V__TRANSFER,V__HEART))))))
)
)

Mid-level-ontology.kif 10482-10492
( ! [V__ARTERY,V__BLOOD,V__TRANSFER] :
   (((s__instance(V__ARTERY,s__PulmonaryArtery) &
         s__instance(V__TRANSFER,s__Transfer) &
         s__patient(V__TRANSFER,V__BLOOD)
       &
       s__instrument(V__TRANSFER,V__ARTERY)
     &
     s__instance(V__BLOOD,s__Blood))
   =>
   (( ? [V__LUNG] :
       ((s__instance(V__LUNG,s__Lung) &
           s__destination(V__TRANSFER,V__LUNG))))))
)
)

Mid-level-ontology.kif 10515-10525
( ! [V__B,V__T,V__V] :
   (((s__instance(V__V,s__PulmonaryVein) &
         s__instance(V__T,s__Transfer) &
         s__patient(V__T,V__B)
       &
       s__instrument(V__T,V__V)
     &
     s__instance(V__B,s__Blood))
   =>
   (( ? [V__L, V__H, V__P] :
       ((s__instance(V__P,s__Object) &
           (s__instance(V__L,s__Lung) &
             s__origin(V__T,V__L)
           &
           s__part(V__V,V__P)
         &
         s__part(V__L,V__P)
       &
       s__part(V__H,V__P)
     &
     s__instance(V__H,s__Heart) &
     s__destination(V__T,V__H)))))))
)
)

Mid-level-ontology.kif 10531-10546
( ! [V__B,V__T,V__V] :
   (((s__instance(V__V,s__Vein) &
         s__instance(V__T,s__Transfer) &
         s__patient(V__T,V__B)
       &
       s__instrument(V__T,V__V)
     &
     s__instance(V__B,s__Blood))
   =>
   (( ? [V__H] :
       ((s__instance(V__H,s__Heart) &
           s__destination(V__T,V__H))))))
)
)

Mid-level-ontology.kif 10499-10509

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20547-20555
( ! [V__HA,V__H] :
   (((s__instance(V__HA,s__HeartAttack) &
         s__instance(V__H,s__Heart) &
         s__located(V__HA,V__H))
     =>
     (( ? [V__M] :
         ((s__instance(V__M,s__Muscle) &
             s__part(V__M,V__H)
           &
           ~(( ? [V__BF, V__B] :
               ((s__instance(V__BF,s__LiquidMotion) &
                   s__objectTransferred(V__BF,V__B)
                 &
                 s__instance(V__B,s__Blood) &
                 s__during(V__BF,s__WhenFn(V__HA))
             &
             s__destination(V__BF,V__M))))))))))
)
)

Mid-level-ontology.kif 10739-10756
( ! [V__HA,V__H] :
   (((s__instance(V__HA,s__Stroke) &
         s__instance(V__H,s__Brain) &
         s__located(V__HA,V__H))
     =>
     (( ? [V__M] :
         ((s__instance(V__M,s__NerveCell) &
             s__part(V__M,V__H)
           &
           ~(( ? [V__BF, V__B] :
               ((s__instance(V__BF,s__LiquidMotion) &
                   s__objectTransferred(V__BF,V__B)
                 &
                 s__instance(V__B,s__Blood) &
                 s__during(V__BF,s__WhenFn(V__HA))
             &
             s__destination(V__BF,V__M))))))))))
)
)

Mid-level-ontology.kif 11268-11285
( ! [V__C] :
   ((s__instance(V__C,s__BloodCell) =>
       (( ? [V__B] :
           ((s__instance(V__B,s__Blood) &
               s__part(V__C,V__B))))))
   )
)

Mid-level-ontology.kif 9595-9600
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9878-9890
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10118-10127
( ! [V__HEART] :
   ((s__instance(V__HEART,s__Heart) =>
       (( ? [V__TRANSFER, V__BLOOD] :
           ((s__instance(V__TRANSFER,s__Transfer) &
               s__instance(V__BLOOD,s__Blood) &
               s__instrument(V__TRANSFER,V__HEART)
             &
             s__patient(V__TRANSFER,V__BLOOD))))))
)
)

Mid-level-ontology.kif 10712-10719
( ! [V__P] :
   ((s__instance(V__P,s__Platelet) =>
       (( ? [V__B, V__M] :
           ((s__instance(V__B,s__Blood) &
               s__instance(V__M,s__Mammal) &
               s__part(V__B,V__M)
             &
             s__part(V__P,V__B))))))
)
)

Mid-level-ontology.kif 9639-9646
( ! [V__VESSEL] :
   ((s__instance(V__VESSEL,s__BloodVessel) =>
       (( ? [V__BLOOD, V__TRANSFER] :
           ((s__instance(V__BLOOD,s__Blood) &
               s__instance(V__TRANSFER,s__Transfer) &
               s__patient(V__TRANSFER,V__BLOOD)
             &
             s__instrument(V__TRANSFER,V__VESSEL))))))
)
)

Mid-level-ontology.kif 10457-10464


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