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

Definition and domain axiom of 'member part of' are not equally restrictive

Open avsculley opened this issue 5 months ago • 6 comments

According to the definition, b is a member part of c means that b is an object and c is a material entity. However, the domain axiom says that its domain is 'material entity.'

avsculley avatar Sep 05 '24 15:09 avsculley