Relationships
|
|
|
|
Parents |
InheritableRelation |
The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
|
|
関係 |
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 |
2進述語 | A Predicate relating two items - its valence is two. |
| ClosedWorldPredicate | |
| LogicalOperator | This Class comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>'). |
| 4進述語 | The Class of Predicates that require four arguments. |
| 5進述語 | The Class of Predicates that require five arguments. |
| 3進述語 | The Class of Predicates that require exactly three arguments. |
Instances | contraryAttribute | contraryAttribute は Attributes の セットで、これらの複数の Attributes を同時に持つことができない。 例えば、(contraryAttribute Pliable Rigid) とは、Pliable と Rigid の両方が同時に存在できない、という意味である。 |
| disjointDecomposition | Class C の disjointDecomposition は、相互に disjoint であるCのサブクラスのセットである。 |
| exhaustiveAttribute | この述部は Class から Attributes のセットに関係している。要するに、このセットの要素が Class のインスタンスを使い果たす、という 意味である。 例えば、(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) とは&、%PhysicalState, すなわちインスタンス、が5つしかないことを意味している。 それらは Solid, Fluid, Liquid, Gas と Plasma である。 |
| exhaustiveDecomposition | Class C の exhaustiveDecomposition は、Cのサブクラスのセットで、Cのすべてのインスタンスはセット内のサブクラスの1つのインスタンスである。 注:これは必ずしもセットの要素が互いに素であることを意味しているわけではない(partitionを参照 - a partition は互いに素な完全分解である)。 |
| partition | Class C の partition は 相互に disjoint クラス(サブクラスパーティション)で、C をカバーする。Cのすべてのインスタンスは、パーティション 内の正確な1つのサブクラスのインスタンスである。 |
| 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. |