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

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.

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

Component-AssembliesSimple-Geometry

Mace-Domain

Mechanical-Component Mechanical-Connection

Applied-ForceApplied-TorqueInertia-TensorMassReference-FrameReference-Point

**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.**

Formatting and translation code was written by