Relation DETACHED

Arity: 2

Domain: Material-object

Range: Material-object

Subrelation-Of: Topo-morphological-relation

Axioms:

(=> (Detached ?A ?B)
    (And (Not (Attached ?A ?B))
         (Exists (?C) (And (Context ?A ?C) (Unexpected ?C ?B)))))

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