Relation ALIAS

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

Slots on this relation:

Documentation:

Alias is a way to specify that two relations have the same extension. It is logically equivalent to the = relation, except that it is restricted to relations.

Instance-Of: Relation

Arity: 2

Domain: Relation

Range: Relation

Subrelation-Of: =

Equivalence Axioms:

(<=> (Alias ?Relation-1 ?Relation-2)
     (And (Relation ?Relation-1)
          (Relation ?Relation-2)
          (= ?Relation-1 ?Relation-2)))

Other Related Axioms:

(Alias Thing Bounded)

(=> (Alias $X $Y) (Relation $Y))

(=> (Alias $X $Y) (Relation $X))

(<= (= @Arg-List Nil) (Alias @Arg-List))

(<=> (Alias ?Relation-1 ?Relation-2)
     (And (Relation ?Relation-1)
          (Relation ?Relation-2)
          (= ?Relation-1 ?Relation-2)))