Relation ABNORMALLY-ATTACHED

Arity: 2

Domain: Material-object

Range: Material-object

Subrelation-Of: Attached

Axioms:

(=> (Abnormally-Attached ?A ?B)
    (Exists (?C) (And (Context ?A ?C) (Unexpected ?C ?B))))

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