查询词典 second base

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

First, it allows the attacking player to occupy the base, transferring 30% of the base's credit income to the occupier.

第一，发动攻击的玩家将占领目标基地，并获得相当于30%目标基地经济的信用点，这表示被占领的星球向征服者提供的贡物。

They are equipped with completely openable hermetic cover, plat base and flat base, frequency conversion speed-adjustment.

配置全密闭可开式机盖、平板机座、变频调速，可以程序控制和远、近距离控制。

It is the material base and environmental condition for social economy sustainable development to exploit and utilize farmland resources, and its crux is to carry out value compensation for the exploitation of the farmland on the base of ordonnance optimization and full utilization of the farmland in order to retain and improve productive quality and ecological function of the farmland, which makes the utilization of the farmland reach the best social, economic and ecological beneficial results.

农地资源可持续开发利用是社会经济可持续发展的物质基础和环境条件，其关键是在优化配置和充分利用农地资源的基础上，对农地资源的开发实施价值补偿，以保持和提高农地资源的生产性能和生态功能，使农地资源的利用达到最佳的社会、经济和生态效益。

On the base of the right of subrogation in marine insurance, this paper will do the research from the point of view of action;on the base of existing stipulations and legal theories of the action of subrogation in marine insurance, maritime action and civil action, this paper will consult the foreign correlative theories;not only from the point of view of the legal theories, but also by consulting the cases and usual ways in judicature of our country, this paper will make the research more practical;this paper will also do the research by induction, organon and interests-comparing, etc.

本文将在海上保险代位求偿权制度的基础上，从诉讼角度展开较为系统的研究；在我国现有的海上保险代位求偿诉讼、海事诉讼以及民事诉讼的法律规定和法律理论的基础上，参考国外相关的法律理论，对海上保险代位求偿诉讼的法律问题进行较为系统的研究；不仅从理论的角度，还要参考我国司法实践中的相关案例和通常做法，使得对海上保险代位求偿诉讼的法律问题的研究更贴近实务，更具有实际操作性；运用归纳、推理的逻辑方法，采用利益比较等具体方法，对海上保险代位求偿诉讼的法律问题进行了较为全面的研究。

We take the spherical harmonic functions as base functions on the spherical surface and other systems of orthogonal functions as base functions in the direction of radius. However.

据此，我们可以在球面上以球面调和函数为基函数而在半径方向以其它适当的正交函数系为基函数，从而构成一种混合谱方法。

Orthogonal linear dispersive space time code constructs orthogonal base vector set of base matrix setwith orthogonal column vectors of a orthogonal matrix.

正交线性空时弥散码运用正交矩阵的列矢量构造空时正交调制基矢量或者基矩阵。

He'd also later score from first base on a three-base hit, testing his orthotic inserts and reporting no issues.

稍后他也藉著1支3垒安打从1垒直接跑回本垒得分，测试一下复建的成果，根据报导应该没有大问题了。

Bamboo Island abalone breeding success have been achieved; fructose Qingkou Bay Eco-breeding base, Dongfeng Lo test base culture, the East Australian white oyster aquaculture pilot bases completed; white oysters, Dongfeng Lo, the smooth promotion of culture mussels; asparagus, breeding new varieties of sea cucumber and other test results.

竹洲岛鲍养殖取得阶段性成功；果糖湾青口生态养殖基地、东风螺养殖试验基地、东澳白蚝养殖试验基地建设完成；白蚝、东风螺、青口养殖推广顺利；龙须菜、海参等新品种养殖试验效果良好。

The base of the parallelogram equals the base of the triangle .

生：两个完全一样的三角形可以拼成一个平行四边形

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。