Type inference has three outputs whereas checking only has two.
Source: tatoeba (1360819)
Inference
//ˈɪn.fɚ.əns//
Synonyms for "inference" (83 found)
Ranked by relevance and common usage.
Closest matches (17)
Strong matches (25)
Related words (41)
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
More general
3 entriesMore specific
3 entriesdefined as
1 entriesderived
8 entriesis a
2 entriesrelated to
5 entriesused for
1 entriesTranslations
64 translations across 22 languages.
Bulgarian
4 entries- заключение noun (act or process of inferring by deduction or induction)
- заключение noun (that which is inferred)
- извод noun (that which is inferred)
- разсъждение noun (act or process of inferring by deduction or induction)
Czech
4 entries- dedukce noun (that which is inferred)
- inference noun (act or process of inferring by deduction or induction)
- odvození noun (act or process of inferring by deduction or induction)
- usuzování noun (act or process of inferring by deduction or induction)
Dutch
2 entries- afgeleid gegeven noun (act or process of inferring by deduction or induction)
- conclusie noun (act or process of inferring by deduction or induction)
Finnish
2 entries- päätelmä noun (that which is inferred)
- päättely noun (act or process of inferring by deduction or induction)
French
2 entries- déduction noun (act or process of inferring by deduction or induction)
- inférence noun (act or process of inferring by deduction or induction)
German
4 entries- Conclusio noun (that which is inferred)
- Folgerung noun (act or process of inferring by deduction or induction)
- Folgerung noun (that which is inferred)
- Inferenz noun (act or process of inferring by deduction or induction)
Greek
4 entries- πόρισμα noun (that which is inferred)
- συμπέρασμα noun (that which is inferred)
- συμπερασμός noun (act or process of inferring by deduction or induction)
- συναγωγή noun (act or process of inferring by deduction or induction)
Hindi
3 entries- अनुमान noun (act or process of inferring by deduction or induction)
- अनुमानित noun (that which is inferred)
- आकलन noun (act or process of inferring by deduction or induction)
Indonesian
3 entries- inferensi noun (act or process of inferring by deduction or induction)
- inferensi noun (that which is inferred)
- simpulan noun (that which is inferred)
Italian
1 entries- inferenza noun (act or process of inferring by deduction or induction)
Malay
3 entries- inferens noun (act or process of inferring by deduction or induction)
- penakbiran noun (act or process of inferring by deduction or induction)
- pentakbiran noun (act or process of inferring by deduction or induction)
Malayalam
1 entries- അനുമാനം noun (act or process of inferring by deduction or induction)
Māori
2 entries- hīkaro noun (that which is inferred)
- hīkarohanga noun (act or process of inferring by deduction or induction)
Norwegian Bokmål
3 entries- inferens noun (act or process of inferring by deduction or induction)
- slutning noun (act or process of inferring by deduction or induction)
- slutning noun (that which is inferred)
Occitan
2 entries- inferéncia noun (act or process of inferring by deduction or induction)
- inferéncia noun (that which is inferred)
Portuguese
1 entries- inferência noun (act or process of inferring by deduction or induction)
Russian
4 entries- вы́вод noun (that which is inferred)
- заключе́ние noun (that which is inferred)
- рассужде́ние noun (act or process of inferring by deduction or induction)
- умозаключе́ние noun (act or process of inferring by deduction or induction)
Sanskrit
1 entries- अनुमानम् noun (act or process of inferring by deduction or induction)
Serbo-Croatian
4 entries- zaključak noun (that which is inferred)
- zaključivanje noun (act or process of inferring by deduction or induction)
- zaкључак noun (that which is inferred)
- закључивање noun (act or process of inferring by deduction or induction)
Spanish
2 entries- ilación noun (act or process of inferring by deduction or induction)
- inferencia noun (act or process of inferring by deduction or induction)
Ukrainian
1 entries- висновок noun (act or process of inferring by deduction or induction)
Welsh
4 entries- canlyniad noun (act or process of inferring by deduction or induction)
- canlyniad noun (that which is inferred)
- enwythiad noun (act or process of inferring by deduction or induction)
- enwythiad noun (that which is inferred)
Sample sentences
4 total sentences available.
Logic, in the Middle Ages, and down to the present day in teaching, meant no more than a scholastic collection of technical terms and rules of syllogistic inference.
Source: tatoeba (11707346)
Is this an observation or an inference?
Source: tatoeba (12285274)
A key part of McCarthy’s argument, as made in other settings, such as a Larry King evening news show and on a now-infamous Oprah episode, focuses on the fact that children receive more vaccines now than ever before, which she believes corresponds with a rise in autism rates. However, as scientists and others who reject fallacious inferences point out, correlation is not causation.
Source: wiktionary
Keep exploring
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.