謂詞 的英文怎麼說

中文拼音 [wèicí]
謂詞 英文
[語言學] predicate謂詞變項 predicate variable; 謂詞邏輯 predicate logic; 謂詞演算 predicate calculus
  • 謂 : Ⅰ動詞1. （說） say 2. （稱呼; 叫做） call; name Ⅱ名詞1. （意義） meaning; sense 2. （姓氏） a surname
  • 詞 : 名詞1 （說話或詩歌、文章、戲劇中的語句） speech; statement; lines of play 2 （一種韻文形式 起於唐...
  1. This paper investigates a subtype of resultative predicate marked by the verbal particle - can in cantonese and associated with adversative meaning

    摘要本文探討粵語中以動詞性詞素親為標志的遭損性使動結果謂詞。
  2. The atomic formula is called atom for short in predicate calculus

    在謂詞演算中，有時將原子公式簡稱為原子。
  3. This is not expressible as a first - order predicate calculus property

    這就是一個一階謂詞演算不可表述的屬性。
  4. The algorithm of this paper is applicable to two - dimension factorizing program, which includes one idb predicate

    本文的演算法適合於包含一個idb謂詞的二維可分解程序。
  5. Gets a string containing a unique id for a verb

    獲取包含謂詞的唯一id的字元串。
  6. Intermixed with any number of boolean logic predicates,

    根據cfengine規則，字符集是混雜了任意數目布爾邏輯謂詞
  7. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討
  8. No longer supports noninteger positional predicates

    不再支持非整數的位置謂詞。
  9. A predication consists of argument ( s ) and predicate

    一個述謂由一個或數個論元和一個謂詞組成。
  10. In versus a series of predicates tied together with or

    In vs一系列和or配合的謂詞
  11. This will allow the predicate to be applied to the index

    這使謂詞可以用於索引。
  12. Comparing full - text functions and full - text predicates

    >比較全文函數與全文謂詞
  13. In the framework of the generative grammar, the government and binding theory provides us evidence of the classification of these sentential types semantically and syntactically : the argument structure and epp determine the obligatory elements at the sentential level, morphological rules and the case theory motivate the production of some derived sentence types

    生成語法管約論框架內分析了劃分的語義和句法依據，謂詞的題元結構和epp決定了句子層面的必有成分，同時形態規則的作用和滿足格理論還會推導出一些衍生句式。
  14. Therefore, trying to reduce the arity of idb. predicates is significative to improving the efficiency of query

    因此，設法減少idb謂詞項數，對提高查詢效率是十分有意義的。
  15. This is a sargable predicate, but not an index - sargable predicate that is, it cannot be applied as a start stop key on the index scan

    這是一個sargable謂詞，而不是一個索引sargable謂詞（即，它不能作為索引掃描的開始/停止鍵） 。
  16. This is a forward traversal, which follows the predicate

    這是向前的遍歷，它按照謂詞（
  17. Adapts a binary predicate interface to a unary one

    仿函數）將一個二元謂詞介面適配為一元介面。
  18. Preliminary study on the appellation in social intercourse among yuanwen votive writings found in dunhuang manuscripts

    敦煌願文社會交際稱謂詞初探
  19. Also, when the auto create statistics database option is set to on default, the database engine automatically creates statistics for columns without indexes that are used in a predicate

    另外，當auto _ create _ statistics數據庫選項設置為on （默認值）時，數據庫引擎自動為沒有用於謂詞的索引的列創建統計信息。
  20. Overrides the base method to render verbs in the footer of a

    控制項的頁腳中的謂詞。 （從
分享友人
分享到 Line

分享到臉書