PREFIX obo: <http://purl.obolibrary.org/obo/>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>

obo:BFO_0000006 a rdfs:Class ;
  rdfs:label "spatial region"@en ;
  rdfs:subClassOf obo:BFO_0000141 .

obo:RO_0001025 a rdf:Property ;
  rdfs:label "located in"@en ;
  rdfs:comment "a relation between two independent continuants, the target and the location, in which the target is entirely within the location"@en ;
  rdfs:domain obo:BFO_0000004 ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:RO_0000087 a rdf:Property ;
  rdfs:label "has role"@en ;
  rdfs:comment "a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence"@en ;
  rdfs:domain obo:BFO_0000004 ;
  rdfs:range obo:BFO_0000023 ;
  rdfs:subPropertyOf obo:RO_0000053 .

obo:RO_0000085 a rdf:Property ;
  rdfs:label "has function"@en ;
  rdfs:comment "a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence"@en ;
  rdfs:domain obo:BFO_0000004 ;
  rdfs:range obo:BFO_0000034 ;
  rdfs:subPropertyOf obo:RO_0000053 .

obo:RO_0000091 a rdf:Property ;
  rdfs:label "has disposition"@en ;
  rdfs:comment "a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence"@en ;
  rdfs:domain obo:BFO_0000004 ;
  rdfs:range obo:BFO_0000016 ;
  rdfs:subPropertyOf obo:RO_0000053 .

obo:RO_0000056 a rdf:Property ;
  rdfs:label "participates in"@en ;
  rdfs:comment "a relation between a continuant and a process, in which the continuant is somehow involved in the process"@en ;
  rdfs:domain obo:BFO_0000002 ;
  rdfs:range obo:BFO_0000003 .

<http://www.w3.org/2003/11/swrl#Variable> a rdfs:Class .

obo:BFO_0000023 a rdfs:Class ;
  rdfs:label "role"@en ;
  rdfs:comment "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."@en ;
  rdfs:subClassOf obo:BFO_0000017 .

obo:BFO_0000054 a rdf:Property ;
  rdfs:label "realized in"@en ;
  rdfs:comment "Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process"@en ;
  rdfs:domain obo:BFO_0000017 ;
  rdfs:range obo:BFO_0000015 .

obo:RO_0000059 a rdf:Property ;
  rdfs:label "concretizes"@en ;
  rdfs:comment "A relationship between a specifically dependent continuant and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. Multiple specifically dependent continuants can concretize the same generically dependent continuant."@en ;
  rdfs:domain obo:BFO_0000020 ;
  rdfs:range obo:BFO_0000031 .

obo:BFO_0000016 a rdfs:Class ;
  rdfs:label "disposition"@en ;
  rdfs:subClassOf obo:BFO_0000017 .

obo:BFO_0000002 a rdfs:Class ;
  rdfs:label "continuant"@en ;
  rdfs:comment "An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts."@en .

obo:BFO_0000019 a rdfs:Class ;
  rdfs:label "quality"@en ;
  rdfs:subClassOf obo:BFO_0000020 .

obo:BFO_0000020 a rdfs:Class ;
  rdfs:label "specifically dependent continuant"@en ;
  rdfs:comment "A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same."@en ;
  rdfs:subClassOf obo:BFO_0000002 .

obo:BFO_0000003 a rdfs:Class ;
  rdfs:label "occurrent"@en ;
  rdfs:comment "An entity that has temporal parts and that happens, unfolds or develops through time."@en .

obo:RO_0000057 a rdf:Property ;
  rdfs:label "has participant"@en ;
  rdfs:comment "a relation between a process and a continuant, in which the continuant is somehow involved in the process"@en ;
  rdfs:domain obo:BFO_0000003 ;
  rdfs:range obo:BFO_0000002 .

obo:BFO_0000066 a rdf:Property ;
  rdfs:label "occurs in"@en ;
  rdfs:comment "b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t"@en ;
  rdfs:domain obo:BFO_0000003 ;
  rdfs:range obo:BFO_0000004 .

obo:BFO_0000031 a rdfs:Class ;
  rdfs:label "generically dependent continuant"@en ;
  rdfs:comment "A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time."@en ;
  rdfs:subClassOf obo:BFO_0000002 .

obo:RO_0000058 a rdf:Property ;
  rdfs:label "is concretized as"@en ;
  rdfs:comment "A relationship between a generically dependent continuant and a specifically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants."@en ;
  rdfs:domain obo:BFO_0000031 ;
  rdfs:range obo:BFO_0000020 .

<https://w3id.org/linkml/Any> a rdfs:Class ;
  rdfs:comment "An unconstrained type or object"@en .

obo:BFO_0000034 a rdfs:Class ;
  rdfs:label "function"@en ;
  rdfs:subClassOf obo:BFO_0000016 .

obo:RO_0000079 a rdf:Property ;
  rdfs:label "function of"@en ;
  rdfs:comment "a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence"@en ;
  rdfs:domain obo:BFO_0000034 ;
  rdfs:range <https://w3id.org/linkml/Any> ;
  rdfs:subPropertyOf obo:RO_0000052 .

obo:BFO_0000017 a rdfs:Class ;
  rdfs:label "realizable entity"@en ;
  rdfs:comment "A specifically dependent continuant  that inheres in continuant  entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances."@en ;
  rdfs:subClassOf obo:BFO_0000020 .

