Relation INVERSE-OF-GRANULARITY-RELATION

Arity: 2
Axioms:
(= (Inverse Granularity-Relation) Inverse-Of-Granularity-Relation)