Class COMPONENT

• Defined in theory: Component-assemblies
• Source code: component-assemblies.lisp

Slots on this class:

Documentation:

A COMPONENT is a structure that can have parts and connections. The concept of components as a defined in this theory is a fundamental abstraction that applies in many engineering domains. Component structures need nopt correspond to physically whole objects such as standard parts from a catalog. The class of component, as defined here, may also be used to represent nonphysical objects such as modules in a software program, functions in a functional description, and model fragments in a model library. This is a primitive concept; what makes an object a component is how it is connected and a part of other objects.

Instance-Of: Class

Subclass-Of: Individual-thing

Domain-Of:

Connected-components, Has-subcomponent, Has-subpart-slot, Subcomponent-of

Range-Of: Connected-components, Connects-components, Subcomponent-of

Superclass-Of: Connection

Other Related Axioms:

(=> (Subcomponent-Of $X $Y) (Component $Y))

(=> (Subcomponent-Of $X $Y) (Component $X))

(=> (Connected-Components $X $Y) (Component $Y))

(=> (Connected-Components $X $Y) (Component $X))

(Exists (?A ?B)
        (And (Component ?A)
             (Component ?B)
             (Connects-Components ?X ?A)
             (Connects-Components ?X ?B)
             (Connected-Components ?A ?B)))

(<=> (Connection ?X)
     (And (Component ?X)
          (Exists (?A ?B)
                  (And (Component ?A)
                       (Component ?B)
                       (Connects-Components ?X ?A)
                       (Connects-Components ?X ?B)
                       (Connected-Components ?A ?B)))))

(=> (Connects-Components $X $Y) (Component $Y))

(=> (Has-Subpart-Slot $X $Y) (Component $X))

(<= (Range $X Component) (Subpart-Slot $X))

(Inherited-Slot-Value Subpart-Slot Range Component)

(<= (Domain $X Component) (Subpart-Slot $X))

(Inherited-Slot-Value Subpart-Slot Domain Component)

(=> (Subpart-Slot ?Unary-Function)
    (And (Domain ?Unary-Function Component)
         (Range ?Unary-Function Component)))