<?xml version="1.0" encoding="UTF-8"?> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:oboinowl_gen="http://www.geneontology.org/formats/oboInOwl#"> <owl:SymmetricProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002131"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/> <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002323"/> <rdfs:comment>"(forall (x y) (iff (overlaps x y) (exists (z) (and (part of z x) (part of z y)))))" CLIF []</rdfs:comment> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> <obo_purl:IAO_0000115>x overlaps y iff they have some part in common.</obo_purl:IAO_0000115> <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</obo_purl:IAO_0000115> <obo_purl:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000125"/> <oboinowl_gen:inSubset rdf:resource="http://purl.obolibrary.org/obo/valid_for_go_annotation_extension"/> <oboinowl_gen:inSubset rdf:resource="http://purl.obolibrary.org/obo/valid_for_gocam"/> <oboinowl_gen:inSubset rdf:resource="http://purl.obolibrary.org/obo/ro/subsets#ro-eco"/> <oboinowl_gen:hasOBONamespace>spatial</oboinowl_gen:hasOBONamespace> <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/ro.owl"/> <obo_purl:IAO_0000424>http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y)</obo_purl:IAO_0000424> <oboinowl_gen:hasDbXref>RO:0002131</oboinowl_gen:hasDbXref> <rdfs:label xml:lang="en">overlaps</rdfs:label> <rdfs:label>overlaps</rdfs:label> <oboinowl_gen:id>overlaps</oboinowl_gen:id> <oboinowl_gen:shorthand>overlaps</oboinowl_gen:shorthand> </owl:SymmetricProperty> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000050"> <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002131"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000051"> <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002131"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002100"> <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002131"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002379"> <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002131"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002433"> <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002131"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002570"> <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002131"/> </rdf:Description> </rdf:RDF>