Tanım
Tanım, bir terimin (bir kelime, ifade veya diğer semboller kümesi) anlamının bir ifadesidir. Tanımlar iki büyük kategoriye ayrılabilir: yoğunluklu tanımlar (bir terimin anlamını vermeye çalışır) ve uzantısal tanımlar (bir terimin tanımladığı nesneleri listelemeye çalışır). Tanımların bir diğer önemli kategorisi, örneklere işaret ederek bir terimin anlamını ileten gösterici tanımlar sınıfıdır.