Zadání KL-kvantifikátoru

Součástí zadání množiny relevantních KL-vztahů je zadání KL-kvantifikátoru ≈ v okně dle následujícího obrázku.

KL-kvantifikátor ≈ je dán jako konjunkce KL-kvantifikátorů zadaných v tomto okně. To znamená, že podmínka definující KL-kvantifikátor ≈ je konjunkcí podmínek definujících jednotlivé zadané KL-kvantifikátory. Každé z uvedených tlačítek zahajuje zadávání jiného typu CF-kvantifikátoru.

Při zadávání KL-kvantifikátorů se často používá Category range. Při práci s rozdílovými KL-kvantifikátory se používá i galerie uložených vzorů.