cellular component xp self
type: Ontology
comment: This is an OWL translation of an ontology whose native representational form isobo. The translation was performed using the oboInOwl xslt library. For details, see http://www.berkeleybop.org/obo-conv.cgi

adjacent_to
type: ObjectProperty
has definition: in spatial proximity to, but not overlapping
sub property of: reachable_over_adjacent_to

boundary_part_of
type: ObjectProperty
comment: X boundary_part_of Y if (1) X part_of Y and (2) all parts of Y that are adjacent_to the exterior are parts of X. For example, between a membrane and the organelle it is part of
sub property of: part of

extrinsic_to
type: ObjectProperty

bounded_by
type: ObjectProperty
comment: does NOT imply part of (a boundary is ny necessity between two things). E.g. GO:0030287 cell wall-bounded periplasmic space. x and y are externally connected and the whole of the external boundary of x is in contact with y. (ie holes don't count)
sub property of: adjacent_to

attaches_to
type: ObjectProperty

inner_part_of
type: ObjectProperty
sub property of: part of

outer_part_of
type: ObjectProperty
sub property of: part of

completely_bounded_by
type: ObjectProperty
comment: TODO - change many of the existing bounded_by relations to this
comment: x and y are externally connected and the whole boundary of x is in contact with y.
sub property of: bounded_by

has_part
type: ObjectProperty
type: TransitiveProperty

bounds
type: ObjectProperty
inverse of: bounded_by
sub property of: adjacent_to

perforates
type: ObjectProperty
comment: x perforates y if x is part of y and x surrounds a space that is adjacent_to the inside and outside of y
sub property of: part of

lacks_part
type: ObjectProperty

complex_of
type: ObjectProperty
comment: Example: polysome complex_of ribosome
has definition: X complex_of Y all instance of X has_part y1 and has_part y2 where y1 and y2 are distinct instances of Y

lumen_of
type: ObjectProperty
comment: placeholder relation until the relevant membrane term has been declared. X lumen_of Y if X is a lumen and there exists some membrane Z such that X bounded_by Z and Z boundary_part_of Y.
sub property of: part of

continuous_with
type: ObjectProperty
type: TransitiveProperty
has definition: shares fiat boundary with

partially_enclosed_by
type: ObjectProperty
comment: a cross-section of x is lumen_of y. i.e. x is an invagination within y

spans
type: ObjectProperty
has definition: A spans B iff A overlaps B and A overlaps the two regions on either side of B
sub property of: overlaps

reachable_over_adjacent_to
type: TransitiveProperty

in spatial proximity to, but not overlapping
type: Definition
has db xref: RO:overlaps

RO:overlaps
type: DbXref
has URI: http://purl.org/obo/owl/RO#RO_overlaps

X complex_of Y all instance of X has_part y1 and has_part y2 where y1 and y2 are distinct instances of Y
type: Definition

shares fiat boundary with
type: Definition

overlaps
type: ObjectProperty
has definition: x overlaps y if there is some region that is part of both x and y
property chain axiom: http://lodlaundromat.org/.well-known/genid/8a40e8eeab5f6535e3e009a641dfcdfa#1557

x overlaps y if there is some region that is part of both x and y
type: Definition

A spans B iff A overlaps B and A overlaps the two regions on either side of B
type: Definition

enclosed_by
type: ObjectProperty
comment: similar to bounded_by but not necessarily adjacent.
property chain axiom: http://lodlaundromat.org/.well-known/genid/8a40e8eeab5f6535e3e009a641dfcdfa#1560