crossword
type (sem)
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
Is Function Of
Hierarchy