Use "predicate logic pl" in a sentence

1. At John 1:1 the anarthrous predicate noun the·osʹ does precede the verb, the Greek word order being literally: “God [predicate] was [verb] the Word [subject].”

In Johannes 1:1 geht das artikellose Prädikatsnomen theós dem Verb voraus, denn im Griechischen ist die Wortstellung wie folgt: „Gott [Prädikatsnomen] war [Verb] das Wort [Subjekt].“

2. PL: excluding aerial photography)

PL: außer Luftfotografie)

3. These are anarthrous predicate nouns that precede the verb in Greek.

Es handelt sich dabei um artikellose Prädikatsnomina, die im Griechischen dem Verb vorausgehen.

4. Absolute PL Quantum Yield spectrometers

Spektrometer für absolute Fotolumineszenz-Quantenausbeute

5. AGTL+ stands for either assisted Gunning transceiver logic or advanced Gunning transceiver logic.

Abhängig von der Quelle bedeutet AGTL entweder Assisted Gunning Transceiver Logic oder Advanced Gunning Transceiver Logic.

6. Rock solid logic.

Dennoch legen wir Wert auf den

7. Similarly to logic languages, functional logic languages provide search for solutions for existentially quantified variables.

Ähnlich wie logische Sprachen bieten funktionallogische Sprachen Lösungen für die Suche nach existentialquantifizierten Variablen.

8. PL Revalidation of type ratings — powered-lift aircraft

PL Verlängerung von Musterberechtigungen — Luftfahrzeuge mit vertikaler Start- und Landefähigkeit

9. Logic is the foundation... of function.

Logik ist das Fundament der Funktion.

10. Logic units to ensure safety functions.

Logikeinheiten zur Gewährleistung der Sicherheitsfunktionen.

11. PL: Nationality condition for the supply of aerial photographic services.

PL: Staatsangehörigkeitserfordernis für die Erbringung von Luftbildfotografieleistungen.

12. The processor elements are implemented as CMOS/neuron MOS threshold value logic elements or CMOS/NMOS pass transistor logic elements.

Die Prozessorelemente werden in CMOS/Neuron-MOS-Schwellwertlogik oder in CMOS/NMOS-Pass-Transistor-Logik ausgeführt.

13. The quantity of a proposition is whether it is universal (the predicate is affirmed or denied of all subjects or of "the whole") or particular (the predicate is affirmed or denied of some subject or a "part" thereof).

Die Quantität eines Urteils besagt, ob es total (oder allgemein) ist (das Prädikat wird „dem Ganzen“, gr. katholou, des Subjekts zu- oder abgesprochen) oder partikulär (gr. meros; das Prädikat wird nur einem Teil des Subjekts zu- oder abgesprochen).

14. The same technology with photochromic supramolecules was applied in advanced logic operations, giving rise to a very sophisticated molecular logic platform.

Dieselbe Technologie wurde bereits mit photochromen Supramolekülen für fortgeschrittene Logikoperationen eingesetzt, woraus eine äußerst hochentwickelte molekulare Logikplattform entstand.

15. At John 1:1 the second noun (the·osʹ), the predicate, precedes the verb—“and [the·osʹ] was the Word.”

In Johannes 1:1 steht das zweite „Gott“ (theós), das Prädikat, vor dem Verb — „und . . . [theós] war das Wort“.

16. Since the indefinite article is inserted before the predicate noun in such texts, with equal justification the indefinite article “a” is inserted before the anarthrous θεός in the predicate of John 1:1 to make it read “a god.”

Da der unbestimmte Artikel in diesen Texten vor dem Prädikatsnomen eingefügt wird, wird mit der gleichen Berechtigung der unbestimmte Artikel „ein“ vor dem artikellosen θεός im Prädikat von Johannes 1:1 eingefügt, und so entsteht die Lesart „ein Gott“.

17. PL: CPC 871 excluding advertising of tobacco products, alcoholic beverages, pharmaceuticals;

PL: CPC 871 außer Werbung für Tabakerzeugnisse, alkoholische Getränke, Arzneimittel

18. Nowhere did he state that all anarthrous predicate nouns that precede the verb in Greek are definite nouns.

Er sagt nirgends, daß im Griechischen alle artikellosen Prädikatsnomina, die dem Verb vorausgehen würden, bestimmte Nomina seien.

19. BG, PL: Nationality condition for the supply of aerial photographic services.

BG, PL: Staatsangehörigkeitserfordernis für Dienstleistungen im Bereich Luftbildaufnahme.

20. Harner brought out that the grammatical construction in John 1:1 involves an anarthrous predicate, that is, a predicate noun without the definite article “the,” preceding the verb, which construction is primarily qualitative in meaning and indicates that “the logos has the nature of theos.”

