英语词汇first order predicate怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词

first order predicate

释义

first order predicate

简明释义

一阶谓词：一阶逻辑中的谓词，它可以应用于个体变量，但不能应用于谓词变量。

网络释义

1
?一阶谓词
目前常用的知识表示方法有七种,分别是:一阶谓词(First order predicate)表示法;产生式(Produc-tion)表示法;框架(Framework)表示法;语义网络(Semantic Networ..
2
?一阶述词
... 一阶模型化 first order modeling 一阶述词 first order predicate 第一阶述词演算 first order predicate calculus，FOPC ...

短语

1
First Order Predicate Calculus
一阶谓词逻辑 ; 一阶谓词演算 ; 第一阶述词演算
2
first order predicate logic
数一阶谓词逻辑 ; 叙述逻辑
3
first-order predicate logic
一阶谓词逻辑

双语例句

1
In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge.
在本知识库系统模型中，知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。
2
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
3
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文档进行一阶谓词演算得出的。

随便看

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

单词	first order predicate
释义	first order predicate 简明释义一阶谓词：一阶逻辑中的谓词，它可以应用于个体变量，但不能应用于谓词变量。网络释义 1 ?一阶谓词目前常用的知识表示方法有七种,分别是:一阶谓词(First order predicate)表示法;产生式(Produc-tion)表示法;框架(Framework)表示法;语义网络(Semantic Networ.. 2 ?一阶述词 ... 一阶模型化 first order modeling 一阶述词 first order predicate 第一阶述词演算 first order predicate calculus，FOPC ... 短语 1 First Order Predicate Calculus 一阶谓词逻辑 ; 一阶谓词演算 ; 第一阶述词演算 2 first order predicate logic 数一阶谓词逻辑 ; 叙述逻辑 3 first-order predicate logic 一阶谓词逻辑双语例句 1 In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge. 在本知识库系统模型中，知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。 2 The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed. 文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。 3 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文档进行一阶谓词演算得出的。
随便看	Mon monocyte Monmouth Monmouth Beach Monmouth County monmouthite Monmouth Junction Monmouth Mountain Monmouthshire Monn Monna Monnai monnaie monnaies monnens Monneret's pulse monnet Monnet, Jean Monnet Plan monnet Monnett Monnex monni Monnickendam Monnie Monnier