|
Part-of
In linguistics, meronymy () is a semantic relation between a meronym denoting a part and a holonym denoting a whole. In simpler terms, a meronym is in a ''part-of'' relationship with its holonym. For example, ''finger'' is a meronym of ''hand'' which is its holonym. Similarly, ''engine'' is a meronym of ''car'' which is its holonym. Holonymy () is the converse of meronymy. A closely related concept is that of mereology, which specifically deals with part–whole relations and is used in logic. It is formally expressed in terms of first-order logic. A meronymy can also be considered a partial order. Meronym and holonym refer to ''part'' and ''whole'' respectively, which is not to be confused with hyponym which refers to ''type''. For example, a holonym of ''leaf'' might be ''tree'' (a leaf is a part of a tree), whereas a hyponym of ''oak tree'' might be ''tree'' (an oak tree is a type of tree). See also * Has-a * Hyponymy and hypernymy * Is-a * Mereological nihilism In p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontology Components
Contemporary ontologies share many structural similarities, regardless of the ontology language in which they are expressed. Most ontologies describe individuals (instances), classes (concepts), attributes, and relations. Overview Common components of ontologies include: ;Individuals: instances or objects (the basic or "ground level" objects). ;Classes: sets, collections, concepts, types of objects, or kinds of things. ;Attributes: aspects, properties, features, characteristics, or parameters that objects (and classes) can have. ; Relations: ways in which classes and individuals can be related to one another. ;Function terms: complex structures formed from certain relations that can be used in place of an individual term in a statement. ;Restrictions: formally stated descriptions of what must be true in order for some assertion to be accepted as input. ;Rules: statements in the form of an if-then (antecedent-consequent) sentence that describe the logical inferences that can be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Has-a
In database design, object-oriented programming and design (see object oriented program architecture), has-a (has_a or has a) is a composition relationship where one object (often called the constituted object, or part/constituent/member object) "belongs to" (is part or member of) another object (called the composite type), and behaves according to the rules of ownership. In simple words, has-a relationship in an object is called a member field of an object. Multiple has-a relationships will combine to form a possessive hierarchy. This is to be contrasted with an ''is-a'' (''is_a'' or ''is a'') relationship which constitutes a taxonomic hierarchy (subtyping). The decision whether the most logical relationship for an object and its subordinate is not always clearly ''has-a'' or ''is-a''. Confusion over such decisions have necessitated the creation of these metalinguistic terms. A good example of the ''has-a'' relationship is containers in the C++ STL. To summarize the relation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Is-a
In knowledge representation, object-oriented programming and design (see object-oriented program architecture), is-a (is_a or is a) is a subsumption relationship between abstractions (e.g. types, classes), wherein one class ''A'' is a subclass of another class ''B'' (and so ''B'' is a superclass of ''A''). In other words, type A is a subtype of type B when A's specification implies B's specification. That is, any object (or class) that satisfies A's specification also satisfies B's specification, because B's specification is weaker. The ''is-a'' relationship is to be contrasted with the ''has-a'' (''has_a'' or ''has a'') relationship between types (classes); confusing the relations ''has-a'' and ''is-a'' is a common error when designing a model (e.g., a computer program) of the real-world relationship between an object and its subordinate. The ''is-a'' relationship may also be contrasted with the '' instance-of'' relationship between objects (instances) and types (classes): se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linguistics
Linguistics is the scientific study of human language. It is called a scientific study because it entails a comprehensive, systematic, objective, and precise analysis of all aspects of language, particularly its nature and structure. Linguistics is concerned with both the cognitive and social aspects of language. It is considered a scientific field as well as an academic discipline; it has been classified as a social science, natural science, cognitive science,Thagard, PaulCognitive Science, The Stanford Encyclopedia of Philosophy (Fall 2008 Edition), Edward N. Zalta (ed.). or part of the humanities. Traditional areas of linguistic analysis correspond to phenomena found in human linguistic systems, such as syntax (rules governing the structure of sentences); semantics (meaning); morphology (structure of words); phonetics (speech sounds and equivalent gestures in sign languages); phonology (the abstract sound system of a particular language); and pragmatics (how social con ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semantics
Semantics (from grc, σημαντικός ''sēmantikós'', "significant") is the study of reference, meaning, or truth. The term can be used to refer to subfields of several distinct disciplines, including philosophy Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some ..., linguistics and computer science. History In English, the study of meaning in language has been known by many names that involve the Ancient Greek word (''sema'', "sign, mark, token"). In 1690, a Greek rendering of the term ''semiotics'', the interpretation of signs and symbols, finds an early allusion in John Locke's ''An Essay Concerning Human Understanding'': The third Branch may be called [''simeiotikí'', "semiotics"], or the Doctrine of Signs, the most usual whereof being words, it is aptly enough ter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mereology
In logic, philosophy and related fields, mereology ( (root: , ''mere-'', 'part') and the suffix ''-logy'', 'study, discussion, science') is the study of parts and the wholes they form. Whereas set theory is founded on the membership relation between a set and its elements, mereology emphasizes the meronomic relation between entities, which—from a set-theoretic perspective—is closer to the concept of inclusion between sets. Mereology has been explored in various ways as applications of predicate logic to formal ontology, in each of which mereology is an important part. Each of these fields provides its own axiomatic definition of mereology. A common element of such axiomatizations is the assumption, shared with inclusion, that the part-whole relation orders its universe, meaning that everything is a part of itself ( reflexivity), that a part of a part of a whole is itself a part of that whole ( transitivity), and that two distinct entities cannot each be a part of the othe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
First-order Logic
First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables, so that rather than propositions such as "Socrates is a man", one can have expressions in the form "there exists x such that x is Socrates and x is a man", where "there exists''"'' is a quantifier, while ''x'' is a variable. This distinguishes it from propositional logic, which does not use quantifiers or relations; in this sense, propositional logic is the foundation of first-order logic. A theory about a topic is usually a first-order logic together with a specified domain of discourse (over which the quantified variables range), finitely many functions from that domain to itself, finitely many predicates defined on that domain, and a set of ax ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Partial Order
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set. A poset consists of a set together with a binary relation indicating that, for certain pairs of elements in the set, one of the elements precedes the other in the ordering. The relation itself is called a "partial order." The word ''partial'' in the names "partial order" and "partially ordered set" is used as an indication that not every pair of elements needs to be comparable. That is, there may be pairs of elements for which neither element precedes the other in the poset. Partial orders thus generalize total orders, in which every pair is comparable. Informal definition A partial order defines a notion of comparison. Two elements ''x'' and ''y'' may stand in any of four mutually exclusive relationships to each other: either ''x'' ''y'', or ''x'' and ''y'' are ''incompar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyponymy And Hypernymy
In linguistics, semantics, general semantics, and ontologies, hyponymy () is a semantic relation between a hyponym denoting a subtype and a hypernym or hyperonym (sometimes called umbrella term or blanket term) denoting a supertype. In other words, the semantic field of the hyponym is included within that of the hypernym. In simpler terms, a hyponym is in a ''type-of'' relationship with its hypernym. For example, ''pigeon'', ''crow'', ''eagle'', and ''seagull'' are all hyponyms of ''bird'', their hypernym, which itself is a hyponym of ''animal'', its hypernym. Hyponyms and hypernyms Hyponymy shows the relationship between a generic term (hypernym) and a specific instance of it (hyponym). A hyponym is a word or phrase whose semantic field is more specific than its hypernym. The semantic field of a hypernym, also known as a superordinate, is broader than that of a hyponym. An approach to the relationship between hyponyms and hypernyms is to view a hypernym as consisting of hypo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mereological Nihilism
In philosophy, mereological nihilism (also called compositional nihilism) is the metaphysical thesis that there are no objects with proper parts. Equivalently, mereological nihilism says that mereological simples, or objects without any proper parts, are the only material objects that exist. Mereological nihilism is distinct from ordinary nihilism insofar as ordinary nihilism typically focuses on the nonexistence of common metaphysical assumptions such as ethical truths and objective meaning, rather than the nonexistence of composite objects. Explanation Our everyday perceptual experience suggests that we are surrounded by macrophysical objects that have other, smaller objects as their proper parts. For example, there seem to be such objects as tables, which appear to be composed of various other objects, such as the table-legs, a flat surface, and perhaps the nails or bolts holding those pieces together. Those latter objects, in turn, appear to be composed of still smaller objec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Synecdoche
Synecdoche ( ) is a type of metonymy: it is a figure of speech in which a term for a part of something is used to refer to the whole (''pars pro toto''), or vice versa (''totum pro parte''). The term comes from Greek . Examples in common English use are ''suits'' for ''businessmen'', ''wheels'' for ''car'', and ''boots'' for ''soldiers''. The use of government buildings to refer to their occupants is metonymy and sometimes also synecdoche. "The Pentagon" for the United States Department of Defense can be considered synecdoche, because the building can be considered part of the bureaucracy. In the same way, using " Number 10" to mean "the Office of the Prime Minister" (of the United Kingdom) is a synecdoche. Definition Synecdoche is a rhetorical trope and a kind of metonymy—a figure of speech using a term to denote one thing to refer to a related thing. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
