Relationships
|
|
|
|
Children |
approves | (approves ?AGENT1 ?AGENT2) means that ?AGENT1 is satisfied that ?AGENT2 has met some requirement or proposition, and publicly declares such |
| believes | The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA. |
| considers | (considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA. |
| desires | (desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that there is no implication that what is desired by the agent is not already true. Note too that desires is distinguished from wants only in that the former is a PropositionalAttitude, while wants is an ObjectAttitude. |
| disapproves | (disapproves ?AGENT ?FORMULA) means that ?AGENT has a feeling of antipathy to the state of affairs represented by ?FORMULA, i.e. ?AGENT believes that the realization of ?FORMULA will thwart one of his/her goals. Note that there is no implication that what is disapproved of by an agent is not already true. |
| dislikes | (dislikes ?AGENT ?OBJECT) means that ?AGENT has a feeling of antipathy to ?OBJECT, i.e. ?AGENT believes that ?OBJECT will thwart one of his/her goals. Note that there is no implication that what is hated by an agent is not already possessed by the agent. |
| enemy | Marks two Agents that are enemies of each other |
| enjoys | (enjoys ?AGENT ?PROCESS) means that the CognitiveAgent ?AGENT tends to enjoy actions of type ?PROCESS, i.e. tends to enjoy being the agent or experiencer of such actions. |
| knows | The epistemic predicate of knowing. (knows ?AGENT ?FORMULA) means that ?AGENT knows the proposition expressed by ?FORMULA. Note that knows entails conscious awareness, so this Predicate cannot be used to express tacit or subconscious or unconscious knowledge. |
| needs | (needs ?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?AGENT. |
| says | A basic predicate of Communicating that also entails that the agent is aware of the Formula he or she is communicating. This excludes talking in one's sleep, brain stimulation that causes an utterance, or unconscious parroting of some word or phrase. This can also include writing or gesturing. |
| wants | (wants ?AGENT ?OBJECT) means that ?OBJECT is desired by ?AGENT, i.e. ?AGENT believes that ?OBJECT will satisfy one of its goals. Note that there is no implication that what is wanted by an agent is not already possessed by the agent. |
Instances | 抽象的な | 物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。 |
| 2進述語 | Predicate は2つの項目に関連する- その 価数は2である。 |
| 2項関係 | BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。 |
| エンティティー | 個々の普遍集合。 これがオントロジーのノードのルートで ある。 |
| InheritableRelation | Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。 |
| IntentionalRelation | Agent と1つ以上の Entities の間の Agent の Class は Agent が Entity の認識を持っていることを Relation が要求する。 |
| 述語 | 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
|
エンティティー |
| | |