search

fabianneuhaus / BFO

Apache License 2.0
1 stars 0 forks source link

[FN007] mutually dependent continuants exist at the same time #39

Closed fabianneuhaus closed 10 years ago

fabianneuhaus commented 10 years ago

(cl:comment "Mutually dependent dependent continuants exists at the same time. [FN007-001]")

(forall (x y) (if (and (s-depends_on x y) (DependentContinuant x) (DependentContinuant y)) (iff (exists_at x t) (exists_at y t) )))

phismith commented 10 years ago

yes