CY c中所有的知识都以逻辑声明的形式表示。

All of the knowledge in CYC is represented declaratively in the form of logical assertions.

youdao

对…提出异议反对，尤其是以正式声明的形式反对。

To object to, especially in a formal statement.

youdao

您需要提交的纳税信息应根据您的情况采用美国纳税表或“在美国没有经营活动”的声明的形式。

You need to submit the tax information should be based on your use of the tax table or the United States "in the United States operating activities," the statement form.

youdao