Theory SUBSTANCES

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

Theory documentation:

Theories included by Substances:

  Meronymy
  Physical-Concepts

Theories that include Substances:

  Biologic-Substances
  Molecular-Biology

51 classes defined:

    Chemical
       Chemical-Viewed-Functionally
       Hydrocarbon-Derivative
       Inorganic-Chemical
          Inorganic-Hydrocarbon-Derivative
             Carbide
             Carbon-Disulfide
             Carbonate
             Cyanate
             Cyanide
       Organic-Chemical
          Alkaloid
          Arachidonic-Acid
          Carbohydrate
             Polysaccharide
                Cellulose
                Peptidoglycan
             Sugar
          Chlorophyll
          Eicosanoid
          Fat-Substance
          Glycerol
          Hydrocarbon
          Lactam
          Organic-Hydrocarbon-Derivative
          Organophosphorus-Compound
          Protein
             Glycoprotein
          Steroid
       Phosphate
          Sugar-Phosphate
       Water
    Chemical-Compound
    Chemical-Viewed-Structurally
    Element-Ion-Or-Isotope
       Carbon-17
       Chemical-Element
          Carbon
          Hydrogen
          Nitrogen
          Oxygen
          Phosphorus
          Sulfur
    Lipid
       Ether-Linked-Lipid
       Glycolipid
       Phospholipid
    Molecular-Function
       Chemical-Reaction
       Splitting
    Oxygen-Linkage

14 relations defined:

  Catalyzed-By
  Catalyzes
  Derivative
  Derivative-Of
  Inhibited-By
  Inhibits
  Ion
  Ion-Of
  Isotope
  Isotope-Of
  Polymer
  Polymer-Of
  Transformation-Of
  Transforms-Into

No functions defined.

No instances defined.

The following constants were used from included theories:

• Alias defined as a relation in theory Frame-Ontology
• Arity defined as a function in theory Frame-Ontology
• Atomic-Mass-Value defined as a function in theory Physical-Concepts
• Atomic-Unit defined as a class in theory Physical-Concepts
• Chemical-Relation defined as a relation in theory Structuring-Concepts
• 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
• Constituent-Material defined as a relation in theory Meronymy
• Constituent-Material-Of defined as a relation in theory Meronymy
• Different defined as a relation in theory Equality
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Electron defined as a class in theory Physical-Concepts
• Entity defined as a class in theory Top-Level
• Interval defined as a class in theory Top-Level
• Inverse defined as a function in theory Kif-Relations
• Material-Object defined as a class in theory Top-Level
• Minimum-Slot-Cardinality defined as a relation in theory Frame-Ontology
• Natural-Process defined as a class in theory Top-Level
• Part defined as a relation in theory Mereology
• Prime-Component defined as a relation in theory Meronymy
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Strictly-Necessary-To defined as a relation in theory Dependence
• Subclass-Of 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
• Thing defined as a class in theory Frame-Ontology
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology
• _Fused-Ring defined as a relation in theory Physical-Concepts
• _Molecular defined as a relation in theory Layers
• _Polycyclic defined as a relation in theory Physical-Concepts

The following constants were used from theories not included:

• Absent-In defined as a relation in theory Assessment
• Actor-Of defined as a relation in theory Actors
• During defined as a relation in theory Unrestricted-Time
• Embodied-In defined as a relation in theory Actors
• Favors defined as a relation in theory Actors
• Incoherent defined as a class in theory Built-In-Theory
• Interconnected-By defined as a relation in theory Topo-Morphology
• Mapping defined as a relation in theory Built-In-Theory
• Meets defined as a relation in theory Unrestricted-Time
• Obsolete defined as a relation in theory Built-In-Theory
• Plant defined as a class in theory Natural-Kinds
• Prevents defined as a relation in theory Actors
• Product defined as a relation in theory Actors
• Value-Filler defined as a class in theory Quantities

All constants that were mentioned were defined.