基本解釋[數(shù)學(xué)]謂詞語(yǔ)言英漢例句雙語(yǔ)例句The second part analyzes the formal language of knowledge predicate logic.分析知道謂詞邏輯的形式語(yǔ)言。Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.謂詞演算語(yǔ)言的傳統(tǒng)的語(yǔ)義組成了數(shù)理邏輯的一個(gè)很豐富的分支。This paper gives a description of the knowledge-based document retrieval system, and makes an introduction to a kind of inquiry language based on predicate.文中對(duì)基于知識(shí)的文獻(xiàn)檢索體系進(jìn)行了描述，并介紹了一種基于謂詞的查詢語(yǔ)言以及基于知識(shí)的搜索引擎的工作原理。權(quán)威例句Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.NEWYORKER: Utopian for Beginnerspredicate language更多例句詞組短語(yǔ)短語(yǔ)predicate calculus language 謂詞演算語(yǔ)言;翻譯predicate logic language 謂詞邏輯語(yǔ)言predicate e logic language 謂詞邏輯語(yǔ)言predicate language更多詞組專業(yè)釋義數(shù)學(xué)謂詞語(yǔ)言