|
Relationships
|
|
|
|
| Parents |
property |
This Predicate holds between an instance of Entity and an instance of Attribute. (property ?ENTITY ?ATTR) means that ?ENTITY has the Attribute ?ATTR.
|
| Children |
cellShape | Bacteria (Bacterium) and Archaea (ArchaelCell) are classified by direct examination with the light microscope according to their morphology and arrangement. The basic morphologies are Spheres (coccus) and round-ended or rod-shaped Cylinders (bacillus). But there may be others such as helically twisted cylinders (spirochetes), cylinders curved in one plane (selenomonads) and unusual morphologies (such as the square, flat box-shaped cells of the archaean genus Haloquadratum). Arrangements include pairs, tetrads, clusters, chains and palisades. [from Wikipedia] |
| Instances | 抽象的な | 物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。 |
| | 2進述語 | Predicate は2つの項目に関連する- その 価数は2である。 |
| | 2項関係 | BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。 |
| | エンティティー | 個々の普遍集合。 これがオントロジーのノードのルートで ある。 |
| | InheritableRelation | Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。 |
| | 述語 | Predicate とは、Relation の各タプルが有限で 順序付けされたオブジェクトのシーケンスである文形成 Relation である。 特定のタプルが '(*述語* arg_1 arg_2 .. arg_n)による Predicate の要素であるという事実。 arg_n)'は、arg_i が 関連するオブジェクトである。BinaryPredicates の場合、事実は 'arg_1 は *述語* arg_2' または 'arg_1 の *述語* は arg_2' と読むことができる。 |
| | 関係 | 関係の Class。Relation には、Predicate、 Function、と List の3種類がある。 %Predicate と Function の両方が、順序付けされた n タプ ルのセットを示す。これら2つの Class の違いは、Predicate カバー式形成演算子、Function カ バー用語形成演算子である。一方、List は特定の順序付けされた n タプルである。 |
|
Belongs to Class
|
エンティティー |
| | |