|
Relationships
|
|
|
|
| Parents |
2項関係 |
BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
|
| Children |
同値関係 | A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation. |
| | 半順序関係 | A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation. |
| Instances | ancestor | The transitive closure of the parent predicate. (ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the parent of ?DESCENDANT or the parent of the parent of DESCENDANT or etc. |
| | ancestorOrganization | (ancestorOrganization ?ORG1 ?ORG2) means that the Organization ?ORG1 descended from the Organization ?ORG2. |
| | before | (before ?POINT1 ?POINT2) とは、?POINT1が、ユニ バーサルタイムラインで ?POINT2に先行する、という意味である。 |
| | brother | The general relationship of being a brother. (brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON. |
| | conjugate | (conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical CompoundSubstances except that one has one more Proton than the other. |
| | connectedBodyPart | A Relation between Classes of parts of a Healthy Animal that are connected. |
| | covers | A relationship of partial or complete physical covering, which may be the result of a Covering. To cover an object, the first object must at least roughly conform to the surface of the second object. |
| | crosses | (crosses ?OBJ1 ?OBJ2) とは、Object ?OBJ1 が Object ?OBJ2 に 接続させれずに traverses 。 |
| | dependentGeopoliticalArea | (dependentGeopoliticalArea ?AREA1 ?AREA2) means that ?AREA1 is a geopolitical possession of the GeopoliticalArea ?AREA2 and is not a geopoliticalSubdivision of ?AREA2. For example, (dependentGeopoliticalArea Guam UnitedStates), because Guam is a territory of the UnitedStates, not one of the fifty U.S. states. Contrast primaryGeopoliticalSubdivision. |
| | developmentalForm | (developmentalForm ?OBJECT ?FORM) means that ?FORM describes a stage in the individual maturation of ?OBJECT. For example, tadpole and caterpillar are developmentalForms of frogs and butterflies, respectively. |
| | during | (during ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1が ?INTERVAL2の後に始まり、?INTERVAL2の前に終了することを意味する。 |
| | earlier | (earlier ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL2 が開始される前に TimeInterval ?INTERVAL1 が終了することを意味する。 |
| | finishes | (finishes ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2が両方とも同じ末な TimePoint を持つ TimeInterval であり、?INTERVAL2 が ?INTERVAL1より前に開始することを意味する。 |
| | flows | (flows ?FLUID1 ?FLUID2) means that the Physical ?FLUID1 moves towards the Physical ?FLUID2, to which it is connected. |
| | geographicSubregion | (geographicSubregion ?PART ?WHOLE) means that the GeographicArea ?PART is part of the GeographicArea ?WHOLE. |
| | geopoliticalSubdivision | (geopoliticalSubdivision ?AREA1 ?AREA2) means that ?AREA1 is any geopolitical part of ?AREA2, that is, ?AREA1 is an integral geographicSubregion of ?AREA2 (not a DependencyOrSpecialSovereigntyArea), having its own associated GovernmentOrganization which is subordinated to or constrained by the government of ?AREA2. Cf. dependentGeopoliticalArea. |
| | greaterThan | (greaterThan ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1 が Quantity ?NUMBER2よりも大きい場合に当てはまる。 |
| | interiorPart | (interiorPart ?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2の部分であり、?OBJ1 と superficialPart ?OBJ2 の間に重複がないことを意味する。 |
| | larger | (larger ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2よりも すべての LengthMeasure に対して大きいことを意味する。 |
| | lessThan | (lessThan ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1 が Quantity ?NUMBER2 より小さい場合に当てはまる。 |
| | located | (located ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で partlyLocated であり、?OBJ2 で located ではない ?OBJ1 の part がないことを意味する。 |
| | multiplicativeFactor | (multiplicativeFactor ?NUMBER1 ?NUMBER2) とは、?NUMBER1 が ?NUMBER2 の係数、すなわち ?NUMBER2 であることを意味する。?NUMBER1 は、結果として ?NUMBER2 を与えるためにいくつかの Intege を乗算できる。 |
| | precondition | 非常に一般的な Predicate。(precondition ?PROC1 ?PROC2) とは、?PROC1 のインスタンスが存在する場合にのみ ?PROC2 のインスタンスが存在できる ことを意味する。 |
| | properPart | (properPart ?OBJ1 ?OBJ2) とは、?OBJ1が?OBJ2 自体以外、?OBJ2の一部である。これは、TransitiveRelation と AsymmetricRelation である。 (したがって、IrreflexiveRelation)。 |
| | sister | The general relationship of being a sister. (sister ?WOMAN ?PERSON) means that ?WOMAN is the sister of ?PERSON. |
| | smaller | (smaller ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 より もすべての LengthMeasure に対して小さいことを意味する。 |
| | starts | (starts ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期 TimePoint を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。 |
| | stored | (stored ?REC ?OBJ) means that some ContentBearingObject, encoded in some format, is saved in some DataStorageDevice and can be accessed in some future date. |
| | subField | (subField ?FIELD1 ?FIELD2) means that ?FIELD1 is a proper part of the ?FIELD2. For example, Physiology is a subField of Biology. |
| | subGraph | 一方の Graph がもう一方の Graph の一部である 場合の2つの Graph の関係。 (subGraph ?GRAPH1 ?GRAPH2) とは、?GRAPH1が ?GRAPH2の一部である ことを意味する。 |
| | subPlan | (subPlan ?PLAN1 ?PLAN2) とは、?PLAN1が?PLAN2の 適切な部分である Plan であることを意味する。この関係は、一般に、特定のコンテキストでサポート Plan を全体的な Plan に関連付けるために使用される。 |
| | subProposition | (subProposition ?PROP1 ?PROP2) とは、 ?PROP1が Proposition で、Proposition ?PROP2 の適切な部分である、という意味である。言い換え れば、subProposition は、大量の抽象的なコンテンツの properPart の類似体である。 |
| | successorAttributeClosure | successorAttribute の推移的 閉鎖。 (successorAttributeClosure ?ATTR1 ?ATTR2) とは、?ATTR1と?ATTR2を接続する successorAttribute アサーションのチェーンがる、という意味である。 |
| | successorClass | 次のクラスは、曜日などのクラスのシーケンスであ る。最初の引数は、２番目の引数の 「前」 である。 |
| | superficialPart | (superficialPart ?OBJ1 ?OBJ2) とは、 ?OBJ1 は ?OBJ2 の内部部分を持たない部分という意味である。 (または、直感的には、?OBJ2 の単なる補数 と外部的に接続されている ?OBJ2 の部分としか重なっていない)。これも MereologicalSumFn と MereologicalProductFn 下の閉ざされた推移的な関係である。 |
| | version | Some Artifacts have a life cycle with discrete stages or versions. (version ARTIFACT1 ARTIFACT2) means that ARTIFACT1 is a version of ARTIFACT2. Note that this Predicate relates subclasses of Artifact and not instances. |