(= (Inverse Directional-Part-Of) Directional-Part) (<=> (Directional-Part ?A ?B) (And (Entity ?A) (Entity ?B)))