@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix obo_purl: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix metadata: <http://data.bioontology.org/metadata/> .
@prefix ns0: <(forall\u0020(x)\u0020(if\u0020(Role\u0020x)\u0020(RealizableEntity\u0020x)))\u0020//> .
obo_purl:BFO_0000016
owl:disjointWith obo_purl:BFO_0000023 .
obo_purl:BFO_0000023
metadata_def:mappingLoom "role" ;
metadata_def:mappingSameURI obo_purl:BFO_0000023 ;
metadata_def:prefLabel "role" ;
metadata:prefixIRI "BFO:0000023" ;
obo_purl:BFO_0000179 "role" ;
obo_purl:BFO_0000180 "Role" ;
obo_purl:IAO_0000112 "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."@en, "the priest role"@en, "the role of a boundary to demarcate two neighboring administrative territories"@en, "the role of a building in serving as a military target"@en, "the role of a stone in marking a property boundary"@en, "the role of subject in a clinical trial"@en, "the student role"@en ;
obo_purl:IAO_0000116 "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."@en ;
obo_purl:IAO_0000600 "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])"@en ;
obo_purl:IAO_0000602 "(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] " ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "role"@en ;
rdfs:subClassOf obo_purl:BFO_0000017 .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix obo_purl: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix metadata: <http://data.bioontology.org/metadata/> .
@prefix ns0: <(forall\u0020(x)\u0020(if\u0020(Role\u0020x)\u0020(RealizableEntity\u0020x)))\u0020//> .
obo_purl:BFO_0000016
owl:disjointWith obo_purl:BFO_0000023 .
obo_purl:BFO_0000023
metadata_def:mappingLoom "role" ;
metadata_def:mappingSameURI obo_purl:BFO_0000023 ;
metadata_def:prefLabel "role" ;
metadata:prefixIRI "BFO:0000023" ;
obo_purl:BFO_0000179 "role" ;
obo_purl:BFO_0000180 "Role" ;
obo_purl:IAO_0000112 "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."@en, "the priest role"@en, "the role of a boundary to demarcate two neighboring administrative territories"@en, "the role of a building in serving as a military target"@en, "the role of a stone in marking a property boundary"@en, "the role of subject in a clinical trial"@en, "the student role"@en ;
obo_purl:IAO_0000116 "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."@en ;
obo_purl:IAO_0000600 "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])"@en ;
obo_purl:IAO_0000602 "(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] " ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "role"@en ;
rdfs:subClassOf obo_purl:BFO_0000017 .