Note that it would be possible to use the relation to label the relationship between a near infinite number of structures - between the rings of saturn and my left earlobe. The intent is that this is used for parsiomoniously for disambiguation purposes - for example, between siblings in a jointly exhaustive pairwise disjointness hierarchy

http://www.ncbi.nlm.nih.gov/pubmed/22293552

There are two ways to encode this as a shortcut relation. The other possibility to use an annotation assertion between two classes, and expand this to a disjointness axiom.

BFO_0000051 exactly 0 (BFO_0000050 some ?Y)

http://purl.obolibrary.org/obo/IAO_0000125

https://github.com/obophenotype/uberon/wiki/Part-disjointness-Design-Pattern

http://purl.obolibrary.org/obo/RO_0001901

Chris Mungall