Theory ANATOMY

• Last modified: Saturday, 23 December 2000
• Source code: Anatomy.lisp
• List of other known theories

Theory documentation:

Theories included by Anatomy:

  Meronymy
  Positions
  Topo-Morphology

Theories that include Anatomy:

  Biologic-Functions
  Body-Directions

55 classes defined:

    Anatomical-Structure
       Body-Part
          Body-Junction
          Organ
             Gland
                Endocrine-Gland
                Mammary-Gland
                Sweat-Gland
             Lungs
          Spinal-Column
          Vessel
       Body-System
          Immune-System
          Nervous-System
          Organ-System
       Cellular-Structure
          Cell
             *Specialized-Cell
             Eukaryotic-Cell
                Eukaryotic-Cell-With-Non-Rigid-Cell-Wall
             Immunologically-Competent-Cell
             Prokaryotic-Cell
          Cell-Component
          Cell-Wall
             Non-Rigid-Cell-Wall
             Peptidoglycan-Cell-Wall
             Rigid-Cell-Wall
          Cytoplasm
       Embryonic-Structure
          Non-Human-Embryonic-Structure
             Aquatic-Larva
       Fully-Formed-Anatomical-Structure
       Molecular-Anatomical-Structure
       Non-Human-Anatomical-Structure
          Feathers
          Gills
          Horny-Plate
          Scale
       Tissue
          External-Covering
          Hair
          Protective-Coat
          Skin
             Smooth-Skin
          Vascular-Tissue
    Body-Fluid
       Blood
          Cold-Blood
    Body-Region
       Body-Space
          Body-Space-Or-Junction
    Intercellular-Matrix
    Organism-Attribute
    Pigment
    Plastid

2 relations defined:

  Developmental-Form
  Developmental-Form-Of

No functions defined.

No instances defined.

The following constants were used from included theories:

• 3d-Area-Of defined as a relation in theory Topo-Morphology
• > defined as a relation in theory Kif-Numbers
• Adjacent-To defined as a relation in theory Positions
• Affects defined as a relation in theory Actors
• Arity defined as a function in theory Frame-Ontology
• Bearer-Of defined as a relation in theory Actors
• Biologic-Object defined as a class in theory Top-Level
• Branch-Of defined as a relation in theory Topo-Morphology
• Cardinality defined as a function in theory Kif-Extensions
• Class defined as a class in theory Frame-Ontology
• Component defined as a relation in theory Meronymy
• Component-Of defined as a relation in theory Meronymy
• Connected defined as a relation in theory Topology
• Connected-To defined as a relation in theory Topo-Morphology
• Constituent-Material defined as a relation in theory Meronymy
• Constituent-Material-Of defined as a relation in theory Meronymy
• Contains defined as a relation in theory Positions
• Crosses-Through defined as a relation in theory Positions
• Degree-Of defined as a relation in theory Quantities
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Element defined as a relation in theory Meronymy
• Embodied-In defined as a relation in theory Actors
• Embodies defined as a relation in theory Actors
• Exact-Location-Of defined as a relation in theory Localization
• Externally-Connected defined as a relation in theory Topology
• Finer-Grain-Component-Of defined as a relation in theory Meronymy
• Generic-Association defined as a relation in theory Structuring-Concepts
• Generically-Located defined as a relation in theory Localization
• Interconnects defined as a relation in theory Topo-Morphology
• Interior-Of defined as a relation in theory Topology
• Inverse defined as a function in theory Kif-Relations
• Located defined as a relation in theory Localization
• Location-Of defined as a relation in theory Actors
• Location-Of defined as a relation in theory Localization
• Manifestation-Of defined as a relation in theory Representation
• Measurement-Of defined as a relation in theory Quantities
• Morphological-Relation defined as a relation in theory Structuring-Concepts
• Near defined as a relation in theory Positions
• Organism defined as a class in theory Top-Level
• Outcome-Of defined as a relation in theory Actors
• Part defined as a relation in theory Mereology
• Part-Of defined as a relation in theory Mereology
• Phenomenon-Or-Process defined as a class in theory Top-Level
• Piece-Of defined as a relation in theory Meronymy
• Portion-Of defined as a relation in theory Meronymy
• Prime-Component-Of defined as a relation in theory Meronymy
• Product-Of defined as a relation in theory Actors
• Production-Host-Of defined as a relation in theory Actors
• Range defined as a relation in theory Frame-Ontology
• Reference-Location-Of defined as a relation in theory Localization
• Region defined as a class in theory Localization
• Reified-Property defined as a class in theory Metaontology
• Relation defined as a class in theory Kif-Relations
• Shelf-Part defined as a relation in theory Meronymy
• Shelf-Part-Of defined as a relation in theory Meronymy
• Strictly-Depends-On defined as a relation in theory Dependence
• Strictly-Necessary-To defined as a relation in theory Dependence
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subclass-Partition defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Substance defined as a class in theory Top-Level
• Surrounded-By defined as a relation in theory Positions
• Surrounds defined as a relation in theory Positions
• Traverses defined as a relation in theory Positions
• Tributary-Of defined as a relation in theory Topo-Morphology
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology
• Within defined as a relation in theory Positions
• _Cellular defined as a relation in theory Layers
• _Channel defined as a relation in theory Topo-Morphology
• _Cold defined as a relation in theory Physical-Concepts
• _Colored defined as a relation in theory Physical-Concepts
• _Elastic defined as a relation in theory Physical-Concepts
• _Homogeneous defined as a relation in theory Meronymy
• _Molecular defined as a relation in theory Layers
• _Rigid defined as a relation in theory Physical-Concepts
• _Self-Connected defined as a relation in theory Topology
• _Smooth defined as a relation in theory Physical-Concepts
• _System defined as a relation in theory Meronymy

The following constants were used from theories not included:

• Anatomical-Abnormality defined as a class in theory Abnormalities
• Antigen defined as a class in theory Biologic-Substances
• Bacterium defined as a class in theory Natural-Kinds
• Binds-With defined as a relation in theory Molecular-Biology
• Biologic-Function defined as a class in theory Biologic-Functions
• Biologically-Active-Substance defined as a class in theory Biologic-Substances
• Body-Substance defined as a class in theory Biologic-Substances
• Breathing defined as a class in theory Biologic-Functions
• Fulfilled-Maturation defined as a class in theory Biologic-Functions
• Fungus defined as a class in theory Natural-Kinds
• Growth defined as a class in theory Biologic-Functions
• Health-Care-Activity defined as a class in theory Clin-Act
• Human defined as a class in theory Natural-Kinds
• Immune-Response defined as a class in theory Biologic-Functions
• Incoherent defined as a class in theory Built-In-Theory
• Mapping defined as a relation in theory Built-In-Theory
• Medical-Procedure defined as a class in theory Medical-Procedures
• Notion defined as a class in theory Abstract-Objects
• Organic-Chemical defined as a class in theory Substances
• Peptidoglycan defined as a class in theory Substances
• Physiologic-Function defined as a class in theory Biologic-Functions
• Plant defined as a class in theory Natural-Kinds
• Problem defined as a relation in theory Built-In-Theory
• Receptor defined as a class in theory Biologic-Substances
• Rickettsia-Or-Chlamydia defined as a class in theory Natural-Kinds
• The-Archetype defined as a function in theory Built-In-Theory
• Virus defined as a class in theory Natural-Kinds

All constants that were mentioned were defined.