A business ontology is a formal specification of business concepts and their interrelationships that facilitates machine reasoning and inference.

业务ontology已经成为业务概念及其关系的一种正式规范，它们可以简化机器推理的过程。

youdao

A computer can reason about statements in these formal languages automatically using logical inference rules.

计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。

youdao

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.

许多语用学家认为语用推理无法用形式系统来刻画，只能用非形式的甚至是隐喻性的语汇来描述。

youdao

In any company, one way to help people succeed in their professional careers (and help the company succeed, by inference) is to have a formal mentoring program.

FORBES: Sea Daddies And Career Mentors....Who Needs Them? Pretty Much Everyone.