Link to this page
Influenza Ontology
Last uploaded:
August 20, 2015
Jump to:
| Id | http://purl.obolibrary.org/obo/BFO_0000023
http://purl.obolibrary.org/obo/BFO_0000023
|
|---|---|
| Preferred Name | role |
| Definitions |
A realizable entity the manifestation of which brings about some result or end that is not essential to a continuant in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant in some kinds of natural, social or institutional contexts.
|
| Type | http://www.w3.org/2002/07/owl#Class |
All Properties
| definition | A realizable entity the manifestation of which brings about some result or end that is not essential to a continuant in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant in some kinds of natural, social or institutional contexts. |
|---|---|
| label |
role
|
| prefLabel |
role
|
| has associated axiom(fol) |
(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001]
|
| editor note |
BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role & c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals – professor, sergeant, nurse – only during certain phases in their lives.
|
| isDefinedBy | |
| elucidation |
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])
|
| BFO OWL specification label |
role
|
| prefixIRI |
BFO:0000023
|
| subClassOf | |
| type | |
| example of usage |
the role of a stone in marking a property boundary
the priest role
the student role
the role of subject in a clinical trial
the role of a boundary to demarcate two neighboring administrative territories
John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married.
the role of a building in serving as a military target
See more
See less
|
| BFO CLIF specification label |
Role
|
Add comment
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |