אנגלית ⇄ גרמנית סינית רוסית +

many-sorted logic
.בינה	mehrsortige Logik