A business ontology is a formal specification of business concepts and their interrelationships that facilitates machine reasoning and inference.
业务ontology已经成为业务概念及其关系的一种正式规范，它们可以简化机器推理的过程。
A computer can reason about statements in these formal languages automatically using logical inference rules.
计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。
In the eyes of many, pragmatic inference has often been seen as a subject that defies formal characterizations and is describable only in non-formal, sometimes metaphorical terms.
许多语用学家认为语用推理无法用形式系统来刻画，只能用非形式的甚至是隐喻性的语汇来描述。
The relation of inference between the formal system wand the formal system SW is also described.
描述了形式系统W与形式系统SW形式推理之间的关系。
Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.
符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。
Formal logic is the study of inference with purely formal content, where that content is made explicit.
形式逻辑是推理的研究与纯粹形式上的内容，其中的内容是明确的。
Formal logic is the study of inference with purely formal content, where that content is made explicit.
形式逻辑是推理的研究与纯粹形式上的内容，其中的内容是明确的。
应用推荐