http://purl.obolibrary.org/obo/BFO_0000115 leaf node


URI

http://purl.obolibrary.org/obo/BFO_0000115

Type

owl:ObjectProperty

Label

has member part

Description

b has member part c =Def c member part of b

Usage

DOMAINPROPERTYRANGE
http://purl.obolibrary.org/obo/BFO_0000040 http://purl.obolibrary.org/obo/BFO_0000115 http://purl.obolibrary.org/obo/BFO_0000040

Implementation

@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_0000115> a owl:ObjectProperty ;
    rdfs:label "has member part"@en ;
    dc11:identifier "230-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_0000178> ;
    owl:inverseOf <http://purl.obolibrary.org/obo/BFO_0000129> ;
    skos:definition "b has member part c =Def c member part of b"@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 .