查询词典 formal

We identified a formal origin for the current shape of the existing church as having a Basilican Plan, an external form with a deep gable and internally with a central nave and aisles—a formal type that goes back two millennia as the form for both churches and barns.

我们确定了一个正式的原产地为当前形状现有教堂具有Basilican计划，外部形成了深刻的山墙和国内的中央殿和过道，一个正式的类型，可以追溯到两千年的形式为教堂和谷仓。

In the aspect of the Philosophy of Language, Montague Grammar inherited Frege's theory of meaning, Russell's theory of reference, Carnap's theory of verification, Goodman's Modern Realism, Tarski's theory of truth, Kripke's semantics of possible worlds of modal logic, etc, and opens up a new direction in the study of Formal Semantics of natural language; in the aspect of Theoretic Linguistics, Montague was influenced by Chomsky's research idea about the formal treatment of the syntax in natural language and extended it to the semantic study of natural language; Montague Grammar has two theoretic sources: One is the Logical Semantics and Intensional Type Theory in Logic, and the other is Categorial Grammar and Transformative Generative Grammar in Linguistics.

在语言哲学方面它继承了弗雷格的意义论，罗素的指称论，卡尔纳曾的实证主义，古德曼的现代实在论，塔斯基的语义学真理论，克里普克的模态逻辑可能世界语义学的传统，开辟了自然语言形式语义学研究的新方向；在理论语言学方面，他受乔姆斯基形式化语言研究思想的影响，并把这一思想扩展到自然语言的语义研究方面；蒙太格语法的理论来源有两个方面：逻辑方面是逻辑语义学思想和内涵类型论理论，语言学方面是范畴语法和转换生成语法。

Hyacinthine, its English name is: Hyacinth, when saying the beautiful sign of maize hyacinth, we understand the origin of hyacinthine formal name together first: Allegedly, the origin of hyacinthine flowers formal name is the name of the Yaxintuosi in coming from Greek mythology, because his name is Hyacinthus, and the Yaxintuosi that people is having tender feeling for to commemorate Baal Apollo is bestowed favor on, name very popular this kind at that time flowers with hyacinth.

风信子，它的英文名字为：Hyacinth，在说黄色风信子的花语的时候，我们先一起来了解风信子的学名的由来：据说，风信子花卉学名的由来是来自希腊神话中的雅辛托斯的名字，因为他的名字是Hyacinthus，而人们为了纪念太阳神阿波罗宠眷着的雅辛托斯，就用风信子来命名这种当时很流行的花卉。

Formal language, so they are not formal valid. The interpretational account of validity can explain

有些实质有效论证找不到形式语言中与它们对应的有效论证型，所以不是形式有效

Theforming of systematic interpretational methods and laws is the formal symbol of theripe theory of the historical interpretation,and is the formal guarantee of theobjectivity of the historical interpretation theory.

历史的意义具有过程性、主体性、实践性、超越性，历史意义是过去、现在、未来三个向度意义的统一，从根本上讲，历史意义也就是实践意义。

In the judicial sphere, the principle of rule of law decides the priority of formal rationality, that is, in the judicial process, when the substantive rationality of the case decision and the formal rationality of the law itself can both be achieved, the judicator should equally fulfill them; but when the substantive rationality and ormal rationality contradicts and excludes each ...

法治原则在司法领域必然意味着形式合理性的优先，即，在司法过程中，当个案处理结果的实质合理性与法律本身的形式合理性可以两全时，司法者应当而且必须兼顾这两种价值，在司法裁判中同时实现个案中的实质合理性与法律的形式合理性；然而，当实质合理性与形式合理性发生不可两全的矛盾而不得不有所牺牲时，司法裁判则应当以优先实现形式合理性为原则，以牺牲形式合理性为例外。

Under the prerequisite of essential positivism of insisting on the leadership of the CCP, there are two kinds of standpoints about the rule of the CCP: formal positivism and formal passivism.

在坚持中国共产党的领导这一实质积极主义前提下，党的执政存在形式积极主义与形式消极主义两种立场。

According to the general principles of constitutionalism, legislation, administration and judicature have different properties in public law and different features in the degree of openness and activity. To really realize governance by law, flexible choices should be made between formal positivism and formal passivism according to the different properties and features of legislation, administration and judicature, which altogether depends on the CCP's putting itself in a modest position. Only in this way can the ultimate conception of the harmonious combination of political and legal values of governance by law come into reality.

从宪政的一般原理上看，立法、行政与司法在公法上具有不同的性质，并且在开放性、能动性等方面具有不同的特性，要真正实现依法执政就必须依照立法、行政与司法的不同性质与特点在形式积极主义与形式消极主义间进行灵活选择，而这一切端赖于中国共产党的自我谦抑立场，如此方可实现将依法执政的政治价值与法治价值这两种不同的价值目标进行和谐统合的终极构想。

The words "Pai-Chang"or "Pai5 Tiunn5" have many meanings But when used in traditional opera or music and explained as a kind of formal musical performance they are only applied in Taiwanese Peguan and Nanguan cultural circle particularly in Peguan circle There are two kinds of characters of "Pai-Chang" in terms of the function of the performance namely artistry and folk custom In Tainian city "Pai-Chang" which refers to the formal vocal performance without makeup and acting; nevertheless is used by the amateur actors' organizations of Peking opera as well Such a phenomenon raises two questions: first of all Although Peking the origin of Peking opera has vocal performance of Peking opera "Pai-Chang" is never used either artistry or folklore therefore how does this jargon hand down to the Peking opera circle in Tainan city ?

「排场」(pai5 tiunn5或ㄆㄞˊㄔㄤˇ)一词，用於戏曲音乐方面，做音乐的正式演出型态解释者，为台湾南北管文化圈所特有，其中又以北管最常使用。其以表演目的或弁郧荌粥洃嚏A可分为艺术性与民俗性两种。然而，在台南市及其周边的京剧文化圈内，亦使用有「排场」(pai5 tiunn5或ㄆㄞˊㄔㄤˇ)此一语汇，也指京剧的「正式清唱演出」。本研究动机基於对目前仅见於台南市及其周边之民俗性京调排场的两点疑惑：其一，按京剧的形成地－－北京，虽亦有京剧的清唱演出，然不论为艺术性或民俗性，北京人都不称为「排场」，那麼台南市京剧圈的排场语汇是如何得来的呢？代表了何种意义？

Although non-formal systems are permeative, protracted in evolution and slow in alteration, human daily-growing ability of rational cognition by means of science and technology makes us completely able to solve the above-mentioned problems by transforming existing non-formal systems in the procedural system of market economy of our country.

非正式制度虽然具有存在的弥散性、演化的长期性、变迁的缓慢性等特点，但人类以科学技术为代表的理性认识能力的日益强大，使得人们可以通过变革非正式制度来解决我国市场经济秩序型构中存在的深层问题。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。