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 |
BestMatchAlgorithm | A Procedure that hasPurpose of there being a SearchEngine that is its agent, a SearchQuery which is its patient SRPResults being its agent. |
| CodingScheme | A Procedure for Encoding and/or Decoding information. A coding scheme is often implemented as a ComputerProgram. Some examples of coding schemes include MPEG, WAV, and pig-latin. |
| ComputerProgram | A set of instructions in a computer programming language that can be executed by a computer. |
| ComputerProtocol | A set of specifications for the sequence and format of data sent between two (or more) ComputerPrograms to accomplish some task. |
| EncodingProcedure | A Procedure for performing an Encoding. |
| Method | a way of doing something, esp. a systematic one; implies an orderly logical arrangement (usually in steps). |
| Orthography | A method for representing the sounds of a Language with written Characters. |
| Plan | A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time. |
| Software | A set of instructions in a computer programming language that can be executed by a computer, possibly after compilation into another programming language. The term Software includes ComputerPrograms (free-standing software), object methods, subroutines and software packages. |