Class WEAK-TRANSITIVE-RELATION

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

Slots on this class:

Documentation:

Relation R is weak-transitive if R(x,y) and R(y,z) and x /= z implies R(x,z).

Instance-Of: Class

Subclass-Of: Binary-relation

Implication Axioms:

(=> (And (Holds ?R ?X ?Y) (Holds ?R ?Y ?Z) (Not (= ?X ?Z)))
    (Holds ?R ?X ?Z))

Equivalence Axioms:

(<=> (Weak-Transitive-Relation ?R)
     (And (Binary-Relation ?R)
          (=> (And (Holds ?R ?X ?Y) (Holds ?R ?Y ?Z) (Not (= ?X ?Z)))
              (Holds ?R ?X ?Z))))

Axioms:

(Binary-Relation ?R)

Other Related Axioms:

(<=> (Weak-Transitive-Relation ?R)
     (And (Binary-Relation ?R)
          (=> (And (Holds ?R ?X ?Y) (Holds ?R ?Y ?Z) (Not (= ?X ?Z)))
              (Holds ?R ?X ?Z))))