SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > AnatomicalStructure > FullyFormedAnatomicalStructure
Next AnatomicalStructure: BodyPart    Up: AnatomicalStructure    Previous AnatomicalStructure: EmbryonicStructure   

FullyFormedAnatomicalStructure
subjectfact 
FullyFormedAnatomicalStructuredocumentation An AnatomicalStructure in a fully formed Organism. In Mammals, for example, it would be a structure in the body after the birth of the Organism2001-11-30 13:34:18.0
is disjoint from EmbryonicStructure2001-11-30 13:34:18.0
is a kind of AnatomicalStructure2001-11-30 13:34:18.0
AnatomicalStructurehas axiom 
(=>
     (instance ?ANAT AnatomicalStructure)
     (exists (?ORGANISM)
         (and
             (instance ?ORGANISM Organism)
             (part ?ANAT ?ORGANISM))))
2001-11-30 13:33:36.0
has axiom 
(=>
     (instance ?INJ Injuring)
     (exists (?STRUCT)
         (and
             (instance ?STRUCT AnatomicalStructure)
             (patient ?INJ ?STRUCT))))
2001-11-30 13:33:36.0
has axiom 
(=>
     (instance ?JUNCT BodyJunction)
     (exists (?STRUCT)
         (and
             (instance ?STRUCT AnatomicalStructure)
             (component ?JUNCT ?STRUCT))))
2001-11-30 13:33:36.0
has axiom 
(=>
     (instance ?JUNCT BodyJunction)
     (exists (?STRUCT1 ?STRUCT2)
         (and
             (connected ?JUNCT ?STRUCT1)
 	      (connected ?JUNCT ?STRUCT2)
             (instance ?STRUCT1 AnatomicalStructure)
             (instance ?STRUCT2 AnatomicalStructure)
             (not
                 (equal ?STRUCT1 ?STRUCT2)))))
2001-11-30 13:33:36.0
has axiom 
(=>
     (instance ?POISON Poisoning)
     (exists (?THING)
         (and
             (patient ?POISON ?THING)
             (or
                 (instance ?THING Organism)
                 (instance ?THING AnatomicalStructure)))))
2001-11-30 13:33:36.0
has axiom 
(=>
     (instance ?STRUCT EmbryonicStructure)
     (exists (?THING)
         (and
             (developmentalForm ?THING ?STRUCT)
             (or 
                 (instance ?THING Organism)
                 (instance ?THING AnatomicalStructure)))))
2001-11-30 13:33:36.0
CorpuscularObjectis first domain of component2001-11-30 13:33:58.0
is second domain of component2001-11-30 13:33:58.0
is second domain of material2001-11-30 13:33:58.0
Objectis 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