As far as I can tell, non of these apply: slang, jargon, colloquial - though their definitions seem to differ from site to site.