Noun

(en noun)

A grouping based on shared characteristics; a class.

* {{quote-magazine, date=2012-03

, author=Lee A. Groat, volume=100, issue=2, page=128, magazine=(American Scientist) , title= Gemstones , passage=Although there are dozens of different types of gems, among the best known and most important are diamond, ruby and sapphire, emerald and other gem forms of the mineral beryl, chrysoberyl, tanzanite, tsavorite, topaz and jade.}}

An individual considered typical of its class, one regarded as typifying a certain profession, environment, etc.

* 2002 , Pat Conroy, The Great Santini , page 4:

"I just peeked out toward the restaurant and there are a lot of Navy types in there. I'd hate for you to get in trouble on your last night in Europe."

An individual that represents the ideal for its class; an embodiment.

* 1872 , Mary Rose Godfrey, Loyal , volume 3, page 116:

Altogether he was the type of low ruffianism — as ill-conditioned a looking brute as ever ginned a hare.

(printing, countable) A letter or character used for printing, historically a cast or engraved block.

# (uncountable) Such types collectively, or a set of type of one font or size.

# (chiefly, uncountable) Text printed with such type, or imitating its characteristics.

The headline was set in bold type .

(biology) An individual considered representative of members of its taxonomic group.

Preferred sort of person; sort of person that one is attracted to.

(biology) A blood group.

(theology) An event or person that prefigures or foreshadows a later event - commonly an Old Testament event linked to Christian times.

(computing theory) A tag attached to variables and values used in determining which kinds of value can be used in which situations; a data type.

(fine arts) The original object, or class of objects, scene, face, or conception, which becomes the subject of a copy; especially, the design on the face of a medal or a coin.

(chemistry) A simple compound, used as a mode or pattern to which other compounds are conveniently regarded as being related, and from which they may be actually or theoretically derived.

The fundamental types used to express the simplest and most essential chemical relations are hydrochloric acid, water, ammonia, and methane.

(mathematics) A part of the partition of the object domain of a logical theory (which due to the existence of such partition, would be called a typed'' theory). (''Note : this to the notion of "data type" in computing theory.)

* Types, theory of. V.N. Grishin (originator), Encyclopedia of Mathematics . URL: http://www.encyclopediaofmath.org/index.php?title=Types,_theory_of&oldid=14150

Logics of the second and higher orders may be regarded as type -theoretic systems.

Categorial grammar is like a combination of context-free grammar and types .

Noun

(verities)

(archaic) Truth, fact or reality, especially an enduring religious or ethical truth.

* 1602 : , act V scene 2

[...] but in the verity of extolment

I take him to be a soul of great article and his infusion

of such dearth and rareness as, to make true diction of

him, his semblable in his mirror, and who else would

trace him, his umbrage, nothing more.

* 1646 , (Thomas Browne), Pseudodoxia Epidemica , I.3:

For the assured truth of things is derived from the principles of knowledg, and causes which determine their verities .

A true statement; an established doctrine.

* 2002 , , The Great Nation , Penguin 2003, p. 290-1:

Absolutist verities were not only being challenged in more systematic and more daring forms than hitherto; the parameters of political debate were also being widened by both government and its critics.