查询词典 logic of relation

This chapter starts with the determination of primary sense of under. Then it focuses on how its spatial senses are extended from the central image schema to its transformations by metonymy. Next, this part also focuses on how its metaphorical senses are extended in terms of the central image schema and transformations by metaphor. In these analyses, this thesis summarizes four kinds of relations: the relation of UP-DOWN, the relation of HIGH-LOW, COVERING relation or the relation of IN-OUT and the relation of SOURCE-PATH-GOAL. Lots of metaphorical senses of under are derived from these basic spatial relations. In this thesis, the relations between the senses derived from central image schema and those derived from its transformations are explored at length. The relations between the spatial senses derived from central image schema and transformations and the metaphorical senses derived from them are also explored at length. The above analyses demonstrate that the sense extension of the spatial preposition is motivated by image schema, which also provides the root for metonymic and metaphorical extension. The semantic network of under is diagramed finally.

论文首先确定了under的首要意义；然后集中探讨了它的空间意义如何从中心意象图式，通过转喻形成许多变体，从而得以延伸；接着分析了它的隐喻意义如何从中心意象图式及其变体通过隐喻而得以延伸，在此分析中，本论文总结了四种关系：上—下关系﹑高—低关系﹑覆盖关系或里—外关系和起点—路径—目标关系，under的很多隐喻意义源于这些基本的空间关系；本论文还对源于中心意象图式的空间意义与源于其变体的空间意义的关系进行了详细的剖析；对源于中心意象图式与其变体的空间意义及其延伸的隐喻意义之间的关系，也同样进行了详细的剖析；通过分析论证了，意象图式是空间介词义项扩展的源泉，同时也为转喻和隐喻提供了基础；最后得出under的语义网络。

WT9.BZ: Theory of generalized tautology in logic system , W and W k is generalized and applied to Lukasiewicz logic system. The main results are as follows: congruence about on set of logic formulas F has been obtained in the system; it is proved that in this system, for any irrational number α, there does not exist accessible α-tautology; and for any real number α, there does not exist accessible α+-tautology; and the relation theorems have been given between categori...

将逻辑系统 W ，W ，Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中，主要结果是：得到了逻辑公式集F在该系统中关于﹁同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；给出了广义重言式、广义矛盾式各类之间的关系定理。

In this paper, description logic is used as the formal foundation of OWL DL, the corresponding relation between OWL DL and description logic is analyzed, every element of OWL DL is interpreted with the semantics of description logic.

针对上述问题，Tim Berners- L ee提出了语义 Web[1 ，2 ] ，它是现有Web的扩展，使得 Web不仅是一个展示信息的平台，而且可以由机器理解并做推理。

Based on the logic dependent relation and first-order logic, AND/OR graphs of single target with unit agent, and single target with multi-agent, joint targets with multi-agent were gotten respectively. As an example, single target with multi-agent was used to illustrate AO(superscript *) searching algorithm of logic dependent relations.

在分析逻辑依赖关系与一阶谓词表示法基础上，分别给出了单agent单目标、多agent单目标、多agent联合目标的逻辑依赖关系的与／或图表达方法，并应用与／或图的AO搜索算法，以多agent单目标情形为例，演示多agent系统中逻辑依赖关系的计算过程。

At first, this paper expounds the order relation and first order logic properties of time axes. Secondly, this paper axiomatically models that using Tense Logic and dynamic logic, which aims at reflecting the properties of axes in fine grain by logical analysis.

随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模，这样刻画的目的是为了&细精度&地体现时间轴的特点，并借助逻辑的方法对其分析。

The existing dichotomous division and trichotomous division of Chinese complex sentence can not meet the needs of description of the relationship of logic-semantic between relation words,for their logic foundation and the basis of the logic of OWL DL vary greatly.

如果要用OWL DL来表达关系词语本体，就必须保证OWL DL对关系词语间逻辑语义关系的描写，这需要外界为OWL DL提供一个具有合适逻辑基础的分类系统。

In this paper, the authors propose a temporal approaching relation and give a sort of temporal relations of propositions, based on Shoham s temporal logic, they propose a temporal logic which can describe uncertainty relation and is based on time--point and time--interval in proposition and first order case.

本文提出了时态逼近关系，并给出了命题不确定性时态关系的一种分类，在Shoham的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和时间区间的时态逻辑。

In traditional society, the value standard intension of"justice"is the location set of family subject of blood relationship in the human relation with grade order,"act according to the location"become the moral requirement of this kind of human relations set; in modern society, the equal set of human relation in market becomes the new norm requirement or the intension of"justice"of the contract relation, and this asks character of affiance to set moral backing for this human relation.

在传统社会中，"义"的价值规范的内涵是家庭血缘主体的差序人伦设定，"安伦尽分"成为这种人伦设定的道德要求；在现代社会中，市场中的平等人伦设定成为契约交往的新的规范要求或"义"的内涵，并要求信用品质对这一人伦设定予以道德支持。

Experiments of flow conductivity closure stress of typical propping agent are done, propping agent short-term flow conductivity alteration index is defined, by this, the relation between fissure short-term flow conductivity and closure stress, it is close to exponential relation. 4. Establishing the mathematical simulator of hydraulic fractured well's production in a steady state, finding the relation curve between dimensionless flow conductivity and fracture penetration coefficient by means of calculation and analyses, it is the basis of hydraulic fracture. 5. Expatiating the importance of optimized hydraulic fracturing design in reservoir engineering, advancing the optimizing design method, fracture dimension can be calculated easily when the physical parameters are known. 6. Production rate decline standard curve of vertical fractured wells is achieved by mathematical simulation, when the flow pressure is certain , by asymptotic analyze, this decline curve is close to exponential relation.

完成了国内外典型支撑剂的导流能力闭合应力影响实验，在数据分析中定义了支撑剂短期导流能力变异系数，并由此发现裂缝短期导流能力随闭合应力变化的近似符合指数关系式； 4 建立了一种水力压裂井稳态产能的数学模拟器，计算分析找到了最优无量纲导流能力与裂缝穿透比之间的新型关系曲线，它是水力压裂优化设计的基础； 5 阐述了水力压裂油藏工程优化设计的重要性，提出了优化设计方法，在已知支撑剂物性参数条件下可简洁计算最优裂缝尺寸； 6 数学模拟给出了垂直裂缝井产量递减标准曲线，在井底定压条件下通过渐近分析表明，该递减曲线满足指数关系式。

In this paper, concepts of grey absolute relation coefficient and grey relative relation coefficient are proposed. And a computational formula of grey relation grade is developed, which formes a new theoretical model for analysis of grey relation.

1引言灰色关联分析是灰色系统理论的一个重要内容，它通过参考序列与比较序列各点之间的距离分析来确定各序列之间的差异性和相近性，从而找出各因子之间的影响关系及影响系统行为的主要因子。

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。