Type (metaphysics)

From Wikinfo

Types are a category of being. A human is a type of thing; a cloud is a type of thing; and so on. An instance of a type is called a token of that thing; so Socrates is a token of a human being; the letter "A" you see on this page is a token of the first letter of our alphabet; the apple on the table is a token of the type, apple.

Adapted from the Wikipedia article, "Type_(metaphysics)" http://en.wikipedia.org/wiki/Type_(metaphysics), used under the GNU Free Documentation License