Relation ALL=

• Defined in theory: Dme-cml
• Source code: dme-cml.lisp

Slots on this relation:

Documentation:

?SET is a set of fluents. They all have the same value at the given ?TIME.

Instance-Of: Relation

Arity: 2

Range: Set

Equivalence Axioms:

(<=> (All= ?Time ?Set)
     (Forall (?E1 ?E2)
             (=> (And (Member ?E1 ?Set) (Member ?E2 ?Set))
                 (= (Value-At ?E1 ?Time) (Value-At ?E2 ?Time)))))

Other Related Axioms:

(=> (All= $X $Y) (Set $Y))

(<=> (All= ?Time ?Set)
     (Forall (?E1 ?E2)
             (=> (And (Member ?E1 ?Set) (Member ?E2 ?Set))
                 (= (Value-At ?E1 ?Time) (Value-At ?E2 ?Time)))))