Relationships
|
|
|
|
Parents |
InheritableRelation |
The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
|
|
Relation |
The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
|
Children |
BinaryPredicate | A Predicate relating two items - its valence is two. |
| ClosedWorldPredicate | |
| LogicalOperator | This Class comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>'). |
| QuaternaryPredicate | The Class of Predicates that require four arguments. |
| QuintaryPredicate | The Class of Predicates that require five arguments. |
| TernaryPredicate | The Class of Predicates that require exactly three arguments. |
Instances | contraryAttribute | Un contraryAttribute es un conjunto de Attributes de tal manera que algo no puede tener más de uno de estos Attributes simultáneamente. Por ejemplo, (contraryAttribute Pliable Rigid) significa que nada puede ser ambos Pliable y Rigid. |
| disjointDecomposition | Una disjointDecomposition de una Class C es un conjunto de las subclases de C que son mutuamente dijoint. |
| exhaustiveAttribute | Este predicado se relaciona una Class a un conjunto de Attributes, y significa que los elementos del conjunto agotan las instancias de la Class. Por ejemplo, (exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) significa que sólo hay cinco instancias de la clase PhysicalState, viz. Solid, Fluid, Liquid, Gas y Plasma. |
| exhaustiveDecomposition | Una exhaustiveDecomposition de una Class C es un conjunto de la subclase C de tal manera que cada instancia de C es una instancia de una de las subclases del conjunto. Nota: Eso no significa necesariamente que los elementos del conjunto son disjuntos. (Véase partition - una partition es una descomposición exhaustiva y disjunta). |
| partition | Una partition de una Class C es un conjunto de clases mutuamente disjoint (una partición de la subclase) en la que cubre a C. Cada instancia de C es exactamente una de las subclases en la partición. |
| processList | The arguments of this relation are data structures, each of which contains the information necessary for the process already loaded by the operating system to execute on a processor. |