Relation
BRANCH
Arity
:
2
Axioms:
(
=
(
Inverse
Branch-Of
)
Branch
)
Defined in theory:
Topo-morphology
Source code:
Topo-Morphology.lisp