overlaps

@prefix obo: <http://purl.obolibrary.org/obo/> .
@prefix oboInOwl: <http://www.geneontology.org/formats/oboInOwl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

obo:RO_0002131 a owl:ObjectProperty,
        owl:SymmetricProperty ;
    rdfs:label "overlaps"@en ;
    obo:IAO_0000424 "http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y)" ;
    obo:RO_0001900 obo:RO_0001901 ;
    oboInOwl:inSubset <http://purl.obolibrary.org/obo/ro/subsets#ro-eco>,
        obo:valid_for_go_annotation_extension,
        obo:valid_for_gocam ;
    rdfs:isDefinedBy obo:ro.owl ;
    rdfs:subPropertyOf obo:RO_0002323 ;
    owl:propertyChainAxiom ( obo:BFO_0000051 obo:RO_0002131 ),
        ( obo:RO_0002131 obo:BFO_0000050 ),
        ( obo:BFO_0000050 obo:BFO_0000050 ),
        ( obo:BFO_0000051 obo:BFO_0000050 ) ;
    skos:definition "x overlaps y if and only if there exists some z such that x has part z and z part of y" .