Relation COMPONENT

Arity: 2
Domain: Localized-entity
Range: Localized-entity
Axioms:
(= (Inverse Component-Of) Component)

(<=> (Component ?A ?B)
     (And (Localized-Entity ?A) (Localized-Entity ?B)))