Relation
CONNECTS
Instance-Of
:
Relation
,
Ternary
Arity
:
3
Subrelation-Of
:
Structuring-ternary
Axioms:
(=> (
Connects
?A ?B ?C) (And (
Connected
?A ?B) (
Connected
?B ?C)))
Defined in theory:
Topo-morphology
Source code:
Topo-Morphology.lisp