Harner ging auf diesen Punkt näher ein und erklärte, daß die grammatische Konstruktion in Johannes 1:1 ein artikelloses Prädikatsnomen enthält, d. h. ein vor dem Verb stehendes Prädikatsnomen ohne den bestimmten Artikel, und daß diese Konstruktion in erster Linie eine Eigenschaftsbezeichnung darstellt und zeigt, „daß der logos die Natur des theos hat“.

21. The company was bought by Solid State Logic ca.

Es galt seinerzeit als größte Installation der Firma Solid State Logic.

22. ‘braking signal’ means a logic signal indicating brake activation.

„Bremssignal“ ein Schaltsignal, das die Bremsenbetätigung anzeigt.

23. But there's no logic to the algebra of love.

Es gibt nun mal keine Logik in der Algebra der Liebe.

24. PL Flight instruction for the issue of type ratings — powered-lift aircraft

PL Flugausbildung für die Erteilung von Musterberechtigungen — Luftfahrzeuge mit vertikaler Start- und Landefähigkeit

25. PL: For telecommunications services provided using cable television and radio network services: Unbound.

PL: Für Telekommunikationsdienstleistungen, die über Kabelfernseh- und -radionetze erbracht werden: Ungebunden.

26. Component with a logic circuit arrangement with configurable functionality

Bauelement mit einer in ihrer funktionalität konfigurierbaren logikschaltungsanordnung

27. Certain scholars have pointed out that anarthrous predicate nouns that precede the verb in Greek may have a qualitative significance.

Gewisse Gelehrte weisen darauf hin, daß artikellose Prädikatsnomina, die dem Verb vorausgehen, im Griechischen eine Eigenschaft anzeigen könnten.

28. BG, EE, MT, PL: Unbound for the supply of aerial photographic services.

BG, EE, MT, PL: Ungebunden für die Erbringung von Luftbildfotografieleistungen.

29. The virtual conditions are built using the positive logic algebra.

Die virtuellen Bedingungen werden unter Zuhilfenahme der Positive Logic Algebra erstellt.

30. In 1940 Quine advanced NF to Mathematical Logic (ML).

1940 erweiterte Quine NF zur Mathematical Logic (ML).

31. Market Access and National Treatment commitments by CY, MT & PL in Mode 1

Verpflichtungen seitens CY, MT & PL hinsichtlich des Marktzugangs und der Inländerbehandlung im Bereich der Erbringungsart 1

32. Mobilisation of the European Globalisation Adjustment Fund — application EGF/2013/009 PL/Zachem

Inanspruchnahme des Europäischen Fonds für die Anpassung an die Globalisierung — Antrag EGF/2013/009 PL/Zachem

33. TRI for aeroplanes and for powered-lift aircraft — TRI(A) and TRI(PL).

TRI für Flugzeuge und für Luftfahrzeuge mit vertikaler Start- und Landefähigkeit — TRI(A) und TRI(PL).

34. Exceptions could be made for rewriting functions or contributing new logic.

Sie können Ausnahmen machen, wenn Methoden neu geschrieben wurden oder neue Logik beigesteuert wurde.

35. Often rather complicated logic systems will be required for these functions.

Für regelungstechnische Anwendungen sind oft lineare Funktionen erwünscht.

36. PL Experience requirements and prerequisites for the issue of type ratings — powered-lift aircraft

PL Anforderungen bezüglich der Erfahrung und Voraussetzungen für die Erteilung von Musterberechtigungen — Luftfahrzeuge mit vertikaler Start- und Landefähigkeit

37. PL does not satisfy this provision as it imposes an accommodation condition on refugees too.

PL kommt dieser Bestimmung nicht nach, da es auch für Flüchtlinge eine Wohnraum-Bedingung vorschreibt.

38. Full custom logic circuits are designed to perform application-specific functions.

Anwendungsspezifische logische Schaltungen werden zur Ausführung von anwendungsspezifischen Funktionen konstruiert.

39. Operation, application and identification in logic diagrams of multiplexers and demultiplexers.

Arbeitsweise, Anwendung und Kennzeichnung von Multiplexern und Demultiplexern in logischen Schaltplänen.

40. Combinatory logic is the foundation for one style of functional programming language.

Kombinatorische Logik bildet eine der Grundlagen für funktionale Programmiersprachen.

41. The Lindenbaum algebra of propositional intuitionistic logic is a Heyting algebra.

Die Lindenbaum-Algebra der intuitionistischen Aussagenlogik ist eine Heyting-Algebra.

42. It has the advantage to be simple, exhaustive, logic and adaptable.

Ihre grundlegenden Eigenschaften sind die Einfachheit, Vollständigkeit, der logische Aufbau und die Anpassungsfähigkeit.

43. Braking signal: logic signal indicating brake activation as specified in paragraph

Bremssignal ein Schaltsignal, das die Bremsenbetätigung nach Absatz #.#.# anzeigt

44. The Journal of Biblical Literature says that expressions “with an anarthrous [no article] predicate preceding the verb, are primarily qualitative in meaning.”

Im Journal of Biblical Literature wird erklärt, daß Ausdrücke „mit einem artikellosen Prädikat vor dem Verb in erster Linie eine Eigenschaftsbezeichnung darstellen“.

45. ‘Braking signal’: logic signal indicating brake activation as specified in paragraph 5.2.1.30.

„Bremssignal“ ein Schaltsignal, das die Bremsenbetätigung nach Absatz 5.2.1.30 anzeigt.

46. No justification in the nature and logic of the network charge system

Keine Rechtfertigung durch Natur und Aufbau des Netzentgeltsystems

47. ‘Braking signal’: logic signal indicating brake activation as specified in paragraph 5.2.22.

„Bremssignal“ ein Schaltsignal, das die Bremsenbetätigung nach Absatz 5.2.22 anzeigt;

48. The PL material emits light which becomes visible when the ambient light source is less effective.

Die lang nachleuchtenden Werkstoffe strahlen Licht aus, das sichtbar wird, wenn die umgebende Beleuchtungsquelle an Wirksamkeit verliert.

49. Ac power consumption of the low-voltage dc source with the UUT as the load (PL); and

Wechselstrom-Leistungsaufnahme der Niedrigspannungs-Gleichstromquelle mit dem zu prüfenden Gerät als Last (PL) und

50. Such a mediation brought together algebra and logic for the first time.

Diese Art der Vermittlung ist gekennzeichnet durch eine erste Annäherung von Algebra und Logik.

51. Additional registers and an enlarged address decoding logic in the logic circuitry attribute storage blocks to another address area and allow storage blocks in the same address area to be selectively operated.

Zusätzliche Register und eine erweiterte Adreßdecodierlogik in der Logikschaltung weisen Speicherblöcken einen anderen Adreßbereich zu und erlauben den wahlweisen Betrieb von Speicherblöcken im gleichen Adreßbereich.

52. The PL material emits light which becomes visible when the ambient light source is less effective

Die lang nachleuchtenden Werkstoffe strahlen Licht aus, das sichtbar wird, wenn die umgebende Beleuchtungsquelle an Wirksamkeit verliert

53. Perhaps you noticed this scholar’s wording that an anarthrous predicate noun that precedes the verb should be understood as definite “if the context suggests” that.

Vielleicht hast du bemerkt, daß nach den Darlegungen dieses Gelehrten ein artikelloses Prädikatsnomen, das dem Verb vorausgeht, als bestimmt aufzufassen ist, wenn dies „aus dem Zusammenhang hervorgeht“.

54. So, we will next cover first- order logic which addresses these two limitations.

Daher werden wir uns als Nächstes mit der Prädikatenlogik beschäftigen, welche diese beiden Einschränkungen aufhebt.

55. The PL/I parser builds a syntax tree and a symbol table and it performs name analysis.

Der PL/I Parser baut einen Syntaxbaum und eine Symboltabelle auf, und er führt Namensanalyse durch.

56. Specific efforts should be made to ensure logic and consistency within the activity statement.

Insbesondere sollte es spezifische Anstrengungen im Hinblick auf die Gewährleistung eines logischen und kohärenten Gedankenaufbaus in den Informationsbögen zu den Tätigkeiten geben.

57. The different logic and purpose of both notions may justify necessary adaptations or distinctions.

Unterschiede in Logik und Zweck beider Begriffe mögen notwendige Anpassungen und Unterschiede rechtfertigen.

58. Economic activity cannot solve all social problems through the simple application of commercial logic.

Das Wirtschaftsleben kann nicht alle gesellschaftlichen Probleme durch die schlichte Ausbreitung des Geschäftsdenkens überwinden.

59. The initial description includes the foreseen project intervention logic, project objectives, results and activities.

Die Erstbeschreibung umfasst die geplante Interventionslogik sowie die Ziele, Ergebnisse und Tätigkeiten des Projekts.

60. All Member States except BG, CZ, HR, HU, LV, LT, PL, RO: Unbound except for aerial photography: none

Alle Mitgliedstaaten außer BG, CZ, HR, HU, LV, LT, PL, RO: Ungebunden, außer für Luftbildaufnahmen: Keine.

