Knowledge-based disambiguation for machine translation