SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > Substance > BodySubstance > Blood
Next BodySubstance: Hormone    Up: BodySubstance    Previous BodySubstance: Tissue   

Blood
subjectfact 
Blooddocumentation A fluid present in Animals that transports Nutrients to and waste products away from various BodyParts2001-11-30 13:33:45.0
is a kind of BodySubstance2001-11-30 13:33:45.0
Substancehas axiom 
(=>
    (and
       (subclass ?OBJECTTYPE Substance)
       (instance ?OBJECT ?OBJECTTYPE)
       (part ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))
2001-11-30 13:35:21.0
has axiom 
(=>
    (instance ?OBJ CorpuscularObject)
    (exists (?SUBSTANCETYPE1 ?SUBSTANCETYPE2 ?SUBSTANCE1 ?SUBSTANCE2)
       (and
          (subclass ?SUBSTANCETYPE1 Substance)
          (subclass ?SUBSTANCETYPE2 Substance)
          (instance ?SUBSTANCE1 ?SUBSTANCETYPE1)
          (instance ?SUBSTANCE2 ?SUBSTANCETYPE2)
          (material ?SUBSTANCE1 ?OBJ)
          (material ?SUBSTANCE2 ?OBJ)
          (not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))
2001-11-30 13:35:21.0
is first domain of material2001-11-30 13:35:21.0
is first domain of piece2001-11-30 13:35:21.0
is second domain of piece2001-11-30 13:35:21.0
Objectis disjoint from Process2001-11-30 13:34:50.0
is third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0