Relation CONNECTS-COMPONENTS

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

Slots on this relation:

Documentation:

Connects-components is a slot that maps from a connection object to the components it connects. Since components cannot be connected to themselves, and there cannot be a connection object without a connected-components relationship, then this slot will always have at least two values. Since connected-components is symmetric, there is no information in the order of the values of this slot (if order were significant, it would have a single value that is a list).

Instance-Of: Relation

Arity: 2

Domain: Connection

Range: Component

Other Related Axioms:

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

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Connection
                       Connects-Components
                       2)

(=> (Connection ?X)
    (Minimum-Value-Cardinality ?X Connects-Components 2))

(<=> (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))

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