Relation HAS-ABNORMALLY-ATTACHED-PART

Arity: 2
Domain: Material-object
Range: Material-object
Axioms:
(= (Inverse Abnormally-Attached) Has-Abnormally-Attached-Part)

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