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_0000145 a rdfs:Class ;
  rdfs:label "relational quality"@en ;
  rdfs:comment "b is a relational quality =Def b is a quality & there exists c and d such that c and d are not identical & b specifically depends on c & b specifically depends on d"@en ;
  rdfs:subClassOf obo:BFO_0000019 .

obo:BFO_0000197 a rdf:Property ;
  rdfs:label "inheres in"@en ;
  rdfs:comment "b inheres in c =Def b is a specifically dependent continuant & c is an independent continuant that is not a spatial region & b specifically depends on c"@en ;
  rdfs:domain obo:BFO_0000020 ;
  rdfs:range <https://w3id.org/linkml/Any> ;
  rdfs:subPropertyOf obo:BFO_0000195 .

obo:BFO_0000178 a rdf:Property ;
  rdfs:label "has continuant part"@en ;
  rdfs:comment "b has continuant part c =Def c continuant part of b"@en ;
  rdfs:domain obo:BFO_0000002 ;
  rdfs:range obo:BFO_0000002 , obo:BFO_0000140 , obo:BFO_0000006 , obo:BFO_0000018 , obo:BFO_0000147 .

obo:BFO_0000059 a rdf:Property ;
  rdfs:label "concretizes"@en ;
  rdfs:comment "b concretizes c =Def b is a process or a specifically dependent continuant & c is a generically dependent continuant & there is some time t such that c is the pattern or content which b shares at t with actual or potential copies"@en ;
  rdfs:range obo:BFO_0000031 .

obo:BFO_0000195 a rdf:Property ;
  rdfs:label "specifically depends on"@en ;
  rdfs:comment "(Elucidation) specifically depends on is a relation between a specifically dependent continuant b and specifically dependent continuant or independent continuant that is not a spatial region c such that b and c share no parts in common & b is of a nature such that at all times t it cannot exist unless c exists & b is not a boundary of c"@en ;
  rdfs:domain obo:BFO_0000020 ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:BFO_0000108 a rdf:Property ;
  rdfs:label "exists at"@en ;
  rdfs:comment "(Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists"@en ;
  rdfs:domain obo:BFO_0000001 ;
  rdfs:range obo:BFO_0000008 .

obo:BFO_0000176 a rdf:Property ;
  rdfs:label "continuant part of"@en ;
  rdfs:comment "b continuant part of c =Def b and c are continuants & there is some time t such that b and c exist at t & b continuant part of c at t"@en ;
  rdfs:domain obo:BFO_0000002 ;
  rdfs:range obo:BFO_0000002 , obo:BFO_0000040 , obo:BFO_0000004 , obo:BFO_0000006 .

obo:BFO_0000030 a rdfs:Class ;
  rdfs:label "object"@en ;
  rdfs:comment "(Elucidation) An object is a material entity which manifests causal unity & is of a type instances of which are maximal relative to the sort of causal unity manifested"@en ;
  rdfs:subClassOf obo:BFO_0000040 .

obo:BFO_0000185 a rdf:Property ;
  rdfs:label "has history"@en ;
  rdfs:comment "b has history c =Def c history of b"@en ;
  rdfs:domain obo:BFO_0000040 ;
  rdfs:range obo:BFO_0000182 .

obo:BFO_0000127 a rdf:Property ;
  rdfs:label "material basis of"@en ;
  rdfs:comment "b material basis of c =Def c has material basis b"@en ;
  rdfs:domain obo:BFO_0000040 ;
  rdfs:range obo:BFO_0000016 .

obo:BFO_0000115 a rdf:Property ;
  rdfs:label "has member part"@en ;
  rdfs:comment "b has member part c =Def c member part of b"@en ;
  rdfs:domain obo:BFO_0000040 ;
  rdfs:range obo:BFO_0000040 ;
  rdfs:subPropertyOf obo:BFO_0000178 .

obo:BFO_0000183 a rdf:Property ;
  rdfs:label "environs"@en ;
  rdfs:comment "b environs c =Def c occurs in b"@en ;
  rdfs:range xsd:string .

