BFO-2020
BFO-2020 copied to clipboard
Definition and domain axiom of 'member part of' are not equally restrictive
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.'