Class
JUNCTION
Defined in theory:
Dme-cml
Source code:
dme-cml.lisp
Slots on this class:
Documentation
:
a junction that connects terminals
Instance-Of
:
Class
Subclass-Of
:
Structural-element-model
Domain-Of
:
Connected-terminals
Other Related Axioms:
(=> (
Connected-Terminals
$
X
$
Y
) (
Junction
$
X
))