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

**Documentation:**Relation R is an antisymmetric-relation if for distinct x and y, R(x,y) implies not R(y,x). In other words, for all x,y, R(x,y) and R(y,x) => x=y. R(x,x) is still possible.

**Subclass-Of:**Binary-relation

(<=> (Antisymmetric-Relation ?R) (And (Binary-Relation ?R) (=> (And (Holds ?R ?X ?Y) (Holds ?R ?Y ?X)) (= ?X ?Y))))

**See-Also:**asymmetric-relation