The following link points to a file with the most recent set of nonalignments found among GO, ChEBI, and CTO terms. It is divided by section, with each section pertaining to a directional pair of ontologies. (For example, there are separate ChEBI-GO MF and GO MF-ChEBI sections.) Each section lists the nonredundant nonalignments of the corresponding type detected, along with a count of this type (in the section heading). Each nonalignment is represented as a pair of assertions, one positive and one negative, corresponding to the pair of ontologies of the section heading. Thus, in the ChEBI-GO MF section, each nonalignment consists of two assertions, with the first assertion using ChEBI terms and the second GO MF terms. The first assertion indicates a subsumption between two OBO terms, and the second indicates the lack of any subsumption between the first OBO term and any member of a set of OBO terms. (This is typically, but not always, a one-term set, as exemplified below.) The addition of a subsumptive link from the first OBO term of the second assertion to one or more of the members of the set of OBO terms would be one method of resolving the nonalignment. For example:

FMN -> ribonucleotides; FMN binding !-> [ribonucleotide binding]

This nonalignment indicates that FMN is subsumed by ribonucleotides (in this case, in ChEBI) but that FMN binding is not subsumed by ribonucleotide binding (in this case, in GO MF).