Michael Rabenberg

Hmm. I can't find [mma-1] in any of the clif files on the GitHub (and I hadn't seen it before). Is it in one of them?

Got it. Also just noticed that there needs to be a “and t2 is a temporal instant at t2” clause added to the final antecedent of the updated mma-1; as...

Suppose some balloon, B, increases in size over some temporal interval, int. B is an ic at int and B is not a spatial region at int. Furthermore, int is...

> The axiom I had was correct and is a theorem and the theory works in the sense that (ii) and (iii) are provable. The axiom we're discussing ([#74 (comment)](https://github.com/BFO-ontology/BFO-2020/issues/74#issuecomment-1853337908))...

> Yes, (i) still needs to be addressed an it will be. > > You can use [mcd-1], [cez-1], [bao-1], and [uas-1] to prove [mma-1]. I include it here for...

I regret that some other more pressing duties kept me from responding to any of this for so long. Thank you very much, Alan, for all of this, which has...

> Other examples: the pistons in a running engine, assuming the engine is rigidly mounted, the particles decaying in radioactive material, titling back the passenger seat in a car at...

It seems like it should work to me. The new axiom entails this: (1) (if (and (occupies-spatial-region m1 s1 t1) (instance-of m1 material-entity t1)) (forall (tp m2 sp) (if (and...

OK, thanks. One question relevant to how best to formulate the axioms is whether a given (say) fiat boundary can occupy *different* spatial regions at different times; some conceivable ways...

Alan says: Boundaries can definitely occupy different spatial regions at different times. I think there are puzzles but this might not be the best occasion to discuss the matter. Alan...