謂詞交 的英文怎麼說

中文拼音 [wèijiāo]
謂詞交 英文
predicate intersection model
  • : Ⅰ動詞1. (說) say 2. (稱呼; 叫做) call; name Ⅱ名詞1. (意義) meaning; sense 2. (姓氏) a surname
  • : 名詞1 (說話或詩歌、文章、戲劇中的語句) speech; statement; lines of play 2 (一種韻文形式 起於唐...
  • : Ⅰ動詞1 (把事物轉移給有關方面) hand over; give up; deliver 2 (到某一時辰或季節) reach (a cert...
  1. 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一歸結原理進行了初步探討
  2. Preliminary study on the appellation in social intercourse among yuanwen votive writings found in dunhuang manuscripts

    敦煌願文社會際稱初探
  3. In the paper, the two terms - " foreign bride " and " recent migrant women " are intermingled in usage to uncover the underlining ideology on one side, and to explore the possibility of empowerment on the other side

    本文中所的新移民婦女,即是指外籍新娘,在文中新移民婦女與外籍新娘兩個名會視文章的脈絡而錯使用,一方面突顯外籍新娘這個通俗稱背後之意識型態的問題,另一方面則又探討外籍新娘正名為新移民婦女之賦權意涵。
  4. It is shown that the possibility / impossibility of causative / unaccusative alternations of these predicates is determined by the lexical semantics of the predicates, and different licensing features of the relevant lexical properties

    結果顯示,這些所體現的使動與非賓格?法替之可能性與非可能性,取決于本身的辭匯語義特徵,以及相關的辭匯屬性的?同認可條件。
分享友人