Theory MECHANICAL-COMPONENTS

• Last modified: Sunday, 10 July 1994
• Source code: mechanical-components.lisp
• List of other known theories

Theory documentation:

This theory provides a minimal vocabulary for describing three-dimensional objects with mass. It is built on the abstract notion of components that we get from the component-assemblies theory, and the elementary geometric primitives from the simple-geometry theory.

In this theory, we say that a MECHANICAL-COMPONENT is a component that has a REFERENCE-POINT, a REFERENCE-FRAME, and a MASS. Information about the spatial extent and relative position of the object can be specified using the reference frame and point. The MASS of a mechanical-component is a physical quantity specified as the value of a unary function. The INERTIA-TENSOR for the component is given with a binary relation from the component and its reference point to an inertia quantity.

Notes:

• Copyright (c) 1994 Greg Olsen and Thomas R. Gruber

Cross Reference Report:

Theories included by Mechanical-Components:

  Component-Assemblies
  Simple-Geometry

Theories that include Mechanical-Components:

  Mace-Domain

2 classes defined:

    Mechanical-Component
    Mechanical-Connection

No relations defined.

6 functions defined:

  Applied-Force
  Applied-Torque
  Inertia-Tensor
  Mass
  Reference-Frame
  Reference-Point

No instances defined.

The following constants were used from included theories:

• * defined as a function in theory Kif-Numbers
• * defined as a function in theory Basic-Matrix-Algebra
• * defined as a function in theory Physical-Quantities
• * defined as a function in theory Scalar-Quantities
• * defined as a function in theory Tensor-Quantities
• 3d-Dyad defined as a class in theory 3d-Tensor-Quantities
• 3d-Frame defined as a class in theory Simple-Geometry
• 3d-Point defined as a class in theory Simple-Geometry
• 3d-Vector-Quantity defined as a class in theory 3d-Tensor-Quantities
• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Component defined as a class in theory Component-Assemblies
• Connection defined as a class in theory Component-Assemblies
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Force-Dimension defined as a object in theory Standard-Dimensions
• Function defined as a class in theory Kif-Relations
• Length-Dimension defined as a object in theory Standard-Dimensions
• Mass-Dimension defined as a object in theory Standard-Dimensions
• Nth-Domain defined as a relation in theory Frame-Ontology
• Quantity.Dimension defined as a function in theory Physical-Quantities
• Range defined as a relation in theory Frame-Ontology
• Scalar-Quantity defined as a class in theory Scalar-Quantities
• Subclass-Of defined as a relation in theory Frame-Ontology
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology

All constants that were mentioned were defined.