How to create a disjoint decomposition

In this page we consider how to create disjoint classes. You will create a disjoint decomposition of two of the subclasses of Armored-Vehicle.

You should already be in Taxonomy Traversal mode. If Armored-Vehicle is highlighted on your screen, and you can see its superclasses and subclasses, then skip this step. Otherwise, select "cyc-products: Armored-Vehicle" from the "Taxonomy" menu.

The display shows Armored-Vehicle (which is highlighted) and the superclasses connecting it to the root. You are going to create a disjoint decomposition of Armored-Vehicle's subclasses Heavy-Armored-Combat-Vehicle and Lightly-Armored-Vehicle.

The first step is to select Armored-Vehicle as the primary class. However, this has been done automatically.

The next step is to select the classes that you want to be in the disjoint decomposition. Highlight "Heavy-Armored-Combat-Vehicle" by clicking on it.

Next, select "Lightly-Armored-Vehicle" by clicking on it.

You are now ready to create a disjoint decomposition of Armored-Vehicle involving its subclasses Heavy-Armored-Combat-Vehicle and Lightly-Armored-Vehicle. Select "Create disjoint decomposition" from the "Decomposition" menu.

The display now shows Armored-Vehicle with Heavy-Armored-Combat-Vehicle and Lightly-Armored-Vehicle directly beneath it. The green line beside Heavy-Armored-Combat-Vehicle and Lightly-Armored-Vehicle signifies that they are in a disjoint decomposition. A solid black line separates the disjoint decomposition from the rest of the subclasses of Armored-Vehicle.

In the next section, you will learn how to add a class to an existing disjoint decompositioin.