8 印, 象徴, 表徴, 表章 (emblem, symbol); 前兆; 【神学】 予型, 前表, 予表 (cf. typology 1 a).

・a type of royal power 王権の象徴《王冠など》.

・The paschal lamb is a type of Christ. 過ぎ越しの祝いの小羊はキリストの象徴[予表]である.

9 【化学】 タイプ, 基型.

・⇒type theory.

10 【言語】 タイプ《語のトークンを一つにまとめたもの; 同じ語なら使用度数にかかわらず 1 語と数える; type-word ともいう; cf. token 10》.

11 【電算】 データの型《整数型, 実数型など》.

12 【論理】 階型《個体に対する第一階の述語[集合], 第一階の述語[集合]に対する第二階の述語[集合]などのように, 述語[集合]間の位階上の相違を示す性格で, 同階の述語[集合]が自己自身の述語[集合]となることは禁じられる》.

・theory of types＝type theory 3.

vt.

1a 類型に分類する.