Search references for ASSERTION DEFINITION-LANGUAGE. Phrases containing ASSERTION DEFINITION-LANGUAGE
See searches and references containing ASSERTION DEFINITION-LANGUAGE!ASSERTION DEFINITION-LANGUAGE
The Assertion Definition Language (ADL) is a specification language providing a predicate logic based behaviour, as well as interfaces, for computer software
Assertion_definition_language
Topics referred to by the same term
the standard library of the C programming language Assertion definition language, a specification language providing a formal grammar to specify behaviour
Assertion
Syntax for defining data structures
In the context of SQL, data definition or data description language (DDL) is a syntax for creating and modifying database objects such as tables, indices
Data_definition_language
Statement that a predicate is always true at that point in code execution
definite assertions which can be checked individually, and from which the correctness of the whole program easily follows". Assertion definition language Design
Assertion (software development)
Assertion_(software_development)
Technical standard for authentication and authorization
Security Assertion Markup Language (SAML, pronounced SAM-el, /ˈsæməl/) is an open standard for exchanging authentication and authorization data between
SAML
[1], W3C 'Test Assertion Guide' (Editor's Draft) [2], Unisoft's 'Glossary of Testing Terms' includes a definition for 'test assertion' [3], OASIS-open
Test_assertion
Programming language
compiler (except when performing a type assertion), the Go authors prefer the term structural typing. The definition of an interface type lists required methods
Go_(programming_language)
Computer markup language
Security Assertion Markup Language (SAML) 2.0 is a version of the SAML standard for exchanging authentication and authorization identities between security
SAML_2.0
1936 book by A. J. Ayer
falsehood are simply signs of assertion or denial of empirically verifiable propositions. In the same manner, assertions of value have meaning only insofar
Language,_Truth,_and_Logic
Topics referred to by the same term
for function names in the C++ programming language Assertion definition language, a specification language ADL astronomical society, Slovenian astronomical
ADL
Philanthropy conception of meaning
by their assertion conditions; and Such a semantics is only guaranteed to be coherent if the inferences associated with the parts of language are in logical
Meaning_(philosophy)
Expression whose definition assigns it a unique interpretation
well-defined expression or unambiguous expression is an expression whose definition assigns it a unique interpretation or value. Otherwise, the expression
Well-defined_expression
Programming language
violation division by zero numerical overflow If a postcondition or any other assertion is added to a subprogram, GNATprove will also generate VCs that require
SPARK_(programming_language)
System entity that issues authentication assertions
issues authentication assertions in conjunction with a single sign-on (SSO) profile of the Security Assertion Markup Language (SAML). In the SAML domain
Identity_provider_(SAML)
Efforts to teach other apes human communication
sign language, physical tokens and computerized lexigrams. These studies were controversial, with debate focused on the definition of language, the welfare of
Great_ape_language
Approach for designing software
assertions first.[citation needed] Contracts can be written by code comments, enforced by a test suite, or both, even if there is no special language
Design_by_contract
Family of formal knowledge representation
drawn between the so-called TBox (terminological box) and the ABox (assertional box). In general, the TBox contains sentences describing concept hierarchies
Description_logic
XML standard to describe elements in document
type definitions. These components are usually created by processing a collection of schema documents, which contain the source language definitions of
XML_Schema_(W3C)
Theories about the phenomenon of fascism
What constitutes a definition of fascism and fascist governments has been highly disputed regarding the exact nature of fascism and its core tenets amongst
Definitions_of_fascism
Notification given by U.S. police to criminal suspects on their rights while in custody
Massiah rights may be waived. Assertion: In each case, the assertion must be clear and unequivocal. The effects of assertion are not identical. For purposes
Miranda_warning
Obsolete definitions of racial groups
and equality in law in no way depend, as ethical principles, upon the assertion that human beings are in fact equal in endowment." As the 1950 and 1951
Historical_race_concepts
Coding guidelines by Gerald J. Holzmann
of code per function. The code's assertions density should average to minimally two assertions per function. Assertions must be used to check for anomalous
The Power of 10: Rules for Developing Safety-Critical Code
The_Power_of_10:_Rules_for_Developing_Safety-Critical_Code
Statement that is taken to be true
the meaning away from the mathematical assertions (axioms, postulates, propositions, theorems) and definitions. One must concede the need for primitive
Axiom
Computer language specialized to a specific set of requirements or function
of domain-specific languages may be found like Object Constraint Language (OCL), a language for decorating models with assertions or Query/View/Transformation
Domain-specific_language
Description of a type of XML document
integrity constraints. There are languages developed specifically to express XML Schemas. The document type definition (DTD) language, which is native to the XML
XML_schema
Header file for C programs
implements runtime assertion in C. <assert.h> is defined in ANSI C as part of the C standard library. In the C++ programming language, <assert.h> and <cassert>
Assert.h
3-volume treatise on mathematics, 1910–1913
presented in terms of truth-values for the behaviour of the symbols "⊢" (assertion of truth), "∾" (logical not), and "V" (logical inclusive OR). Truth-values:
Principia_Mathematica
Definitions of knowledge aim to identify the essential features of knowledge. Closely related terms are conception of knowledge, theory of knowledge,
Definitions_of_knowledge
Hardware verification language
coverage metric definition and collection Temporal language that can be used for writing assertions Aspect-oriented programming language with reflection
E_(verification_language)
Markup language and file format
in an XML document to conform to definitions in XML Schema Datatypes. Schematron is a language for making assertions about the presence or absence of
XML
Figure of speech
" (Monty Python's Life of Brian) the question functions as a negative assertion. It is intended to mean "The Romans have never done anything for us!"
Rhetorical_question
XML-based framework
Markup Language. SPML version 1.0 was approved in October 2003. SPML version 2.0 was approved in April 2006. Security Assertion Markup Language exchanges
Service Provisioning Markup Language
Service_Provisioning_Markup_Language
verecundiam) – an assertion is deemed true because of the position or authority of the person asserting it. Appeal to accomplishment – an assertion is deemed
List_of_fallacies
Definitions of philosophy aim at determining what all forms of philosophy have in common and how to distinguish philosophy from other disciplines. Many
Definitions_of_philosophy
Romance language
Berlin/Boston: de Gruyter. ISBN 978-3-11-034670-1 French language at Wikipedia's sister projects Definitions from Wiktionary Media from Commons Quotations from
French_language
Informal logical fallacy
retreating from the initial, falsified a posteriori assertion offering a modified assertion that definitionally excludes a targeted unwanted counterexample using
No_true_Scotsman
Declarative specification language
Alloy differs from many specification languages designed for model-checking in that it permits the definition of infinite models. The Alloy Analyzer
Alloy (specification language)
Alloy_(specification_language)
Standard for Security Assertion Markup Language
belongs to the family of XML-based standards known as the Security Assertion Markup Language (SAML) published by OASIS in 2005. A SAML metadata document describes
SAML_metadata
Bearer of truth values
distinguish types of propositions by their informational content and mode of assertion, such as the contrasts between affirmative and negative propositions,
Proposition
Software library for interpreting regular expressions
(zero-width assertion). For example, /\w+(?=\t)/ matches a word followed by a tab, without including the tab itself. Look-behind assertions cannot be of
Perl Compatible Regular Expressions
Perl_Compatible_Regular_Expressions
he thought mathematics makes only hypothetical assertions, not categorical ones. Russell's definition, on the other hand, expresses the logicist view
Definitions_of_mathematics
West Germanic language spoken by Ashkenazis
linguistic independence of Yiddish from the languages that it absorbed. There has been periodic assertion that Yiddish is a dialect of German, or even
Yiddish
Family of knowledge representation languages
family is interpreted as a set of "individuals" and a set of "property assertions" which relate these individuals to each other. An ontology consists of
Web_Ontology_Language
Programming languages binary operator
being asserted. The assert macro outputs its argument verbatim on an assertion failure. The following is an example: for (int i = 0; i <= 9; i++) { assert(("i
Comma_operator
Family of philosophical theories
is one of a family of theories that all have in common the claim that assertions of predicate truth of a statement do not attribute a property called "truth"
Deflationary_theory_of_truth
Indicates an intentional reproduction in quotation
spelling, punctuation, and grammar. Sic also applies to any surprising assertion, faulty reasoning, or other matter that might otherwise be interpreted
Sic
Hardware description and hardware verification language
assertion specification language, similar to Property Specification Language. The subset of SystemVerilog language constructs that serves assertion is
SystemVerilog
Declarative language
1.4 definition specified a constraint language. In OCL 2.0, the definition has been extended to include general object query language definitions. OCL
Object_Constraint_Language
Logical proof involving antecedents and consequents
strictly for simple conditional assertions with one and only one consequent formula. The same single-consequent definition for a sequent is given by Huth
Sequent
relationship. Its noted Concept assertion ( : {\displaystyle :} ) in Description logics, a family of logic based on classes, class assertion Ontologies vary on whether
Class (knowledge representation)
Class_(knowledge_representation)
Specialized computer language used to describe electronic circuits
In computer engineering, a hardware description language (HDL) is a specialized computer language used to describe the structure and behavior of electronic
Hardware_description_language
Semantic or grammatical assertion of the truth
assertion of a correct basis for that belief (he perceived an object, believed it to be a snake, and it was in fact a snake). The formal definition of
Veridicality
Business process modelling method
IDEF3 (Integrated Definition for Process Description Capture Method) is a business process modelling method complementary to IDEF0. The IDEF3 method is
IDEF3
Sign language predominantly in the US
American Sign Language (ASL) is a natural language that serves as the predominant sign language of deaf communities in the United States and most of Anglophone
American_Sign_Language
Family of modeling languages
initially an abbreviation of ICAM Definition and renamed in 1999 as Integration Definition, is a family of modeling languages in the field of systems and software
IDEF
Memory present at birth that exists in the absence of sensory experience
not genetically predisposed to speak the languages of that country, adding further weight to the assertion that genetic memory is not Lamarckian. Neuroscientific
Genetic_memory_(psychology)
Real or apparent mutual contradiction between two ideas that exposes their misconceptions
a "skeptical method" of "watching, or rather provoking, a conflict of assertions, not for the purpose of deciding in favor of one or the other side, but
Antinomy
Socio-ethnolinguistic group in India
the middle of the nineteenth century as an assertion of the autonomy and distinctiveness of Assamese language and culture against the British colonial view
Assamese_people
Text processor used with C and C++ and other programming tools
as it is required by the definition of each language. Some compilers provide extensions and deviations from the target language standard. Some provide options
C_preprocessor
Indo-European language
Indo-European language and the only surviving representative of the Albanoid branch, which belongs to the Paleo-Balkan group. It is the native language of the
Albanian_language
CellML: a language describing mathematical models Channel Definition Format Chemical Markup Language ClaML : Classification Markup Language for health
List_of_XML_markup_languages
Indo-Aryan language
movement was viewed as humorous by some outsiders, it represented a serious assertion of Bhojpuri linguistic identity. The influence of Bhojpuri is evident
Bhojpuri_language
Standard that is openly accessible and usable by anyone
their development due to their inherently open nature. There is no single definition, and interpretations vary with usage. Examples of open standards include
Open_standard
Indo-European linguistic classification
that the change *ḱ > z was unconditional and subsequently revised the assertion to a conditional change occurring only before front vowels, /j/, or /w/;
Centum_and_satem_languages
Section of code that details a specific command
stop/halt). In some languages, input and output, assertions, and exits are handled by special statements, while other languages use calls to predefined
Statement_(computer_science)
Type of nonverbal communication
Birdwhistell, who disavowed use of the term body language, as it did not meet the linguistic definition of language. Birdwhistell pointed out that "human gestures
Body_language
Language spoken in Korea
Korean is the native language for about 81 million people, mostly of Korean descent. It is the national language of both North Korea and South Korea.
Korean_language
Fundamental generic unit of narrative structure
French term mythème, with the assertion that the system of meaning within mythic utterances parallels closely that of a language system. Roman Jakobson varies
Mytheme
Type of argument
provisionally true (regarded as true for now). An argumentation scheme's definition is not itself an argument, but represents the structure of an argument
Argumentation_scheme
Approach to understanding the relationship between text and meaning
he understood it. His definition of deconstruction is that, "[i]t's possible, within text, to frame a question or undo assertions made in the text, by
Deconstruction
Semantic distinction in philosophy
or the conventions of language. Since empiricism had always asserted that all knowledge is based on experience, this assertion had to include knowledge
Analytic–synthetic distinction
Analytic–synthetic_distinction
Dialects including French and its close relatives
needed] It is from this period though that definitions of individual Oïl languages are first found. The Picard language is first referred to by name as "langage
Langues_d'oïl
Communication that lacks any coherent meaning
the philosophy of language and the philosophy of science, nonsense refers to a lack of sense or meaning. Different technical definitions of meaning delineate
Nonsense
Logic founded on unproven premises
cannot avoid a problem because of contradictory constraints Circular definition – Self-referential description of meaning Consequentia mirabilis Euphemism
Begging_the_question
Koreanic language of Jeju Island, South Korea
Dictionary of the Jeju Language Based on glosses and cognates of Jeju provided in Chin S. 1991; Chin gives one-to-one definitions or Standard Korean cognates
Jeju_language
Mathematical function that can be computed by a program
four models of computation. The Church–Turing thesis is the unprovable assertion that every notion of computability that can be imagined can compute only
Computable_function
Concept in computer science
Ishtiaq and Hongseok Yang, drawing upon early work by Rod Burstall. The assertion language of separation logic is a special case of the logic of bunched implications
Separation_logic
Programming language that uses first order logic
Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog
Prolog
Description of aspects of ontology
the logical inferences that can be drawn from an assertion in a particular form. Axioms assertions (including rules) in a logical form that together
Ontology_components
Topological model
and others. It has been used as a basis for standards of queries and assertions in geographic information systems (GIS) and spatial databases. The DE-9IM
DE-9IM
Correspondence between properties of a category and its opposite
composed by reversing every morphism of C.) Duality, as such, is the assertion that truth is invariant under this operation on statements. In other words
Dual_(category_theory)
Grammatical mood used for statement of fact
English Language. Richard M. Hogg, Roger Lass, Norman Francis Blake, Suzanne Romaine, R. W. Burchfield, John Algeo (2000). The dictionary definition of realis
Realis_mood
2011 edition of the C++ programming language standard
used in the typeless predecessor language B in a related role of denoting an untyped automatic variable definition. Further, the keyword decltype can
C++11
List of programming languages types and the languages that meet its description
notable programming languages, grouped by notable language attribute. As a language can have multiple attributes, the same language can be in multiple
List of programming languages by type
List_of_programming_languages_by_type
Field of theory which examines elements of conversation
expressed through language. Discourse is a social boundary that defines what statements can be said about a topic. Many definitions of discourse are primarily
Discourse
Sequence of characters that forms a search pattern
be simulated in a regular language by treating the surroundings as a part of the language as well. The look-ahead assertions (?=...) and (?!...) have been
Regular_expression
Words expressing a complete thought
be described as follows: A declarative sentence makes a statement or assertion: "You are my friend." An interrogative sentence raises a question: "Are
Sentence_(linguistics)
Ingredients that form music
on definitions. For instance, the fairly common assertion that "tonality" is a universal of all music may necessarily require an expansive definition of
Elements_of_music
This glossary of computer science is a list of definitions of terms and concepts used in computer science, its sub-disciplines, and related fields, including
Glossary_of_computer_science
Pejorative term related to intellectual property
patent holding company (PHC), patent monetization entity (PME), patent assertion entity (PAE), and non-practicing entity (NPE), which may or may not be
Patent_troll
Terms to describe a conditional relationship between two statements
while a sufficient condition is one that produces the said condition. The assertion that a statement is a "necessary and sufficient" condition of another
Necessity_and_sufficiency
Type of data modeling language
Integration Definition for Information Modeling (IDEF1X) is a data modeling language for the development of semantic data models. IDEF1X is used to produce
IDEF1X
Rule-based validation language for XML
rule-based validation language for making assertions about the presence or absence of patterns in XML trees. It is a structural schema language expressed in XML
Schematron
Part of an ontology
classes and properties as a domain vocabulary. ABox statements are the "assertion component" — facts associated with the TBox's conceptual model or ontologies
Abox
Fundamental space of geometry
Another definition of Euclidean spaces by means of vector spaces and linear algebra has been shown to be equivalent to the axiomatic definition. It is
Euclidean_space
Region of southeastern Europe
area in southeastern Europe with various geographical and historical definitions. The region takes its name from the Balkan Mountains that stretch throughout
Balkans
Philosophical terms
important ones such as that of existence, can be defined in the English language. A definition is a collection of other words, and in any finite dictionary if
Indeterminacy_(philosophy)
Object-oriented programming language
the addition of language features supporting better code analysis (such as inner classes, the StringBuilder class, optional assertions, etc.), and optimizations
Java_(programming_language)
Programming paradigm that relies on a stack machine model
be referenced as assertions, though not necessarily in the context of Stack-based languages. PostScript and some other stack languages have other separate
Stack-oriented_programming
Set defined in terms of a finite number of ordinals by a first-order formula
above informal definition is that it requires quantification over all first-order formulas, which cannot be formalized in the standard language of set theory
Ordinal_definable_set
ASSERTION DEFINITION-LANGUAGE
ASSERTION DEFINITION-LANGUAGE
Surname or Lastname
English
English : from the male personal name Manasseh, Hebrew Menashe ‘one who causes to forget’ (see Manasse), borne in the Middle Ages by Christians as well as by Jews. Hebrew Menashe and its reflexes in other Jewish languages have always been popular among Jews.English : occupational name for someone who made handles for agricultural and domestic implements, from an agent derivative of Anglo-Norman French mance ‘handle’ (Old French manche, Late Latin manicus, a derivative of manus ‘hand’).
Biblical
savior; deliverer, The Greek form of the name Joshua or Jeshua, a contraction of Jehoshua, that is, help of Jehovah or saviour. Latin: Jesus, Iesus, Iesu, Josue. Greek: Ieous from Hebrew Yeshua. Also means safety, victory and who's help is Jehovah or it may be from the verb "Yasha", "to save," and = Jehovah Savior, or simply Savior; a late form of Hebrew "yehosua", the Jesus means of which is "YHWH is salvation" or "YHWH saves/has saved." Online definition of "savior." Latin term drove out Old English "hæland" which means "healer" as the preferred descriptive term for Jesus.
Female
Japanese
(ヤス) Japanese name YASU means "assertive child."
Surname or Lastname
English
English : said to be a variant of Mangum, though the insertion of -r- is hard to account for.
Surname or Lastname
English and Dutch
English and Dutch : from Latin Marcus, the personal name of St. Mark the Evangelist, author of the second Gospel. The name was borne also by a number of other early Christian saints. Marcus was an old Roman name, of uncertain (possibly non-Italic) etymology; it may have some connection with the name of the war god Mars. Compare Martin. The personal name was not as popular in England in the Middle Ages as it was on the Continent, especially in Italy, where the evangelist became the patron of Venice and the Venetian Republic, and was allegedly buried at Aquileia. As an American family name, this has absorbed cognate and similar names from other European languages, including Greek Markos and Slavic Marek.English, German, and Dutch (van der Mark) : topographic name for someone who lived on a boundary between two districts, from Middle English merke, Middle High German marc, Middle Dutch marke, merke, all meaning ‘borderland’. The German term also denotes an area of fenced-off land (see Marker 5) and, like the English word, is embodied in various place names which have given rise to habitational names.English (of Norman origin) : habitational name from Marck, Pas-de-Calais.German : from Marko, a short form of any of the Germanic compound personal names formed with mark ‘borderland’ as the first element, for example Markwardt.Americanization or shortened form of any of several like-sounding Jewish or Slavic surnames (see for example Markow, Markowitz, Markovich).Irish (northeastern Ulster) : probably a short form of Markey (when not of English origin).
Girl/Female
Indian
Definition
Boy/Male
Hindu
Assertive
Surname or Lastname
English and Scottish
English and Scottish : from the Middle English personal name Ma(t)thew, vernacular form of the Greek New Testament name Matthias, Matthaios, which is ultimately from the Hebrew personal name Matityahu ‘gift of God’. This was taken into Latin as Mat(t)hias and Matthaeus respectively, the former being used for the twelfth apostle (who replaced Judas Iscariot) and the latter for the author of the first Gospel. In many European languages this distinction is reflected in different surname forms. The commonest vernacular forms of the personal name, including English Matthew, Old French Matheu, Spanish Mateo, Italian Matteo, Portuguese Mateus, Catalan and Occitan Mateu are generally derived from the form Matthaeus. The American surname Matthew has also absorbed European cognates from other languages, including Greek Mathias and Mattheos.It is found as a personal name among Christians in India, and in the U.S. is used as a family name among families from southern India.
Surname or Lastname
Americanized spelling of German Ludwig, Czech LudvÃk, Polish Ludwik, or cognates in other European languages.English
Americanized spelling of German Ludwig, Czech LudvÃk, Polish Ludwik, or cognates in other European languages.English : habitational name from Ludwick Hall in Bishops Hatfield, Hertfordshire, probably named from the Old English personal name Luda + Old English wÄ«c ‘outlying (dairy) farm’.
Surname or Lastname
English, French, Spanish, Portuguese, Dutch, etc.
English, French, Spanish, Portuguese, Dutch, etc. : from the Latin personal name Lucas (Greek Loukas) ‘man from Lucania’. Lucania is a region of southern Italy thought to have been named in ancient times with a word meaning ‘bright’ or ‘shining’. Compare Lucio. The Christian name owed its enormous popularity throughout Europe in the Middle Ages to St. Luke the Evangelist, hence the development of this surname and many vernacular derivatives in most of the languages of Europe. Compare Luke. This is also found as an Americanized form of Greek Loukas.Scottish : reduced Anglicized form of Gaelic Mac Lùcais (see McLucas).As a French name Lucas has been recorded in Canada since 1653, taken to Trois Rivières, Quebec, by one Lucas-Lépine from Normandy.
Surname or Lastname
English, French, Danish, Dutch, and German
English, French, Danish, Dutch, and German : from a short form of the personal name Matthias (see Matthew) or any of its many cognates, for example Norman French Maheu.English, French, Dutch, and German : from a nickname or personal name taken from the month of May (Middle English, Old French mai, Middle High German meie, from Latin Maius (mensis), from Maia, a minor Roman goddess of fertility). This name was sometimes bestowed on someone born or baptized in the month of May; it was also used to refer to someone of a sunny disposition, or who had some anecdotal connection with the month of May, such as owing a feudal obligation then.English : nickname from Middle English may ‘young man or woman’.Irish (Connacht and Midlands) : when not of English origin (see 1–3 above), this is an Anglicized form of Gaelic Ó Miadhaigh ‘descendant of Miadhach’, a personal name or byname meaning ‘honorable’, ‘proud’.French : habitational name from any of various places called May or Le May.Jewish (Ashkenazic) : habitational name from Mayen, a place in western Germany.Americanized spelling of cognates of 1 in various European languages, for example Swedish Ma(i)j.Chinese : possibly a variant of Mei 1, although this spelling occurs more often for the given name than for the surname.Cape May, at the mouth of Delaware Bay, is named after the Dutch explorer Cornelius Jacobsen May.
Male
Japanese
(竜也) Japanese name TATSUYA means "dragon-assertive."
Boy/Male
Tamil
Assertive
Surname or Lastname
English
English : from a pet form of the female personal name Elizabeth. Compare Hibbs 2.English : nickname for someone with very fair hair or skin, from Middle English, Old English lilie ‘lily’ (Latin lilium). The Italian equivalent Giglio was used as a personal name in the Middle Ages. In English and other languages there has also been some confusion with forms of Giles.English : habitational name from places called Lilley, in Hertfordshire and Berkshire. The Hertfordshire place was named in Old English as ‘flax-glade’, from līn ‘flax’ + lēah ‘woodland clearing’. The Berkshire name is from Old English Lillinglēah ‘wood associated with Lilla’, an Old English personal name.
Girl/Female
Hindu, Indian
Number; Definition
Girl/Female
Biblical
Forgetfulness, desertion.
Surname or Lastname
English
English : nickname from Middle English derth ‘famine’ (of uncertain application) or de(e)th ‘death’, Old English dēa{dh}. The latter name would have been acquired by someone who had played the part of the personified figure of Death in a pageant or play, or else one who was habitually gloomy or sickly, and the insertion of the letter -r- may have been a deliberate attempt to dissociate the name from death.
Surname or Lastname
English (West Midlands)
English (West Midlands) : nickname from Middle English trowthe, trouthe ‘good faith’, ‘loyalty’. By my troth was a common phrase emphasizing the veracity of an assertion, and the nickname may have been bestowed on someone who used it habitually or to excess.
Surname or Lastname
English and Scottish
English and Scottish : status name or occupational name from Middle English, Old French maresc(h)al ‘marshal’. The term is of Germanic origin (compare Old High German marah ‘horse’, ‘mare’ + scalc ‘servant’). Originally it denoted a man who looked after horses, but by the heyday of medieval surname formation it denoted on the one hand one of the most important servants in a great household (in the royal household a high official of state, one with military responsibilities), and on the other a humble shoeing smith or farrier. It was also an occupational name for a medieval court officer responsible for the custody of prisoners. An even wider range of meanings is found in some other languages: compare for example Polish Marszałek (see Marszalek). The surname is also borne by Jews, presumably as an Americanized form of one or more like-sounding Jewish surnames.As the fourth chief justice of the U.S., John Marshall (1755–1835) was the principal architect in consolidating and defining the powers of the Supreme Court. He was a descendant of John Marshall of Ireland, who settled in Culpeper Co., VA, sometime before 1655.
Surname or Lastname
English
English : patronymic from Matthew. In North America, this form has assimilated numerous vernacular derivatives in other languages of Latin Mat(t)hias and Matthaeus.Irish (Ulster and County Louth) : used as an Americanized form of McMahon.
ASSERTION DEFINITION-LANGUAGE
ASSERTION DEFINITION-LANGUAGE
Girl/Female
Hindu
Boy/Male
Muslim
Entrusted
Surname or Lastname
English
English : variant of Gamble.
Girl/Female
Hindu, Indian, Malayalam, Marathi
Sweet Person
Girl/Female
Indian
King of the forest
Girl/Female
Hindu, Indian
Love of Life
Girl/Female
Danish Greek Norse American Latin English Scandinavian Scottish
Christian.
Boy/Male
Hindu
Crown flower plant, Fire
Boy/Male
Biblical
Medicine or refreshment of the Lord.
Girl/Female
Tamil
Life, Auto biography
ASSERTION DEFINITION-LANGUAGE
ASSERTION DEFINITION-LANGUAGE
ASSERTION DEFINITION-LANGUAGE
ASSERTION DEFINITION-LANGUAGE
ASSERTION DEFINITION-LANGUAGE
n.
Act of ascertaining and explaining the signification; a description of a thing by its properties; an explanation of the meaning of a word or term; as, the definition of "circle;" the definition of "wit;" an exact definition; a loose definition.
n.
A second or renewed assertion of the same thing.
n.
An exact enunciation of the constituents which make up the logical essence.
n.
The act of asserting, or that which is asserted; positive declaration or averment; affirmation; statement asserted; position advanced.
n.
Description; sort.
n.
Definition; logical direction.
n.
Distinctness or clearness, as of an image formed by an optical instrument; precision in detail.
n.
The state of being forsaken; desolation; as, the king in his desertion.
n.
A solemn assertion.
n.
The act of inserting; as, the insertion of scions in stocks; the insertion of words or passages in writings.
a.
asserting one's self, or one's own rights or claims; hence, putting one's self forward in a confident or assuming manner.
n.
The act of defining; definition; description.
n.
The act of affirming or asserting as true; assertion; -- opposed to negation or denial.
a.
Disposed to self-assertion; self-asserting.
n.
Maintenance; vindication; as, the assertion of one's rights or prerogatives.
n.
The act of defining; determination of the limits; as, a telescope accurate in definition.
a.
Limiting; determining; as, a definitive word.
a.
Relating to definition; of the nature of a definition; employed in defining.
n.
The act of asserting one's self, or one's own rights or claims; the quality of being self-asserting.
n.
The condition or mode of being inserted or attached; as, the insertion of stamens in a calyx.