Class Inherited-Through-Class-Of-Relation

• Defined in ontology: Frame-ontology
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/frame-ontology.lisp

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))))