@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns1:	<http://purl.obolibrary.org/obo/> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
ns1:RO_0002151	rdf:type	owl:ObjectProperty .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns1:RO_0002151	rdfs:subPropertyOf	ns1:RO_0002131 ;
	rdfs:label	"partially overlaps"@en .
@prefix obo:	<http://www.geneontology.org/formats/oboInOwl#> .
@prefix ns5:	<http://purl.obolibrary.org/obo/ro/subsets#> .
ns1:RO_0002151	obo:inSubset	ns5:ro-eco ;
	ns1:IAO_0000114	ns1:IAO_0000125 ;
	ns1:IAO_0000115	"x partially overlaps y iff there exists some z such that z is part of x and z is part of y, and it is also the case that neither x is part of y or y is part of x" ;
	ns1:IAO_0000116	"We would like to include disjointness axioms with part_of and has_part, however this is not possible in OWL2 as these are non-simple properties and hence cannot appear in a disjointness axiom" .
@prefix xsd:	<http://www.w3.org/2001/XMLSchema#> .
ns1:RO_0002151	ns1:IAO_0000118	"proper overlaps"^^xsd:string ;
	ns1:IAO_0000426	"(forall (?x ?y) \n\t(iff \n\t\t(proper_overlaps ?x ?y)\n\t\t(and \n\t\t\t(overlaps ?x ?y)\n\t\t\t(not (part_of ?x ?y)) \n\t\t\t(not (part_of ?y ?x)))))"^^xsd:string ;
	ns1:RO_0001900	ns1:RO_0001901 .