Relationships
|
|
|
|
Parents |
Proposition |
Propositions are Abstract entities that express a complete thought or a set of such thoughts. As an example, the formula '(instance Yojo Cat)' expresses the Proposition that the entity named Yojo is an element of the Class of Cats. Note that propositions are not restricted to the content expressed by individual sentences of a Language. They may encompass the content expressed by theories, books, and even whole libraries. It is important to distinguish Propositions from the ContentBearingObjects that express them. A Proposition is a piece of information, e.g. that the cat is on the mat, but a ContentBearingObject is an Object that represents this information. A Proposition is an abstraction that may have multiple representations: strings, sounds, icons, etc. For example, the Proposition that the cat is on the mat is represented here as a string of graphical characters displayed on a monitor and/or printed on paper, but it can be represented by a sequence of sounds or by some non-latin alphabet or by some cryptographic form.
|
Children |
CodeMap | An instance of CodeMap is a ClassificationScheme that specifies correspondences (typically, one to one or one to many) between members of a set of tokens (typically, short alphanumeric SymbolicStrings) and other entities. In most cases, the other entities will be terms (logical constants) that denote SUMO concepts. |
| Ontology | An Ontology is a ClassificationScheme that links concepts via many different relations. Ontologies typically are not restricted to binary relations and are structured by several kinds of conceptual hierarchies, including set- or class-based subsumption, spatial containment, mereology (theory of parts and wholes), and logical contexts. Thus, an ontology typically includes multiple taxonomies. |
| Taxonomy | A Taxonomy is a ClassificationScheme that typically includes the salient concepts of a domain of interest, plus, minimally, a binary `broader than'/`narrower than' relation by which the concepts are linked. The `broader than'/`narrower than' relation is usually conceived as set- or class-based subsumption, but taxonomies are notorious for conflating the set membership and set subsumption (i.e., subset/superset) relations into a single `IS-A' relation. Some taxonomies include additional binary relations, such as `subpart'/`superpart'. |