formal rule system 形式规则系统
formal rule-making 正式制定规章行为
a formal rule database 形式化规则库
formal business rule 正常交易规则
formal chemical structure rule 形式规则
Spatial rule formal description 空间规则形式化描述
Leibniz invented binary system and assumed a "universal characteristic", a symbol system that contained all the human thoughts; the "mechanical reasoner" that he invented contains the ideas, namely reasoning is a deduction system based on formal rule.
莱布尼茨发明了二进制表示方法，设想了一种“普遍文字”，能包含人类全部思想的符号系统；他所提出的“机械推理机”包含这样的思想，即推理是一个根据形式规则进行的演绎系统。
参考来源 - 认知计算主义的源起与当代发展·2,447,543篇论文数据，部分数据来源于NoteExpress
Note that a single atomic business rule may manifest as a number of formal rule statements, each with a different formal expression type.
注意，一个原子业务规则可能以多个规范化规则语句的形式出现，每个规范化规则语句具有不同的规范化表达类型。
The results showed: (1) the solution of transitive reasoning with spatial and temporal contents supported the mental model theory, not the formal rule theory.
结果发现：（1）空间位置和时间关系的推理结果都支持心理模型理论，而不支持形式规则理论。
A rule thus embodies a formal, implementable expression of some "user requirement," usually stated in textual form using a natural language (for example, English).
因而，规则包含某个“用户需求”的正式和可实现的表达，通常使用自然语言(例如英语)以文本形式进行陈述。
应用推荐