programa, programa informático, programa de computador (cat. nominal)

"programa" é subtipo de
   conjunto
são subtipos de "programa"
   browser
   proxy
   motor de busca
relações não-hierárquicas:

"programa" é usado como instrumento por
      computador

"programa" tem uma relação parte/todo com
      software (mas não necessariamente)
      aplicação (mas não necessariamente)

equivalência em Inglês