Remove redundant domain in occurs in (BFO:0000066)

[anitacaron]

Yes, but the result is that the actual domain is the intersection of the two. In this case BFO:0000015 is a subclass of BFO:0000003, so the actual domain is just BFO:0000015.

Originally posted by @balhoff in #795 (comment)

[anitacaron]

The domain BFO:0000015 comes from COB import. I found this PR when it was added in cob.owl and cob-base-reasoned.owl three years ago.

Today, it's only available in cob.owl.

https://github.com/OBOFoundry/COB/blob/9bf639a1ebff2f06988938f74681984a5f6d59ca/cob.owl#L129-L135

The domain defined in RO core.owl is BFO:0000003.

obo-relations/src/ontology/components/core.owl

Lines 193 to 213 in f0994da

	<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000066">
	<owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000067"/>
	<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
	<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
	<owl:propertyChainAxiom rdf:parseType="Collection">
	<rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000050"/>
	<rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000066"/>
	</owl:propertyChainAxiom>
	<owl:propertyChainAxiom rdf:parseType="Collection">
	<rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000066"/>
	<rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000050"/>
	</owl:propertyChainAxiom>
	<obo:IAO_0000111 xml:lang="en">occurs in</obo:IAO_0000111>
	<obo:IAO_0000115 xml:lang="en">b occurs_in c =def b is a process and c is a material entity or immaterial entity&amp; there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.&amp; forall(t) if b exists_at t then c exists_at t &amp; there exist spatial regions s and s’ where &amp; b spatially_projects_onto s at t&amp; c is occupies_spatial_region s’ at t&amp; s is a proper_continuant_part_of s’ at t</obo:IAO_0000115>
	<obo:IAO_0000118 xml:lang="en">occurs_in</obo:IAO_0000118>
	<obo:IAO_0000118 xml:lang="en">unfolds in</obo:IAO_0000118>
	<obo:IAO_0000118 xml:lang="en">unfolds_in</obo:IAO_0000118>
	<rdfs:comment>Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant</rdfs:comment>
	<rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
	<rdfs:label xml:lang="en">occurs in</rdfs:label>
	</owl:ObjectProperty>

Should we update the domain in RO or remove the inferred one in COB?