Class REFLEXIVE-RELATION

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

Slots on this class:

Documentation:

Relation R is reflexive if R(x,x) for all x in the domain of R.

Instance-Of: Class

Subclass-Of: Binary-relation

Superclass-Of: Equivalence-relation, Partial-order-relation

Implication Axioms:

(=> (Instance-Of ?X (Exact-Domain ?R)) (Holds ?R ?X ?X))

Equivalence Axioms:

(<=> (Reflexive-Relation ?R)
     (And (Binary-Relation ?R)
          (=> (Instance-Of ?X (Exact-Domain ?R)) (Holds ?R ?X ?X))))

Axioms:

(Binary-Relation ?R)

Other Related Axioms:

(<=> (Reflexive-Relation ?R)
     (And (Binary-Relation ?R)
          (=> (Instance-Of ?X (Exact-Domain ?R)) (Holds ?R ?X ?X))))

(<=> (Equivalence-Relation ?R)
     (And (Reflexive-Relation ?R)
          (Symmetric-Relation ?R)
          (Transitive-Relation ?R)))

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