Relation
INTERCONNECTED-BY
Arity
:
2
Axioms:
(
=
(
Inverse
Interconnects
)
Interconnected-By
)
Defined in theory:
Topo-morphology
Source code:
Topo-Morphology.lisp