obo:BFO_0000129 a rdf:Property ;
  rdfs:label "member part of"@en ;
  rdfs:comment "b member part of c =Def b is an object & c is a material entity & there is some time t such that b continuant part of c at t & there is a mutually exhaustive and pairwise disjoint partition of c into objects x1, ..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n)"@en ;
  rdfs:domain obo:BFO_0000040 ;
  rdfs:range obo:BFO_0000040 ;
  rdfs:subPropertyOf obo:BFO_0000176 .

obo:BFO_0000029 a rdfs:Class ;
  rdfs:label "site"@en ;
  rdfs:comment "(Elucidation) A site is a three-dimensional immaterial entity whose boundaries either (partially or wholly) coincide with the boundaries of one or more material entities or have locations determined in relation to some material entity"@en ;
  rdfs:subClassOf obo:BFO_0000141 .

obo:BFO_0000210 a rdf:Property ;
  rdfs:label "occupies spatial region"@en ;
  rdfs:comment "b occupies spatial region r =Def b is an independent continuant that is not a spatial region & r is a spatial region & there is some time t such that every continuant part of b occupies some continuant part of r at t and no continuant part of b occupies any spatial region that is not a continuant part of r at t"@en ;
  rdfs:range obo:BFO_0000028 .

obo:BFO_0000038 a rdfs:Class ;
  rdfs:label "one-dimensional temporal region"@en ;
  rdfs:comment "(Elucidation) A one-dimensional temporal region is a temporal region that is a whole that has a temporal interval and zero or more temporal intervals and temporal instants as parts"@en ;
  rdfs:subClassOf obo:BFO_0000008 .

obo:BFO_0000062 a rdf:Property ;
  rdfs:label "preceded by"@en ;
  rdfs:comment "b preceded by c =Def b precedes c"@en ;
  rdfs:domain obo:BFO_0000003 ;
  rdfs:range obo:BFO_0000003 .

obo:BFO_0000132 a rdf:Property ;
  rdfs:label "occurrent part of"@en ;
  rdfs:comment "(Elucidation) occurrent part of is a relation between occurrents b and c when b is part of c"@en ;
  rdfs:domain obo:BFO_0000003 ;
  rdfs:range obo:BFO_0000008 , obo:BFO_0000015 , obo:BFO_0000011 , obo:BFO_0000003 .

obo:BFO_0000063 a rdf:Property ;
  rdfs:label "precedes"@en ;
  rdfs:comment "(Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants"@en ;
  rdfs:domain obo:BFO_0000003 ;
  rdfs:range obo:BFO_0000003 .

obo:BFO_0000117 a rdf:Property ;
  rdfs:label "has occurrent part"@en ;
  rdfs:comment "b has occurrent part c =Def c occurrent part of b"@en ;
  rdfs:domain obo:BFO_0000003 ;
  rdfs:range obo:BFO_0000003 , obo:BFO_0000035 .

obo:BFO_0000139 a rdf:Property ;
  rdfs:label "temporal part of"@en ;
  rdfs:comment "b temporal part of c =Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies)"@en ;
  rdfs:domain obo:BFO_0000003 ;
  rdfs:range obo:BFO_0000038 , obo:BFO_0000008 , obo:BFO_0000015 , obo:BFO_0000011 , obo:BFO_0000003 ;
  rdfs:subPropertyOf obo:BFO_0000132 .

obo:BFO_0000224 a rdf:Property ;
  rdfs:label "has last instant"@en ;
  rdfs:comment "t has last instant t' =Def t' last instant of t"@en ;
  rdfs:domain obo:BFO_0000008 ;
  rdfs:range obo:BFO_0000203 .

obo:BFO_0000121 a rdf:Property ;
  rdfs:label "has temporal part"@en ;
  rdfs:comment "b has temporal part c =Def c temporal part of b"@en ;
  rdfs:domain obo:BFO_0000003 ;
  rdfs:range obo:BFO_0000003 , obo:BFO_0000148 , obo:BFO_0000035 ;
  rdfs:subPropertyOf obo:BFO_0000117 .

