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.