Class Asymmetric-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

Documentation:

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

Instance-Of: Class, Relation, Set

Subclass-Of:

Antisymmetric-Relation, Irreflexive-Relation, Binary-Relation, Relation, Set ...

---

Slots:

Arity: 2

Equivalence Axioms for Asymmetric-Relation:

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