Most of the ontology languages allow the developer to define classes on the basis of these
characteristics. A class may be a subclass of another class; this means that if the classA is a subclass of B, then any
individual of type A will also be an individual of type B.