crossword
type
a.k.a. category
a general concept that generally subsumes multiple instances (individuals). Example: the category of tables is a type. (Section 3.1.1)
Function
Hierarchy
Is subtype of