Role - bfo-attributes/BFO-Attributes-DLC GitHub Wiki

IRI http://www.ifomis.org/bfo/1.1/snap#Role

Definition

A realizable entity [snap:RealizableEntity] the manifestation of which brings about some result or end that is not essential to a continuant [snap:Continuant] in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant [snap:Continuant] in some kinds of natural, social or institutional contexts.

Examples

• the role of a woman as a legal mother in the context of system of laws
• the role of a person as a surgeon
• the role of a patient relative as defined by a hospital administrative form
• the role of a student in a university
• the role of a chemical compound in an experiment
• the role of ingested matter in digestion
• the role of a biological grandfather as legal guardian in the context of a system of laws

Axioms

b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001]) (forall (x) (if (Role x) (RealizableEntity x)))

Attributes

• role -has-> function
• role -has-> bearer
• role -has-> circumstance???