在线精品国产一区二区三区,欧美最猛性XXXXX大叫,亚欧美日韩香蕉在线播放视频

    <thead id="t1bbr"><dfn id="t1bbr"></dfn></thead>

    <nobr id="t1bbr"><cite id="t1bbr"><menuitem id="t1bbr"></menuitem></cite></nobr>

    <form id="t1bbr"></form>

      <em id="t1bbr"></em>

      英語世界
      18210244181 | 登錄 注冊
      公告
      Type
      發布時間:2019年05月29日     發布人:nanyuzi  
      0
      字號 簡體 繁體 打印

      Type

      類型,型

       

      (1) A notion developed in mathematical logic and used as part of the conceptual apparatus underlying formal semantics (notably, in Lambda calculus). A type-theoretic approach offers a mathematical perspective for the categorial syntax of natural language, using the notion of a hierarchy of types as a framework for semantic structure (as in Montague grammar). Basic (or primitive) types (e.g. ‘entity’, ‘truth value’, ‘state’) are distinguished from derived or complex types (e.g. functional types: an example is (a, b), i.e. all functions taking arguments in the a domain apply to values in the b domain). Types are used in several models of lexical representation (notably, ‘typed feature structures’) to refer to a superordinate category. The types are organized as a lattice framework, with the most general type represented at the top and inconsistency indicated at the bottom. Similarities in lattices specify compatibility between types. Subtypes inherit all the properties of all their supertypes: for example, in a typed feature structure hierarchy, the subtype sausages under the type food (sausages are a type of food’) means that sausages has all the properties specified by the type constraints on food, with some further properties of its own.

      (2) In lexical study, a term used as part of a measure of lexical density. The type / token ratio is the ratio of the total number of different words (types) to the total number of words (tokens) in a sample of text.

       

      (1)(-d)數理邏輯術語,形式語義學(特別是蘭姆達演算)用作基礎概念之一。型論式語義學從數學角度考察自然語言的范疇句法,采用型層級這一概念作為語義結構的框架(如蒙塔古語法)?;镜模ɑ蛟嫉模┬停ɡ纭皩嶓w”,“真值”,“狀態”)區別于派生的或復雜的型(例如各種函數型:一個例子是(a,b),即在a域內帶主目的所有函項適用于b域內的各個值)。詞匯表征的好幾種模型(特別是“型特征結構”)用型來指一個主導范疇。一系列型組織稱一個格狀框架,其中最一般的型置于頂端,不一致性則在底部表示。網格中的相似部分表示型與型之間的相容性。下位型承繼其所有上位型的全部特性:例如在一個型特征層級中,下位型sausages“香腸”的上位型是food“食物”(“香腸是一種類型的食物”),即sausages具有food的型制約所規定的全部特性,再加上一些自身的特性。

      (2)詞匯研究測量詞匯密度時使用的術語。型~例比率是在一個語篇樣品中不同詞(型)的全部數目與實際出現的詞的全部數目的比率。

      上一篇:Synaesthesia/Synesthesia
      下一篇:Subjunctive

      返回頂部

      查看更多

      查看更多
      在线精品国产一区二区三区,欧美最猛性XXXXX大叫,亚欧美日韩香蕉在线播放视频