obo:BFO_0000141 a rdfs:Class ;
  rdfs:label "immaterial entity"@en ;
  rdfs:subClassOf obo:BFO_0000004 .

obo:BFO_0000040 a rdfs:Class ;
  rdfs:label "material entity"@en ;
  rdfs:comment "An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time."@en ;
  rdfs:subClassOf obo:BFO_0000004 .

obo:RO_0002002 a rdf:Property ;
  rdfs:label "has 2D boundary"@en ;
  rdfs:comment "a relation between a material entity and a 2D immaterial entity (the boundary), in which the boundary delimits the material entity"@en ;
  rdfs:domain obo:BFO_0000040 ;
  rdfs:range obo:BFO_0000141 .

obo:BFO_0000004 a rdfs:Class ;
  rdfs:label "independent continuant"@en ;
  rdfs:comment "A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything."@en ;
  rdfs:subClassOf obo:BFO_0000002 .

obo:BFO_0000015 a rdfs:Class ;
  rdfs:label "process"@en ;
  rdfs:comment "An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t."@en ;
  rdfs:subClassOf obo:BFO_0000003 .

obo:BFO_0000055 a rdf:Property ;
  rdfs:label "realizes"@en ;
  rdfs:comment "Paraphrase of elucidation: a relation between a process and a realizable entity, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process"@en ;
  rdfs:domain obo:BFO_0000015 ;
  rdfs:range obo:BFO_0000017 .

obo:BFO_0000050 a rdf:Property ;
  rdfs:label "part of"@en ;
  rdfs:comment "a core relation that holds between a part and its whole"@en ;
  rdfs:seeAlso <http://www.obofoundry.org/ro/#OBO_REL:part_of> ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:BFO_0000051 a rdf:Property ;
  rdfs:label "has part"@en ;
  rdfs:comment "a core relation that holds between a whole and its part"@en ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:BFO_0000067 a rdf:Property ;
  rdfs:label "contains process"@en ;
  rdfs:comment "[copied from inverse property 'occurs in'] b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t"@en ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:RO_0000052 a rdf:Property ;
  rdfs:label "characteristic of"@en ;
  rdfs:comment "a relation between a specifically dependent continuant (the characteristic) and any other entity (the bearer), in which the characteristic depends on the bearer for its existence."@en ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:RO_0000053 a rdf:Property ;
  rdfs:label "has characteristic"@en ;
  rdfs:comment "Inverse of characteristic_of"@en ;
  rdfs:range obo:BFO_0000020 .

obo:RO_0000080 a rdf:Property ;
  rdfs:label "quality of"@en ;
  rdfs:comment "a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence"@en ;
  rdfs:range xsd:string ;
  rdfs:subPropertyOf obo:RO_0000052 .

obo:RO_0000081 a rdf:Property ;
  rdfs:label "role of"@en ;
  rdfs:comment "a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence"@en ;
  rdfs:range xsd:string ;
  rdfs:subPropertyOf obo:RO_0000052 .

obo:RO_0000086 a rdf:Property ;
  rdfs:label "has quality"@en ;
  rdfs:comment "a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence"@en ;
  rdfs:range obo:BFO_0000019 ;
  rdfs:subPropertyOf obo:RO_0000053 .

obo:RO_0000092 a rdf:Property ;
  rdfs:label "disposition of"@en ;
  rdfs:comment "This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020."@en ;
  rdfs:range xsd:string ;
  rdfs:subPropertyOf obo:RO_0000052 .

obo:RO_0001000 a rdf:Property ;
  rdfs:label "derives from"@en ;
  rdfs:comment "a relation between two distinct material entities, the new entity and the old entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity"@en ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:RO_0001001 a rdf:Property ;
  rdfs:label "derives into"@en ;
  rdfs:comment "a relation between two distinct material entities, the old entity and the new entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity"@en ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:RO_0001015 a rdf:Property ;
  rdfs:label "location of"@en ;
  rdfs:comment "a relation between two independent continuants, the location and the target, in which the target is entirely within the location"@en ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:RO_0002000 a rdf:Property ;
  rdfs:label "2D boundary of"@en ;
  rdfs:comment "a relation between a 2D immaterial entity (the boundary) and a material entity, in which the boundary delimits the material entity"@en ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:RO_0002350 a rdf:Property ;
  rdfs:label "member of"@en ;
  rdfs:comment "is member of is a mereological relation between a item and a collection."@en ;
  rdfs:range xsd:string ;
  rdfs:subPropertyOf obo:BFO_0000050 .

obo:RO_0002351 a rdf:Property ;
  rdfs:label "has member"@en ;
  rdfs:comment "has member is a mereological relation between a collection and an item."@en ;
  rdfs:range xsd:string ;
  rdfs:subPropertyOf obo:BFO_0000051 .

obo:RO_0004096 a rdf:Property ;
  rdfs:label "DEPRECATED inheres in"@en ;
  rdfs:comment "DEPRECATED This relation is similar to but different in important respects to the characteristic-of relation. See comments on that relation for more information."@en ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:RO_0004097 a rdf:Property ;
  rdfs:label "DEPRECATED bearer of"@en ;
  rdfs:range <https://w3id.org/linkml/Any> .
