Has part example

From HAO Wiki

id: OBO_REL:has_part
alt_id: OBO_REL:0000003
name: has_part
inverse_of_on_instance_level: OBO_REL:part_of
is_reflexive: true
is_anti_symmetric: true
is_transitive: true

Given the above information (from OBO relations ontology) can we use has_part to deal with complex systems where lots of anatomical clusters have names, and we don't necessarily want to use all the names? For example, the external male genitalia is composed of numerous parts that are variably fused (depending on the taxon). Some individual sclerites (e.g., gonostipes) might end up as part_of lots of complexes that people don't use much -

gonostipes	is_a / 	sclerite
gonostipes	part_of / 	latimere
gonostipes	part_of / 	gonoforceps
gonostipes	part_of / 	phallobase
gonostipes	part_of / 	external male genitalia
gonostipes	part_of / 	external paramera

In this case it's not clear that every instance of gonostipes is part_of all 5 of those other structures, but it is definitely always part_of external male genitalia. Can we then do this (assuming each instance of latimere, etc. has_part gonostipes)?

latimere	has_part / 	gonostipes
gonoforceps	has_part / 	gonostipes
phallobase	has_part / 	gonostipes
external paramera	has_part / 	gonostipes
gonostipes	part_of / 	external male genitalia