Relationships
|
|
|
|
Children |
component | A specialized common sense notion of part for heterogeneous parts of complexes. (component ?COMPONENT ?WHOLE) means that ?COMPONENT is a component of ?WHOLE. Examples of component include the doors and walls of a house, the states or provinces of a country, or the limbs and organs of an animal. Compare piece, which is also a subrelation of part. |
| geneticSubstrateOfVirus | (geneticSubstrateOfVirus ?VIRUS ?MOL) relates the virus ?VIRUS to the molecule ?MOL that contains its genetic information. |
| half | (half ?HALF ?WHOLE) means that ?HALF is one half of ?WHOLE. |
| inString | (inString ?Character ?SymbolicString) means that ?Character is part of ?SymbolicString. See also subString. |
| interiorPart | (interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2. |
| most | (most ?MOST ?WHOLE) means that ?MOST is a part of ?WHOLE that is greater than half of ?WHOLE. |
| pathInSystem | (pathInSystem ?PATH ?SYSTEM) means that the Physical thing ?PATH consists of one or more connected routes in the PhysicalSystem ?SYSTEM. |
| physicalEnd | A notion of an indeterminate portion at the end of an Object that has a LongAndThin ShapeAttribute. |
| piece | A specialized common sense notion of part for arbitrary parts of Substances. Quasi-synonyms are: chunk, hunk, bit, etc. Compare component, another subrelation of part. |
| properPart | (properPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 other than ?OBJ2 itself. This is a TransitiveRelation and AsymmetricRelation (hence an IrreflexiveRelation). |
| quarter | (quarter ?QUART ?WHOLE) means that ?QUART is a quarter of ?WHOLE. |
| subString | (subString ?SymbolicString-1 ?SymbolicString-2) means that ?SymbolicString-1 is part of ?SymbolicString-2. ?SymbolicString-2 includes all the same Characters as ?SymbolicString-1 and in the same order, but ?SymbolicString-2 may include more Characters than ?SymbolicString-1. See also inString. |
| third | (third ?THIRD ?WHOLE) means that ?THIRD is one third of ?WHOLE. |
Instances | 抽象的な | 物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。 |
| 反対称関係 | BinaryRelation ?REL は、明確な ?INST1 および ?INST2 の場合は AR であり、(?REL ?INST1 ?INST2) は (?REL ?INST2 ?INST1) を意味 しない。つまり、すべての ?INST1 および ?INST2 に対して (?REL ?INST1 ?INST2) および (?REL ?INST2 ?INST1) は、?INST1 と ?INST2 が同一であることを意味する。 注: AntisymmetricRelation が ReflexiveRelation になる可能性がある。 |
| 2進述語 | Predicate は2つの項目に関連する- その 価数は2である。 |
| 2項関係 | BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。 |
| エンティティー | 個々の普遍集合。 これがオントロジーのノードのルートで ある。 |
| InheritableRelation | Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。 |
| 半順序関係 | BinaryRelation は、 ReflexiveRelation、AntisymmetricRelation、および TransitiveRelation の場合の部分的な 順序付けである。 |
| 述語 | Predicate とは、Relation の各タプルが有限で 順序付けされたオブジェクトのシーケンスである文形成 Relation である。 特定のタプルが '(*述語* arg_1 arg_2 .. arg_n)による Predicate の要素であるという事実。 arg_n)'は、arg_i が 関連するオブジェクトである。BinaryPredicates の場合、事実は 'arg_1 は *述語* arg_2' または 'arg_1 の *述語* は arg_2' と読むことができる。 |
| 反射関係 | Relation ?REL は、すべての ?INST に対し (?REL ?INST ?INST) の場合のみ再帰的である。 |
| 関係 | 関係の Class。Relation には、Predicate、 Function、と List の3種類がある。 %Predicate と Function の両方が、順序付けされた n タプ ルのセットを示す。これら2つの Class の違いは、Predicate カバー式形成演算子、Function カ バー用語形成演算子である。一方、List は特定の順序付けされた n タプルである。 |
| 空間的関係 | Relation の Class は、広い意味で空間的 である。この Class には、単なる関係とトポロジ的な関係が含まれる。 |
| 合計値関係 | Relation は、TotalValuedRelation で、最後の引数位置を除くすべての引数位置に値を割り当て上げた Relation の最後の引数位置に対する 割り当てが存在する場合に備えている。 注:Relation を TotalValuedRelation と SingleValuedRelation の両方に宣言すると、それが完全な関数であることを意味する。 |
| 推移関係 | BinaryRelation ?REL は、すべての ?INST1, ?INST2, および ?INST3 に対して (?REL ?INST1 ?INST2) および (?REL ?INST2 ?INST3) が (?REL ?INST1 ?INST3) を意味する場合、推移的である。 |
Belongs to Class
|
エンティティー |
| | |