C contained_in_some C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c located_in c' at t, and it is not the case that c *overlaps* c' at t. (c' is a conduit or cavity.) source: PMID:15892874

Examples

Other relations

This relation holds in a all-some-all-times over the instance-level relation: contained_in

This relation has no inverse relations declared

id	OBO_REL_C:0000010
name	contained_in
properties
aliases
anti_symmetric
holds_between
reflexive
symmetric
transitive
all_some_all_times	contained_in
all_some_in_reference_context
example
text_definition	C contained_in_some C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c located_in c' at t, and it is not the case that c *overlaps* c' at t. (c' is a conduit or cavity.)
text_definition_xref	PMID:15892874

Axioms for this relation:

Axioms that refer to this relation: