Angielski ⇄ Angielski Chiński Duński Fiński Francuski Grecki Hiszpański Japoński Niderlandzki Niemiecki Portugalski Rosyjski Szwedzki Ukraiński Włoski +

predicate logic
posp.	Prädikatenlogik f
fiz.	Attributenkalkül n
sztuczn.	Prädikatenkalkül m; Funktionenkalkül m; Quantorenlogik f
techn.	Praedikatenlogik f
technol.	Prädikatenlogik 1.Ordnung
Angielski tezaurus
predicate logic
skr.	quantificational logic (ssn)

predicate logic : 7 do fraz, 2 tematyki

Sztuczna inteligencja	3
Technologia informacyjna	4