Class
*LINK
Subclass-Of
:
Material-object
The-Archetype:
Reified-property
Axioms:
(=> (
*Link
?Self) (Exists (?Y ?Z) (And (
Connected
?Self ?Y) (
Connected
?Y ?Z))))
Defined in theory:
Topo-morphology
Source code:
Topo-Morphology.lisp