egyedi elnevezések feltételezés (UNA)

Rövid szöveges bemutatás: 
Egy rendszer az egyedi elnevezések feltételezéssel él, hogyha explicit nincs kimondva a tudásbázisban, hogy különböző konstansok különböző objektumokat jelentenek.