Terminological Knowledge Representation Systems Supporting N-ary Terms