The KeyToken is a subclass of the tinyNotation.Token class.
The VolumeMesh class is a subclass of DensityRegion.
But its duration is a subclass called GraceDuration.
This is a subclass of Graph.
A recommender system (RS) is a subclass of information systems.
It can be demonstrated that couple-stress continuum is a subclass of strain-gradient continua.
There is a subclass of the category of contractive Ad modules whose members play the role of free objects.
Thus, an ontology defines a set of classes (e.g. "Book", "Writer"), and their hierarchy, i.e. which class is a subclass of another one (e.g. "Writer" is a subclass of "Person") along with properties (e.g. a "Book" has an author of type "Writer").
* Any two distinct classes created by defclass or define-condition are disjoint unless they have a common subclass or one class is a subclass of the other.
Class SC is a subclass of class C, and C is the superclass of SC, if the definition of class SC has an extends clause extends C.
Convex programming is a subclass of nonlinear programming (NLP) that unifies and generalizes least squares (LS), linear programming (LP), and convex quadratic programming (QP).
