A word about Vocabulary
The GRAIL vocabulary has evolved over the years. This tutorial attempts to be in line with current usage, but some older documentation may use slightly different words.
Two changes are perhaps worth noting. The earlier versions of this tutorial referred to entities where this tutorial refers to categories. Earlier versions referred to explicit subsumption where this tutorial refers to asserted subsumption.