Function THE-FINER-GRANULARITY

Arity: 3
Range: Entity
Subrelation-Of: Structuring-ternary
Axioms:
(Nth-Domain The-Finer-Granularity 2 Entity)

(Nth-Domain The-Finer-Granularity 1 Entity)

(=> (The-Finer-Granularity ?A ?B ?C)
    (Not (And (=> (Finer-Granularity ?A ?B) (Identity ?C ?A))
              (=> (Finer-Granularity ?B ?A) (Identity ?C ?B)))))