| 1. | Drs and the formula of first - order predicate logic
与一阶谓词逻辑公式 |
| 2. | A model representation method based on first order predicate logic
一种基于一阶谓词逻辑的模型表示方法 |
| 3. | This is not expressible as a first - order predicate calculus property
这就是一个一阶谓词演算不可表述的属性。 |
| 4. | Also , first - order predicate calculus isn ' t good enough anyway
同时，从各方面来说，一阶谓词演算都不是足够好。 |
| 5. | Inference methods of several kinds of special forms of fopl and searching strategies of inference algorithm is also discussed
本文还对一阶谓词的几种具体形式的petri网推理方法和推理算法的搜索策略进行了讨论。 |
| 6. | This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。 |
| 7. | This kind of assertion seems to require special r nlanguage extensions and has led people to suggest introducing r nfirst - order predicate calculus
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。 |
| 8. | 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文档进行一阶谓词演算得出的。 |
| 9. | Based on the principle of resolution refutation in fl , the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented
根据形式逻辑的归结反演原理，本文给出了一阶谓词逻辑的petri网推理的方法，实现了语义网络的petri网推理。 |
| 10. | So anything that you may want to express on a complex object that would seem to require first - order predicate calculus can be expressed actually quite nicely within the confines of the programming language
所以对于一个复杂对象，任何看起来需要一阶谓词演算才能描述的东西，实际都可以在编程语言范畴内实现十分精细地表述。 |
