In Tarski's World abbiamo le costanti a,b,c,d,e,f, le funzioni leftmost/1, rightmost/1, frontmost/1 ,backmost/1 i predicati Tet/1, Cube/1, Dodec/1, ... ecc.; si veda il libro di testo.
Inoltre, non si considerano tutte le interpretazioni del primo ordine, ma solo quelle che rappresentano circostanze possibili nel contesto considerato. Ad esempio, se un blocco è un tetraedro, non può essere ancheun cubo o un dodecaedro.