Theory PHYSICAL-CONCEPTS

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

Theory documentation:

Theories included by Physical-Concepts:

  Top-Level

Theories that include Physical-Concepts:

  Quantities
  Substances

16 classes defined:

    *Gas
    *Liquid
    *Solid
    Molecule
    Submolecular-Object
       Atom
       Atomic-Unit
          Branched-Chain-Subunit
          Side-Chain-Subunit
       Particle
          Electron
       Radical
          Bond
             Covalent-Bond
             Ionic-Bond
    Temperature

32 relations defined:

  Is-Atomic-Mass-Value-Of
  Negative-Charge
  Neutral-Charge
  Physical-Category
  Physical-Category-Of
  Positive-Charge
  _Atomic-Chain
  _Branched-Chain
  _Cold
  _Colored
  _Concentration-Property
  _Consistency-Property
  _Constant
  _Constant-Temperature
  _Density-Property
  _Elastic
  _Fused-Ring
  _Gaseous
  _Liquid
  _Physical-State
  _Plastic
  _Polycyclic
  _Rigid
  _Ring
  _Side-Chain
  _Size-Property
  _Smooth
  _Solid
  _Temperature-Property
  _Thickness-Property
  _Volume-Property
  _Weight-Property

1 function defined:

  Atomic-Mass-Value

No instances defined.

The following constants were used from included theories:

• Arity defined as a function in theory Frame-Ontology
• Cardinality defined as a function in theory Kif-Extensions
• Class defined as a class in theory Frame-Ontology
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Extrinsic-Structuring-Relation defined as a relation in theory Structuring-Concepts
• Function defined as a class in theory Kif-Relations
• 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
• Number defined as a class in theory Kif-Numbers
• Physical-Property defined as a relation in theory Structuring-Concepts
• Range defined as a relation in theory Frame-Ontology
• Reified-Property defined as a class in theory Metaontology
• Relation defined as a class in theory Kif-Relations
• 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 defined as a function in theory Structuring-Concepts
• Value defined as a function in theory Kif-Relations
• Value-Cardinality defined as a function in theory Frame-Ontology
• _Atomic defined as a relation in theory Layers
• _Molecular defined as a relation in theory Layers
• _Subatomic defined as a relation in theory Layers

The following constants were used from theories not included:

• Chemical defined as a class in theory Substances
• Component defined as a relation in theory Meronymy
• Component-Of defined as a relation in theory Meronymy
• Conventional-Within defined as a relation in theory Assessment
• Element defined as a relation in theory Meronymy
• Has-Attached defined as a relation in theory Topo-Morphology
• Interconnects defined as a relation in theory Topo-Morphology
• Larger defined as a relation in theory Quantities
• Physics defined as a class in theory Topics
• Prime-Component-Of defined as a relation in theory Meronymy
• The-Archetype defined as a function in theory Built-In-Theory
• True defined as a object in theory Built-In-Theory
• _Atom defined as a relation in theory Mereology
• _Chain defined as a relation in theory Topo-Morphology
• _Closed defined as a relation in theory Topology
• _Collection defined as a relation in theory Meronymy
• _Open defined as a relation in theory Topology
• _Pair defined as a relation in theory Quantities
• _Self-Connected defined as a relation in theory Topology

All constants that were mentioned were defined.