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

clause form of predicate logic
.טכנול	μορφή του κατηγορηματικού λογισμού