BFO-2020
BFO-2020 copied to clipboard
Minor issue with definition of ‘located in’
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.