Relationships
|
|
|
|
Parents |
refers |
(refers ?OBJ1 ?OBJ2) means that ?OBJ1 mentions or includes a reference to ?OBJ2. Note that refers is more general in meaning than represents, because presumably something can represent something else only if it refers to this other thing. For example, an article whose topic is a recent change in the price of oil may refer to many other things, e.g. the general state of the economy, the weather in California, the prospect of global warming, the options for alternative energy sources, the stock prices of various oil companies, etc.
|
Children |
alias | (alias ?STRING ?AGENT) means that ?STRING is an alternate identifier for ?AGENT, and is likely being used to hide or obscure ?AGENT's true identity. |
Instances | 抽象的な | 物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。 |
| 反対称関係 | BinaryRelation ?REL は、明確な ?INST1 および ?INST2 の場合は AR であり、(?REL ?INST1 ?INST2) は (?REL ?INST2 ?INST1) を意味 しない。つまり、すべての ?INST1 および ?INST2 に対して (?REL ?INST1 ?INST2) および (?REL ?INST2 ?INST1) は、?INST1 と ?INST2 が同一であることを意味する。 注: AntisymmetricRelation が ReflexiveRelation になる可能性がある。 |
| 非対称関係 | %BinaryRelation は %AntisymmetricRelation と IrreflexiveRelation の両方である場合のみ非対称でる。 |
| 2進述語 | Predicate は2つの項目に関連する- その 価数は2である。 |
| 2項関係 | BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。 |
| エンティティー | 個々の普遍集合。 これがオントロジーのノードのルートで ある。 |
| InheritableRelation | Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。 |
| 非反射関係 | Relation ?REL は、(?REL ?INST ?INST) に?INSTの値がない場合のみ非再帰的である。 |
| 述語 | 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
|
エンティティー |
| | |