http://purl.obolibrary.org/obo/BFO_0000129
owl:ObjectProperty
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)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| http://purl.obolibrary.org/obo/BFO_0000040 | http://purl.obolibrary.org/obo/BFO_0000129 | http://purl.obolibrary.org/obo/BFO_0000040 |
@prefix dc11: <http://purl.org/dc/elements/1.1/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
<http://purl.obolibrary.org/obo/BFO_0000129> a owl:ObjectProperty ;
rdfs:label "member part of"@en ;
dc11:identifier "228-BFO" ;
rdfs:domain <http://purl.obolibrary.org/obo/BFO_0000040> ;
rdfs:range <http://purl.obolibrary.org/obo/BFO_0000040> ;
rdfs:subPropertyOf <http://purl.obolibrary.org/obo/BFO_0000176> ;
skos:definition "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 ;
skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .