Relation HAS-DETACHED-PART

Arity: 2

Domain: Material-object

Range: Material-object

Axioms:

(= (Inverse Detached) Has-Detached-Part)

(<=> (Has-Detached-Part ?A ?B)
     (And (Material-Object ?A) (Material-Object ?B)))

• Defined in theory: Topo-morphology
• Source code: Topo-Morphology.lisp