A Protege screenshot showing the enriching links using new, specific relationships for the ChEBI term carbohydrates. For example, this term has been linked to the GO biological-process term carbohydrate transport via the relationship is transported in, stating that a carbohydrate can be transported in a carbohydrate-transport event. Note that there are many allowed classes of these slots that were not directly asserted at the level of carbohydrates but were propagated up to this level to maintain overall semantic consistency of the integrated ontologies, as described in Section 2.5. For example, NADP binding is an allowed class of the slot binds in at this level, stating that a carbohydrate can bind to another entity in an NADP-binding event. The upward propagation of this constraint was needed because NADP(+), the level at which this constraint was directly asserted, is a subclass of carbohydrates in ChEBI, but NADP binding is not a subclass of carbohydrate binding in GO. Without this propagation, there would be a semantic inconsistency in that a carbohydrate could not bind to another entity in an NADP-binding event, yet a molecule of NADP, which is a carbohydrate, could bind to another entity in an NADP-binding event.