אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית ספרדית פורטוגלית פינית צרפתית שוודית +

second-order predicate logic
.טכנול	λογική δευτέρου βαθμού; κατηγορηματική λογική δευτέρου βαθμού; κατηγορηματικός λογισμός δευτέρου βαθμού