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