In #259, I noted a seeming problem involving the use of 'instance of' in the definition for has member located in--namely that 'an instance of some material entity' implies that a material entity can have instances. @mark-jensen agreed that this was a problem, and @cameronmore has now created a pull request that addresses both it and another worry I described in the comments.
However, I also noted in #259 that variants of this problem affect the definitions for seven other object properties. I plan to create a pull request that addresses the problem for four of them--caused by, affects, is cause of, and is affected by--while also putting their definitions into the favored form described by Mark in the comments, and I've created this issue to link it to.
(Note: I've left out is temporal region of because of the further concerns with its definition described in my #262, as well as process started by and process starts because their definitions also suffer from an additional problem.)
In #259, I noted a seeming problem involving the use of 'instance of' in the definition for has member located in--namely that 'an instance of some material entity' implies that a material entity can have instances. @mark-jensen agreed that this was a problem, and @cameronmore has now created a pull request that addresses both it and another worry I described in the comments.
However, I also noted in #259 that variants of this problem affect the definitions for seven other object properties. I plan to create a pull request that addresses the problem for four of them--caused by, affects, is cause of, and is affected by--while also putting their definitions into the favored form described by Mark in the comments, and I've created this issue to link it to.
(Note: I've left out is temporal region of because of the further concerns with its definition described in my #262, as well as process started by and process starts because their definitions also suffer from an additional problem.)