Do we need to declare ":Part :subClassOf :Component" ?

Ref: CRC_Glossary Definition

"A product consists of subsystems, which in turn can consist of further subsystems or components. Components cannot be further disassembled. Products considered in this CRC contains mechanical as well as electrical and electronic subsystems and components. Thus, mechatronic products are considered.*"

From what I understand, a factory product is made of components, and by components we are referring to atomic parts that are no longer decomposable or cannot be further disassembled. This means that by Component we already mean atomic parts, making them equivalent classes. Therefore, introducing Part would only create redundancy. The Part class declaration can thus be safely removed, while keeping only the class declaration "Component."