Relation EXCLUDES

Relation for talking of something which allows an assessment of exclusion of an event or situation. This is a form of negative dependence: if x then not y.
Arity: 2
Range: Temporalized-entity
Subrelation-Of: Probability-relation
Axioms:
(=> (Excludes ?A ?B)
    (=> (Has-Existence ?A True) (Not (Has-Existence ?B True))))