skolem normal form - Turkish English Dictionary