Relation EQUAL-BUT-TIME

Arity: 2

Subrelation-Of: Equality-relation

Axioms:

(=> (Equal-But-Time ?A ?B)
    (Or (Not (Exists (?C ?D)
                     (And (Time-Value ?B ?D)
                          (Time-Value ?A ?C)
                          (= ?C ?D))))
        (Not (Exists (?E ?F)
                     (And (Duration-Value ?B ?F)
                          (Duration-Value ?A ?E)
                          (= ?E ?F))))))

• Defined in theory: Equality
• Source code: Equality.lisp