F function_of C iff : for any f, t such that f instantiates F at t, there exists some c such that c instantiates C at t and f *function_of* C at t

Example: 'to blood pump' function_of_some 'heart'

Examples

Other relations

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

This relation has no inverse relations declared

Note that on the instance-level, function_of is the inverse of has_function, the instance form of has_function

id	OBO_REL_C:0000030
name	function_of
properties
aliases
anti_symmetric
holds_between
reflexive
symmetric
transitive
all_some_all_times	function_of
all_some_in_reference_context
example
reciprocal_relation	has_function
subrelation	inheres_in
text_definition	F function_of C iff : for any f, t such that f instantiates F at t, there exists some c such that c instantiates C at t and f *function_of* C at t

Axioms for this relation:

Axioms that refer to this relation: