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