obo:BFO_0000222 a rdf:Property ;
  rdfs:label "has first instant"@en ;
  rdfs:comment "t has first instant t' =Def t' first instant of t"@en ;
  rdfs:domain obo:BFO_0000008 ;
  rdfs:range obo:BFO_0000203 .

obo:BFO_0000016 a rdfs:Class ;
  rdfs:label "disposition"@en ;
  rdfs:comment "(Elucidation) A disposition b is a realizable entity such that if b ceases to exist then its bearer is physically changed & b's realization occurs when and because this bearer is in some special physical circumstances & this realization occurs in virtue of the bearer's physical make-up"@en ;
  rdfs:subClassOf obo:BFO_0000017 .

obo:BFO_0000218 a rdf:Property ;
  rdfs:label "has material basis"@en ;
  rdfs:comment "b has material basis c =Def b is a disposition & c is a material entity & there is some d bearer of b & there is some time t such that c is a continuant part of d at t & d has disposition b because c is a continuant part of d at t"@en ;
  rdfs:domain obo:BFO_0000016 ;
  rdfs:range obo:BFO_0000040 .

obo:BFO_0000054 a rdf:Property ;
  rdfs:label "has realization"@en ;
  rdfs:comment "b has realization c =Def c realizes b"@en ;
  rdfs:domain obo:BFO_0000017 ;
  rdfs:range obo:BFO_0000015 .

obo:BFO_0000142 a rdfs:Class ;
  rdfs:label "fiat line"@en ;
  rdfs:comment "(Elucidation) A fiat line is a one-dimensional continuant fiat boundary that is continuous"@en ;
  rdfs:subClassOf obo:BFO_0000140 .

obo:BFO_0000124 a rdf:Property ;
  rdfs:label "location of"@en ;
  rdfs:comment "b location of c =Def c located in b"@en ;
  rdfs:range obo:BFO_0000140 .

obo:BFO_0000020 a rdfs:Class ;
  rdfs:label "specifically dependent continuant"@en ;
  rdfs:comment "b is a specifically dependent continuant =Def b is a continuant & there is some independent continuant c which is not a spatial region & which is such that b specifically depends on c"@en ;
  rdfs:subClassOf obo:BFO_0000002 .

obo:BFO_0000203 a rdfs:Class ;
  rdfs:label "temporal instant"@en ;
  rdfs:comment "(Elucidation) A temporal instant is a zero-dimensional temporal region that has no proper temporal part"@en ;
  rdfs:subClassOf obo:BFO_0000148 .

obo:BFO_0000223 a rdf:Property ;
  rdfs:label "last instant of"@en ;
  rdfs:comment "t last instant of t' =Def t is a temporal instant & t' is a temporal region & all temporal parts of t' other than t precede t"@en ;
  rdfs:domain obo:BFO_0000203 ;
  rdfs:range obo:BFO_0000008 .

obo:BFO_0000221 a rdf:Property ;
  rdfs:label "first instant of"@en ;
  rdfs:comment "t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t"@en ;
  rdfs:domain obo:BFO_0000203 ;
  rdfs:range obo:BFO_0000008 .

obo:BFO_0000202 a rdfs:Class ;
  rdfs:label "temporal interval"@en ;
  rdfs:comment "(Elucidation) A temporal interval is a one-dimensional temporal region that is continuous, thus without gaps or breaks"@en ;
  rdfs:subClassOf obo:BFO_0000038 .

obo:BFO_0000148 a rdfs:Class ;
  rdfs:label "zero-dimensional temporal region"@en ;
  rdfs:comment "(Elucidation) A zero-dimensional temporal region is a temporal region that is a whole consisting of one or more separated temporal instants as parts"@en ;
  rdfs:subClassOf obo:BFO_0000008 .

obo:BFO_0000140 a rdfs:Class ;
  rdfs:label "continuant fiat boundary"@en ;
  rdfs:comment "(Elucidation) A continuant fiat boundary b is an immaterial entity that is of zero, one or two dimensions & such that there is no time t when b has a spatial region as continuant part & whose location is determined in relation to some material entity"@en ;
  rdfs:subClassOf obo:BFO_0000141 .

