Category:Kott terms by semantic function