Relation CONNECTED-TERMINALS

• Defined in theory: Dme-cml
• Source code: dme-cml.lisp

Slots on this relation:

Documentation:

(connected-terminals ?j ?t) means that junction ?j connects
terminal ?t to other terminals ?t2 for which (connected-terminals ?j ?t2) also holds.

Instance-Of: Relation

Arity: 2

Domain: Junction

Range: Terminal

Other Related Axioms:

(=> (Connected-Terminals $X $Y) (Terminal $Y))

(=> (Connected-Terminals $X $Y) (Junction $X))