obo:BFO_0000031 a rdfs:Class ;
  rdfs:label "generically dependent continuant"@en ;
  rdfs:comment "(Elucidation) A generically dependent continuant is an entity that exists in virtue of the fact that there is at least one of what may be multiple copies which is the content or the pattern that multiple copies would share"@en ;
  rdfs:subClassOf obo:BFO_0000002 .

obo:BFO_0000058 a rdf:Property ;
  rdfs:label "is concretized by"@en ;
  rdfs:comment "c is concretized by b =Def b concretizes c"@en ;
  rdfs:domain obo:BFO_0000031 ;
  rdfs:range xsd:string .

obo:BFO_0000084 a rdf:Property ;
  rdfs:label "generically depends on"@en ;
  rdfs:comment "b generically depends on c =Def b is a generically dependent continuant & c is an independent continuant that is not a spatial region & at some time t there inheres in c a specifically dependent continuant which concretizes b at t"@en ;
  rdfs:domain obo:BFO_0000031 ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:BFO_0000024 a rdfs:Class ;
  rdfs:label "fiat object part"@en ;
  rdfs:comment "(Elucidation) A fiat object part b is a material entity & such that if b exists then it is continuant part of some object c & demarcated from the remainder of c by one or more fiat surfaces"@en ;
  rdfs:subClassOf obo:BFO_0000040 .

obo:BFO_0000034 a rdfs:Class ;
  rdfs:label "function"@en ;
  rdfs:comment "(Elucidation) A function is a disposition that exists in virtue of its bearer's physical make-up & this physical make-up is something the bearer possesses because it came into being either through evolution (in the case of natural biological entities) or through intentional design (in the case of artefacts) in order to realize processes of a certain sort"@en ;
  rdfs:subClassOf obo:BFO_0000016 .

obo:BFO_0000017 a rdfs:Class ;
  rdfs:label "realizable entity"@en ;
  rdfs:comment "(Elucidation) A realizable entity is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region & which is of a type some instances of which are realized in processes of a correlated type"@en ;
  rdfs:subClassOf obo:BFO_0000020 .

obo:BFO_0000006 a rdfs:Class ;
  rdfs:label "spatial region"@en ;
  rdfs:comment "(Elucidation) A spatial region is a continuant entity that is a continuant part of the spatial projection of a portion of spacetime at a given time"@en ;
  rdfs:subClassOf obo:BFO_0000141 .

obo:BFO_0000182 a rdfs:Class ;
  rdfs:label "history"@en ;
  rdfs:comment "(Elucidation) A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by the material part of a material entity"@en ;
  rdfs:subClassOf obo:BFO_0000015 .

obo:BFO_0000055 a rdf:Property ;
  rdfs:label "realizes"@en ;
  rdfs:comment "(Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c"@en ;
  rdfs:domain obo:BFO_0000015 ;
  rdfs:range obo:BFO_0000017 .

obo:BFO_0000199 a rdf:Property ;
  rdfs:label "occupies temporal region"@en ;
  rdfs:comment "p occupies temporal region t =Def p is a process or process boundary & the spatiotemporal region occupied by p temporally projects onto t"@en ;
  rdfs:range obo:BFO_0000008 .

obo:BFO_0000184 a rdf:Property ;
  rdfs:label "history of"@en ;
  rdfs:comment "(Elucidation) history of is a relation between history b and material entity c such that b is the unique history of c"@en ;
  rdfs:domain obo:BFO_0000182 ;
  rdfs:range obo:BFO_0000040 .

obo:BFO_0000200 a rdf:Property ;
  rdfs:label "occupies spatiotemporal region"@en ;
  rdfs:comment "(Elucidation) occupies spatiotemporal region is a relation between a process or process boundary p and the spatiotemporal region s which is its spatiotemporal extent"@en ;
  rdfs:range obo:BFO_0000011 .

