Relationships
|
|
|
|
Children |
fears | (fears ?AGENT ?FORMULA) means that ?AGENT fears that the proposition ?FORMULA will be true, i.e. he/she believes that it will come to pass in the future and that it will be undesirable for ?AGENT. |
| hopes | (hopes ?AGENT ?FORMULA) means that ?AGENT hopes that the proposition ?FORMULA will be true, i.e. he/she believes that it will come to pass in the future and that it will be desirable for ?AGENT. |
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
|
エンティティー |
| | |