BFO-2020 icon indicating copy to clipboard operation
BFO-2020 copied to clipboard

Minor issue with definition of ‘located in’

Open gregfowlerphd opened this issue 5 months ago • 1 comments

Describe the bug

The definition reads:

b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there is some time t such that the spatial region which b occupies at t is continuant part of the spatial region which c occupies at t

Notice that the word ‘continuant’ is missing after the second instance of ‘independent’.

Expected behavior

I believe 'continuant' should be added to the definition at the relevant place.

gregfowlerphd avatar Sep 05 '24 19:09 gregfowlerphd