Class Inherited-Through-Class-Of-Relation

Arity: 1
Has-Instance: Instance-Of
Instance-Of: Class, Relation, Set
Subclass-Of: Binary-Relation, Relation, Set


Slots:

Arity: 2

Implication Axioms for Inherited-Through-Class-Of-Relation:

(=> (Inherited-Through-Class-Of-Relation ?R)
    (=> (And (Holds ?R ?X ?C1)
             (Class ?C1)
             (Class ?C2)
             (Subclass-Of ?C2 ?C1))
        (Holds ?R ?X ?C2)))


Equivalence Axioms for Inherited-Through-Class-Of-Relation:

(<=> (Inherited-Through-Class-Of-Relation ?R)
     (And (Binary-Relation ?R)
          (=> (And (Holds ?R ?X ?C1)
                   (Class ?C1)
                   (Class ?C2)
                   (Subclass-Of ?C2 ?C1))
              (Holds ?R ?X ?C2))))