Definability and Decidability of Binary Predicates for Time Granularity