Suppose Mount Everest, also known in Nepal as Sagarmatha and in Tibet as Chomolungma, is Earth's highest mountain above sea level, located in the Mahalangur Himal sub-range of the Himalayas. It was named after Sir George Everest, a colonial era surveyor-general of India.
Can we infer that "Mount Everest was named after a famous explorer."?