Relation DEPENDENTLY-CO-EXIST

Two entities whatsoever existing in the same time-span, and symmetrical depending one another.

Arity: 2

Subrelation-Of: Co-exist, Strictly-depends-on, Strictly-necessary-to

Axioms:

(<=> (Dependently-Co-Exist ?A ?B)
     (And (Co-Exist ?A ?B)
          (Strictly-Necessary-To ?A ?B)
          (Strictly-Depends-On ?A ?B)))

• Defined in theory: Unrestricted-time
• Source code: Unrestricted-Time.lisp