61. Programmable logic controllers, multi display units electronic counters, electronic timers, sensor control units

Programmierbare Logiksteuerungen, elektronische Zähler für Mehrfachdisplays, elektronische Zeitgeber, Sensorsteuerungseinheiten

62. According to the rules of logic, only one of those solutions is tenable.

Logischerweise lässt sich nur eine dieser Auffassungen vertreten.

63. All Member States, except BG, EE, HU, LV, LT, PL, RO: unbound, except for aerial photography: none

Alle Mitgliedstaaten außer BG, EE, HU, LV, LT, PL, RO: Nicht konsolidiert, außer für Luftbildaufnahmen: Keine.

64. Innovation and experimentation generated diverse territories, alien to the strict logic of the SC.

Erfindung und Versuch brachten unterschiedliche, der strengen Logik der Sozialzentren fremde Gebiete hervor.

65. As well as the actual input mask, a screen also consists of flow logic.

Ein Dynpro besteht aus einer Bildschirmmaske und der zugehörigen Dynproablauflogik.

66. Each output can be an arbitrary boolean function of up to eight logic inputs.

Jeder Ausgang kann eine beliebige Boole’sche Funktion von maximal acht logischen Eingängen sein.

67. causal links from resources used through to activities and presumed impacts (the intervention logic)

Kausalverbindungen zwischen den eingesetzten Mitteln und den Aktivitäten und voraussichtlichen Auswirkungen (Interventionslogik)

68. Combinatory logic is a model of computation equivalent to lambda calculus, but without abstraction.

Die Kombinatorische Logik ist ein Berechnungsmodell, das äquivalent zum Lambda-Kalkül ist, aber ohne die Abstraktion auskommt.

69. He also published papers on real and complex analysis, applied mathematics and mathematical logic.

Er veröffentlichte auch Schriften zur Analysis reeller und komplexer Zahlen, zur angewandten Mathematik und zur mathematischen Logik.

70. These subcircuits may contain any integrated function (e.g., a logic function or a memory function);

Diese Teilschaltungen können jede integrierte Funktion beinhalten (z.B. Logikfunktionen oder Speicherfunktionen);

71. The pin assignment editor can be ended by re-activating the Edit Symbol Logic function.

Der Editiervorgang wird durch erneutes Aufrufen von Symbollogik editieren oder Anklicken des selbsterklärenden aktiven Textes am oberen Rand des Arbeitsbereiches beendet.

72. The invention relates to a decision logic unit (20) for activating or deactivating a squelch.

Es wird ein IR-Empfänger mit einer Entscheidungslogikeinheit (20) zum Aktivieren oder Deaktivieren einer Rauschsperre vorgesehen.

73. Software development platforms adapted for the programming of signal processing processors and programmable logic circuits

An die Programmierung von Signalbearbeitungsprozessoren und von programmierbaren Logikschaltkreisen angepasste Softwareentwicklungsplattformen

74. The company has a logic and regulated management system based on the advanced management techniques.

Management-Grundstein in der Firma ist vernünftiges, geregeltes Verwaltungssystem, das auf Spitzentechnologien im Verwaltungsbereich beruht.

75. Specific efforts should be made to ensure logic and consistency within the activity statement

Insbesondere sollte es spezifische Anstrengungen im Hinblick auf die Gewährleistung eines logischen und kohärenten Gedankenaufbaus in den Informationsbögen zu den Tätigkeiten geben

76. The training programme included the latest advances in mathematical logic with potential industrial applications.

Das Ausbildungsprogramm beinhaltete die neuesten Fortschritte der mathematischen Logik, die möglicherweise in der Industrie Anwendung finden können.

77. All Member States except BG, EE, HR, HU, LV, LT, PL, RO: Unbound except for aerial photography: none

Alle Mitgliedstaaten außer BG, EE, HR, HU, LV, LT, PL, RO: Ungebunden, außer für Luftbildaufnahmen: Keine.

78. ‘Braking signal’: logic signal indicating brake activation as specified in paragraph 5.2.22 of this Regulation.

„Bremssignal“ ein Schaltsignal, das die Bremsenbetätigung nach Absatz 5.2.22 dieser Regelung anzeigt;

79. In this way, it is possible to realize a safety function and/or logic function.

Auf diese Weise lässt sich eine Sicherheitsfunktion und/oder Logikfunktion realisieren.

80. in writing - (PL) The prospect of EU membership works as a powerful engine for change in countries interested in accession.

Die Aussicht auf Mitgliedschaft in der EU wirkt wie ein kraftvoller Motor für den Wandel bei den Beitrittskandidaten.