Un Knowledge Item dont la sortie est un contrat sémantique : il fixe ce qu'un terme signifie dans le graphe. Les définitions sont elles-mêmes contestables — on peut montrer qu'un terme est ambigu ou qu'une définition exclut des cas pertinents. Les termes clés des autres KI renvoient à leur définition.