first-order predicate的意思

first-order predicate中文翻譯：

一階謂詞

相似詞語短語

predicate definition───謂詞定義

predicate adjective───n.表語形容詞

predicate nouns───謂語性名詞

predicate verb───謂語性動詞；謂語動詞

predicate examples───謂詞示例

predicate nominative───謂語主格；述詞主格；[語法學]謂語性主格(指作為動詞補語的名詞或代詞短語)

predicate meaning───謂詞意義

predicate logic───[數]謂詞邏輯

predicate noun───謂語性名詞

雙語使用場景

Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.───XQuery被非正式地設計為可以構造XML文檔，而這些XML文檔是通過對輸入的XML文檔進行一階謂詞演算得出的。

Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.───討論了三種時間邏輯方法：一階謂詞演算，模態邏輯及具體化邏輯。

This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.───這種情況下的斷言似乎就需要實現特定的語言擴展，于是一些人建議引入一階謂詞演算。

a novel first-order predicate rule mining algorithm, named PHVB algorithm , was proposed.───提出了基于GEP的一階謂詞邏輯規則挖掘算法PHVB算法。

NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus───一階謂詞演算自然演繹型直覺主義系統

Resolution Method Using XML in First-order Predicate Logic───使用XML的一階謂詞邏輯歸結原理

英語使用場景

This kind of assertion seems previou assert order to require special language extensions and has led people to suggest introducing first-order predicate calculus.

Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.

Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.

This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.