f function_of c at t iff : f inheres_in c at t and f instantiates a function

Example: 'to blood pump' function_of 'heart'

Examples

Other relations

This relation is the inverse of has_function

id	OBO_REL_I:0000030
name	function_of
properties
aliases
anti_symmetric
holds_between	function and independent_continuant
reflexive
symmetric
transitive
all_some_in_reference_context
example
inverse_of	has_function
subrelation	inheres_in
text_definition	f function_of c at t iff : f inheres_in c at t and f instantiates a function

Axioms for this relation:

Axioms that refer to this relation: