Class ASYMMETRIC-RELATION

A binary relation is asymmetric if it is antisymmetric and irreflexive over its exact-domain.

Subclass-Of: Antisymmetric-relation, Irreflexive-relation

Axioms:

(<=> (Asymmetric-Relation ?R)
     (And (Antisymmetric-Relation ?R) (Irreflexive-Relation ?R)))

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