Werner Ceusters
Werner Ceusters
But is it not so that the first or last instant of a temporal region can either be part of the temporal region or precede/just follow it? See [acg-1] and...
I think I am not seeing something you intend. You say "This arrangement, if t12 does not precede t23, should satisfy all axioms of BFO about temporal regions (including acg-1...
@kataph , You say ":Indeed, it must be false, or we get a contradiction: as per your reasoning, we get that t12 precedes t23. But, this is impossible, since t12...
An example of a spatial region would be the one that was spatially-occupied by Earth's northern hemisphere yesterday at noon. I am not sue what you mean by a 'region...
As long as Scotty cannot beam anybody up, I think I do agree.
No site: occupies-spatial-region is time indexed and has domain: independent-continuant but not spatial-region and range: spatial-region [lzw-1]. A site can spatially-occupy a spatial region, but nothing can specially occupy a...
> > nothing can specially occupy a site > > The distinction between `spatially-occupy` and `located in` seems quite technical. This can be a source of confusion. Not if one...
@wdduncan: I addressed your example. Alan pointed out where. It is not because one can say things in a certain way, e.g. that the spatial region yesterday at noon occupied...
@ajnelson-nist : All planets are material entities, most likely objects, thus not sites since sites are immaterial entities. A measurement procedure, when successful, results in the coming into existence of...
You probably read the comment just after I posted it without the explanation just to check whether I got the trick with the back quotes correct to keep the indentations....