obo:BFO_0000066 a rdf:Property ;
  rdfs:label "occurs in"@en ;
  rdfs:comment "b occurs in c =Def b is a process or a process boundary & c is a material entity or site & there exists a spatiotemporal region r & b occupies spatiotemporal region r & for all time 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 occupies spatial region s' at t & s is a continuant part of s' at t"@en ;
  rdfs:range xsd:string .

obo:BFO_0000057 a rdf:Property ;
  rdfs:label "has participant"@en ;
  rdfs:comment "p has participant c =Def c participates in p"@en ;
  rdfs:domain obo:BFO_0000015 ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:BFO_0000141 a rdfs:Class ;
  rdfs:label "immaterial entity"@en ;
  rdfs:comment "b is an immaterial entity =Def b is an independent continuant which is such that there is no time t when it has a material entity as continuant part"@en ;
  rdfs:subClassOf obo:BFO_0000004 .

obo:BFO_0000011 a rdfs:Class ;
  rdfs:label "spatiotemporal region"@en ;
  rdfs:comment "(Elucidation) A spatiotemporal region is an occurrent that is an occurrent part of spacetime"@en ;
  rdfs:subClassOf obo:BFO_0000003 .

obo:BFO_0000216 a rdf:Property ;
  rdfs:label "spatially projects onto"@en ;
  rdfs:comment "(Elucidation) spatially projects onto is a relation between some spatiotemporal region b and spatial region c such that at some time t, c is the spatial extent of b at t"@en ;
  rdfs:domain obo:BFO_0000011 ;
  rdfs:range obo:BFO_0000006 .

obo:BFO_0000153 a rdf:Property ;
  rdfs:label "temporally projects onto"@en ;
  rdfs:comment "(Elucidation) temporally projects onto is a relation between a spatiotemporal region s and some temporal region which is the temporal extent of s"@en ;
  rdfs:domain obo:BFO_0000011 ;
  rdfs:range obo:BFO_0000008 .

obo:BFO_0000040 a rdfs:Class ;
  rdfs:label "material entity"@en ;
  rdfs:comment "(Elucidation) A material entity is an independent continuant has some portion of matter as continuant part"@en ;
  rdfs:subClassOf obo:BFO_0000004 .

obo:BFO_0000027 a rdfs:Class ;
  rdfs:label "object aggregate"@en ;
  rdfs:comment "(Elucidation) An object aggregate is a material entity consisting exactly of a plurality (≥1) of objects as member parts which together form a unit"@en ;
  rdfs:subClassOf obo:BFO_0000040 .

obo:BFO_0000023 a rdfs:Class ;
  rdfs:label "role"@en ;
  rdfs:comment "(Elucidation) A role b is a realizable entity such that 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"@en ;
  rdfs:subClassOf obo:BFO_0000017 .

obo:BFO_0000001 a rdfs:Class ;
  rdfs:label "entity"@en ;
  rdfs:comment "(Elucidation) An entity is anything that exists or has existed or will exist"@en .

obo:BFO_0000026 a rdfs:Class ;
  rdfs:label "one-dimensional spatial region"@en ;
  rdfs:comment "(Elucidation) A one-dimensional spatial region is a whole consisting of a line together with zero or more lines which may have points as parts"@en ;
  rdfs:subClassOf obo:BFO_0000006 .

obo:BFO_0000004 a rdfs:Class ;
  rdfs:label "independent continuant"@en ;
  rdfs:comment "b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c"@en ;
  rdfs:subClassOf obo:BFO_0000002 .

obo:BFO_0000146 a rdfs:Class ;
  rdfs:label "fiat surface"@en ;
  rdfs:comment "(Elucidation) A fiat surface is a two-dimensional continuant fiat boundary that is self-connected"@en ;
  rdfs:subClassOf obo:BFO_0000140 .

obo:BFO_0000015 a rdfs:Class ;
  rdfs:label "process"@en ;
  rdfs:comment "(Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant"@en ;
  rdfs:subClassOf obo:BFO_0000003 .

obo:BFO_0000009 a rdfs:Class ;
  rdfs:label "two-dimensional spatial region"@en ;
  rdfs:comment "(Elucidation) A two-dimensional spatial region is a spatial region that is a whole consisting of a surface together with zero or more surfaces which may have spatial regions of lower dimension as parts"@en ;
  rdfs:subClassOf obo:BFO_0000006 .

obo:BFO_0000028 a rdfs:Class ;
  rdfs:label "three-dimensional spatial region"@en ;
  rdfs:comment "(Elucidation) A three-dimensional spatial region is a whole consisting of a spatial volume together with zero or more spatial volumes which may have spatial regions of lower dimension as parts"@en ;
  rdfs:subClassOf obo:BFO_0000006 .

obo:BFO_0000008 a rdfs:Class ;
  rdfs:label "temporal region"@en ;
  rdfs:comment "(Elucidation) A temporal region is an occurrent over which processes can unfold"@en ;
  rdfs:subClassOf obo:BFO_0000003 .

obo:BFO_0000002 a rdfs:Class ;
  rdfs:label "continuant"@en ;
  rdfs:comment "(Elucidation) A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity"@en ;
  rdfs:subClassOf obo:BFO_0000001 .

obo:BFO_0000019 a rdfs:Class ;
  rdfs:label "quality"@en ;
  rdfs:comment "(Elucidation) A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized"@en ;
  rdfs:subClassOf obo:BFO_0000020 .

obo:BFO_0000035 a rdfs:Class ;
  rdfs:label "process boundary"@en ;
  rdfs:comment "p is a process boundary =Def p is a temporal part of a process & p has no proper temporal parts"@en ;
  rdfs:subClassOf obo:BFO_0000003 .

obo:BFO_0000003 a rdfs:Class ;
  rdfs:label "occurrent"@en ;
  rdfs:comment "(Elucidation) An occurrent is an entity that unfolds itself in time or it is the start or end of such an entity or it is a temporal or spatiotemporal region"@en ;
  rdfs:subClassOf obo:BFO_0000001 .

obo:BFO_0000018 a rdfs:Class ;
  rdfs:label "zero-dimensional spatial region"@en ;
  rdfs:comment "(Elucidation) A zero-dimensional spatial region is one or a collection of more than one spatially disjoint points in space"@en ;
  rdfs:subClassOf obo:BFO_0000006 .

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

obo:BFO_0000147 a rdfs:Class ;
  rdfs:label "fiat point"@en ;
  rdfs:comment "(Elucidation) A fiat point is a zero-dimensional continuant fiat boundary that consists of a single point"@en ;
  rdfs:subClassOf obo:BFO_0000140 .

obo:BFO_0000056 a rdf:Property ;
  rdfs:label "participates in"@en ;
  rdfs:comment "(Elucidation) participates in holds between some b that is either a specifically dependent continuant or generically dependent continuant or independent continuant that is not a spatial region & some process p such that b participates in p some way"@en ;
  rdfs:range obo:BFO_0000015 .

obo:BFO_0000101 a rdf:Property ;
  rdfs:label "is carrier of"@en ;
  rdfs:comment "b is carrier of c =Def there is some time t such that c generically depends on b at t"@en ;
  rdfs:range obo:BFO_0000031 .

obo:BFO_0000171 a rdf:Property ;
  rdfs:label "located in"@en ;
  rdfs:comment "b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there is some time t such that the spatial region which b occupies at t is continuant part of the spatial region which c occupies at t"@en ;
  rdfs:range <https://w3id.org/linkml/Any> .

obo:BFO_0000194 a rdf:Property ;
  rdfs:label "specifically depended on by"@en ;
  rdfs:comment "b specifically depended on by c =Def c specifically depends on b"@en ;
  rdfs:range obo:BFO_0000020 .

obo:BFO_0000196 a rdf:Property ;
  rdfs:label "bearer of"@en ;
  rdfs:comment "b bearer of c =Def c inheres in b"@en ;
  rdfs:range obo:BFO_0000020 ;
  rdfs:subPropertyOf obo:BFO_0000194 .