search

fabianneuhaus / BFO

Apache License 2.0
1 stars 0 forks source link

111-002 is no theorem. #22

Open fabianneuhaus opened 10 years ago

fabianneuhaus commented 10 years ago

(forall (x t) (if (and (Continuant x) (exists_at x t) ) (continuant_part_of x x t)))