The use of terminological knowledge bases in software localisation