<?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#">
<owl:TransitiveProperty rdf:about="http://purl.obolibrary.org/obo/RO_0015003">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
<rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000050"/>
<rdfs:label>subcluster of</rdfs:label>
<obo_purl:IAO_0000115>A relation between a group and another group it is part of but does not fully constitute.</obo_purl:IAO_0000115>
<obo_purl:IAO_0000116>X subcluster_of Y iff: X and Y are clusters/groups; X != Y; all members of X are also members of Y.</obo_purl:IAO_0000116>
</owl:TransitiveProperty>
</rdf:RDF>
<?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#">
<owl:TransitiveProperty rdf:about="http://purl.obolibrary.org/obo/RO_0015003">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
<rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000050"/>
<rdfs:label>subcluster of</rdfs:label>
<obo_purl:IAO_0000115>A relation between a group and another group it is part of but does not fully constitute.</obo_purl:IAO_0000115>
<obo_purl:IAO_0000116>X subcluster_of Y iff: X and Y are clusters/groups; X != Y; all members of X are also members of Y.</obo_purl:IAO_0000116>
</owl:TransitiveProperty>
</rdf:RDF>