P has_participant_some C if and only if: given any process p that instantiates P there is some continuant c, and some time t, such that: c instantiates C at t and c participates in p at t source: PMID:15892874

Examples

Other relations

This relation has no inverse relations declared

Note that on the instance-level, has_participant is the inverse of participates_in, the instance form of participates_in

id	OBO_REL_C:0000019
name	has_participant
properties
aliases
anti_symmetric
holds_between
reflexive
symmetric
transitive
all_some	has_participant
all_some_in_reference_context
example
reciprocal_relation	participates_in
text_definition	P has_participant_some C if and only if: given any process p that instantiates P there is some continuant c, and some time t, such that: c instantiates C at t and c participates in p at t
text_definition_xref	PMID:15892874

Axioms for this relation:

Axioms that refer to this relation: