Not all knowledge is logic or maths.
This is even true in math. Based on the set of axioms you allow, you can prove certain facts. A math with different axioms may have completely different theorems, and some observable real world behavior can be better modeled under one set of axioms than another.
Language could be described as a math for personal expression and everyday life, and each language has its own axioms and theorems.
I am very skeptical that this happens commonly, or that the necessary terms couldn't be ported over to the common language if needed.
> Why can a man never starve in the Great Desert? Because he can eat the sand which is there. But what brought the sandwiches there? Why, Noah sent Ham, and his descendants mustered and bred.