Class TRANSITIVE-RELATION

Relation R is transitive if R(x,y) and R(y,z) implies R(x,z).
Subclass-Of: Binary-relation
Axioms:
(<=> (Transitive-Relation ?R)
     (And (Binary-Relation ?R)
          (=> (And (Holds ?R ?X ?Y) (Holds ?R ?Y ?Z))
              (Holds ?R ?X ?Z))))