Class ASYMMETRIC-RELATION

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

Slots on this class:

Documentation:

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

Instance-Of: Class

Subclass-Of: Antisymmetric-relation, Irreflexive-relation

Superclass-Of: Partial-order-relation

Equivalence Axioms:

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

Axioms:

(Irreflexive-Relation ?R)

(Antisymmetric-Relation ?R)

Other Related Axioms:

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

(<=> (Partial-Order-Relation ?R)
     (And (Reflexive-Relation ?R)
          (Asymmetric-Relation ?R)
          (Transitive-Relation ?R)))