=== Base Template !ClassificationOfClass === This is a template for classifying classes. [[br]] [[br]]!ClassificationOfClass(a, b) means that a is a class, that b is a class of classes, and that a is [[br]]a member of b. [[br]] [[br]]Roles: [[br]]1 hasClass Class [[br]]2 hasClassClassifier !ClassOfClass Axiom: {{{ ClassificationOfClass(x1, x2) <-> Class(x1) & ClassOfClass(x2) & ClassificationTemplate(x1, x2) . }}} EXAMPLE Typical uses of this template is in classification of classes that are used by particular entities or which are defined in domain standards. No restriction on the order of the classes is imposed. As an example of classification of a second-order class by a third-order class, consider “the types of drill string belong to the drilling domain”. This could be expressed by !ClassificationOfClass(Drilling Domain Class, Drill String Type)