In Taxonomy Traversal mode, you are guided through the taxonomy of the current KB. Your attention is focused on any classes that have experienced some taxonomic edit resulting in there being adjacent classes from different source files. This gives you a valuable checklist to allow the exhaustive traversal of the KB looking for areas in which disjointness information might be added.
Select "Taxonomy Traversal" from the "Mode" menu.
Let's also clear up the display a bit. Select "Hide name resolution" from the "Mode" menu. The "Names to resolve" list and the widgets to its left will disappear.
Below is the view of the display after you have selected Taxonomy Traversal mode and deselected Name Resolution mode.
In the next section, you will learn how to create a disjoint decomposition while in Taxonomy Traversal mode.