eco subset
valid_for_go_annotation_extension
valid_for_gocam
part of
has part
overlaps
http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y)
x overlaps y if and only if there exists some z such that x has part z and z part of y
mereotopologically related to
pending final vetting
axiom holds for all times