@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix obo_purl: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oboinowl_gen: <http://www.geneontology.org/formats/oboInOwl#> .
@prefix ns0: <http://purl.obolibrary.org/obo/ro/subsets#> .
@prefix ns1: <http://purl.obolibrary.org/obo/BFO_0000051\u0020some\u0020(http://purl.obolibrary.org/obo/> .
obo_purl:BFO_0000050
rdfs:subPropertyOf obo_purl:RO_0002131 .
obo_purl:BFO_0000051
rdfs:subPropertyOf obo_purl:RO_0002131 .
obo_purl:RO_0002100
rdfs:subPropertyOf obo_purl:RO_0002131 .
obo_purl:RO_0002131
obo_purl:IAO_0000114 obo_purl:IAO_0000125 ;
obo_purl:IAO_0000115 "x overlaps y if and only if there exists some z such that x has part z and z part of y", "x overlaps y iff they have some part in common." ;
obo_purl:IAO_0000424 "http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y)" ;
obo_purl:RO_0001900 obo_purl:RO_0001901 ;
oboinowl_gen:hasDbXref "RO:0002131" ;
oboinowl_gen:hasOBONamespace "spatial" ;
oboinowl_gen:id "overlaps" ;
oboinowl_gen:inSubset ns0:ro-eco, obo_purl:valid_for_go_annotation_extension, obo_purl:valid_for_gocam ;
oboinowl_gen:shorthand "overlaps" ;
a owl:ObjectProperty, owl:SymmetricProperty ;
rdfs:comment "\"(forall (x y) (iff (overlaps x y) (exists (z) (and (part of z x) (part of z y)))))\" CLIF []" ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/ro.owl> ;
rdfs:label "overlaps", "overlaps"@en ;
rdfs:subPropertyOf obo_purl:RO_0002323 .
obo_purl:RO_0002379
rdfs:subPropertyOf obo_purl:RO_0002131 .
obo_purl:RO_0002433
rdfs:subPropertyOf obo_purl:RO_0002131 .
obo_purl:RO_0002570
rdfs:subPropertyOf obo_purl:RO_0002131 .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix obo_purl: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix oboinowl_gen: <http://www.geneontology.org/formats/oboInOwl#> .
@prefix ns0: <http://purl.obolibrary.org/obo/ro/subsets#> .
@prefix ns1: <http://purl.obolibrary.org/obo/BFO_0000051\u0020some\u0020(http://purl.obolibrary.org/obo/> .
obo_purl:BFO_0000050
rdfs:subPropertyOf obo_purl:RO_0002131 .
obo_purl:BFO_0000051
rdfs:subPropertyOf obo_purl:RO_0002131 .
obo_purl:RO_0002100
rdfs:subPropertyOf obo_purl:RO_0002131 .
obo_purl:RO_0002131
obo_purl:IAO_0000114 obo_purl:IAO_0000125 ;
obo_purl:IAO_0000115 "x overlaps y if and only if there exists some z such that x has part z and z part of y", "x overlaps y iff they have some part in common." ;
obo_purl:IAO_0000424 "http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y)" ;
obo_purl:RO_0001900 obo_purl:RO_0001901 ;
oboinowl_gen:hasDbXref "RO:0002131" ;
oboinowl_gen:hasOBONamespace "spatial" ;
oboinowl_gen:id "overlaps" ;
oboinowl_gen:inSubset ns0:ro-eco, obo_purl:valid_for_go_annotation_extension, obo_purl:valid_for_gocam ;
oboinowl_gen:shorthand "overlaps" ;
a owl:ObjectProperty, owl:SymmetricProperty ;
rdfs:comment "\"(forall (x y) (iff (overlaps x y) (exists (z) (and (part of z x) (part of z y)))))\" CLIF []" ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/ro.owl> ;
rdfs:label "overlaps", "overlaps"@en ;
rdfs:subPropertyOf obo_purl:RO_0002323 .
obo_purl:RO_0002379
rdfs:subPropertyOf obo_purl:RO_0002131 .
obo_purl:RO_0002433
rdfs:subPropertyOf obo_purl:RO_0002131 .
obo_purl:RO_0002570
rdfs:subPropertyOf obo_purl:RO_0002131 .