Class INHERITED-THROUGH-CLASS-OF-RELATION

• Defined in theory: Frame-ontology
• Source code: frame-ontology.lisp

Slots on this class:

Instance-Of: Class

Subclass-Of: Binary-relation

Implication Axioms:

(=> (And (Holds ?R ?X ?C1) (Subclass-Of ?C1 ?C2)) (Holds ?R ?X ?C2))

Equivalence Axioms:

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

Axioms:

(Binary-Relation ?R)

Other Related Axioms:

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