| Subject | English | Japanese |
| gen. | n vs yoji analogical inference | 類推推理 |
| math. | n Bayesian inference | ベイズ推定 |
| gen. | drawing a forced inference | 附会 |
| gen. | drawing a forced inference | 付会 |
| gen. | drawing a hasty inference between two events | 短絡 news1 nf21 (tanraku) |
| gen. | extended inference mode | 拡張推論モード |
| gen. | forward inference | 前向き推論 |
| gen. | fuzzy inference | ファジィ推論 |
| gen. | inductive inference | 帰納推理 |
| comp. | n inference engine | 推論エンジン |
| gen. | inference engine | 推論機構 |
| comp., MS | inference rule | 推論規則 (The command that runs if the dependency is not current) |
| gen. | invited inference | 誘引的推論 |
| comp., MS | local type inference | ローカル型推論 (A process in which the compiler infers the type of a local variable that is declared with the var keyword in C or without an As clause in Visual Basic. The compiler infers the type of the variable from the type of the initializer expression) |
| gen. | rules of inference | 推論規則 |
| gen. | statistical inference | 統計的推定 |
| comp., MS | type inference | 型の推定 (A process in which the compiler determines the data type of a local variable that has been declared without an explicit data type declaration. The type is inferred from the initial value provided for the variable) |