SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > AnatomicalStructure
Next CorpuscularObjectArtifact    UpCorpuscularObject    Previous CorpuscularObjectSubmolecularObject   

AnatomicalStructure
subjectfact 
AnatomicalStructuredocumentation A normal or pathological part of the anatomy or structural organization of an Organism2001-11-30 13:33:36.0
has 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
is disjoint from Organism2001-11-30 13:33:36.0
is a kind of CorpuscularObject2001-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

Kinds of AnatomicalStructure :