English ⇄ Chinese Danish Dutch English Finnish French German Greek Italian Japanese Portuguese Russian Spanish Swedish Ukrainian +

English thesaurus
first-order predicate logic
abbr., math.	first-order logic (ssn)

first-order : 9 phrases in 8 subjects

Chemistry	1
Computers	1
Electronics	1
General	1
Information technology	2
Mathematics	1
Metallurgy	1
Technology	1