查询词典 provided that

I hope very much that this has provided some food for thought, and I look forward to any questions.

我非常希望能够激发你们的一些想法，我欢迎你们提问题。

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

A new kind of security friction clutch that works reliable and secure is provided through this design.

通过本次设计位社会提供了一种工作可靠、安全保护的新型离心式离合器。

The second way is to call a class member function of the client class through the interface that is provided with your class package.

第二种就是通过接口来调用一个客户端的类成员函数，这个接口在类中提供。

Iii a notice that, if requested by the consumer, a description of the procedure used to determine the accuracy and completeness of the information shall be provided to the consumer by the agency, including the business name and address of any furnisher of information contacted in connection with such information and the telephone number of such furnisher, if reasonably available

如经消费者要求，消费者报告机构对消费者提供用于说明信息的准确性和完整性的程序通知，包括与此信息有关的任何信息提供人的商业名称和地址，以及如可合理地得到的话，信息提供人的电话号码

His newspaper provided him with some money in order that he might travel to Gambia for his research.

他的报社给他提供了一些资金，以便他可以去冈比亚进行研究。

A cooling system is provided for components of a computer tomography system that are arranged in a gantry housing.

本发明公开了一种用于对计算机断层造影装置(1)中设置在桶架壳体(3)内的部件(5，6，26)进行冷却的冷却系统。

By Le Corbusier's own admission, it was the site that provided an irresistible genius loci for the response, with the horizon visible on all four sides of the hill and its historical legacy for centuries as a place of worship .

由勒柯布西耶自己也承认，这是网站，提供了一个不可阻挡的天才位点的反应，与地平线上看到四面的山和它的历史遗产，作为一个世纪的礼拜场所。

Fran ois Gigot de La Peyronie 1678 1747 , a French royal physician at the court of Louis XV , provided the first scientific description of the disease that now bears his name .

法国路易斯十五世时代的皇家内科医生，他首先科学地描述了此病，故此病以其名而命名。

The American Thanksgiving holiday began in 1621 with the first successful Pilgrim harvest, one that truly provided an occasion to give thanks.

美国的感恩节始于1621年，清教徒的第一次丰收，那是一个真正表达感恩的日子。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。