Пропонується множина понять, що базується на численні предикатів. Описано два підходи. Один з них - в строгих математичних термінах, а інший - в термінах нечіткої логіки. Цей формалізм використовується для представлення знань у галузі медичної діагностики.