Definitsioon: hierarhiline mõistete süsteem, mille abil esitatakse teadmisi
Mõiste: arvutiontoloogia
Ülemmõiste: loogika