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 asymmetric if and only if it is both an AntisymmetricRelation and an IrreflexiveRelation. |
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. |
| antagonistMuscles | A relation between two Muscles that put opposing forces on a part of the body. |
| attribute | (attribute ?OBJECT ?PROPERTY) とは、 ?PROPERTY が、?OBJECTの Attribute という意味である。 例:(attribute MyLittleRedWagon Red)。 |
| 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. |
| classmate | (classmate ?A1 ?A2 ?COURSE) means that both ?A1 and ?A2 were a GroupOfPeople who were taught under the same EducationalCourse (?COURSE). |
| colleague | (colleague ?A1 ?A2 ?ORG) means that ?A1 and ?A2 are colleagues when they both are hired (employs) by the same ?ORG. |
| conjugate | (conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical CompoundSubstances except that one has one more Proton than the other. |
| connectedEngineeringComponents | This is the most general connection relation between EngineeringComponents. If (connectedEngineeringComponents ?COMP1 ?COMP2), then neither ?COMP1 nor ?COMP2 can be an engineeringSubcomponent of the other. The relation connectedEngineeringComponents is a SymmetricRelation, there is no information in the direction of connection between two components. It is also an IrreflexiveRelation, no EngineeringComponent bears this relation to itself. Note that this relation does not associate a name or type with the connection. |
| customer | A very general relation that exists whenever there is a FinancialTransaction between the two Agents such that the first is the destination of the FinancialTransaction and the second is the agent. |
| decreasesLikelihood | 基本的な ProbabilityRelation。 (decreasesLikelihood ?FORMULA1 ?FORMULA2)とは、?FORMULA1が正しい場合、?FORMULA2が正しい可 能性が高いことを意味する。 |
| diplomaticRelations | (diplomaticRelations ?COUNTRY1 ?COUNTRY2) means that there are official diplomatic relations between the two Nations ?COUNTRY1 and ?COUNTRY2. |
| disjointRelation | この述部は、2つの Relations を関連付ける。 (disjointRelation ?REL1 ?REL2) とは、2つの関係にタプルがないことが共通している、という意味で ある。 |
| during | (during ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1が ?INTERVAL2の後に始まり、?INTERVAL2の前に終了することを意味する。 |
| earlier | (earlier ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL2 が開始される前に TimeInterval ?INTERVAL1 が終了することを意味する。 |
| exportPartner | (exportPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 exports goods to the AutonomousAgent ?AGENT2. |
| finishes | (finishes ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2が両方とも同じ末な TimePoint を持つ TimeInterval であり、?INTERVAL2 が ?INTERVAL1より前に開始することを意味する。 |
| finishesDuring | (finishesDuring ?INTERVAL1 ?INTERVAL2) means that the end point of ?INTERVAL1 ends during ?INTERVAL2. |
| graphPart | Graph とそのパーツの基本的な関係。(graphPart ?PART ?GRAPH) とは、?PARTが Graph ?GRAPH の GraphArc または GraphNode であることを 意味する。 |
| greaterThan | (greaterThan ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1 が Quantity ?NUMBER2よりも大きい場合に当てはまる。 |
| hindersSubclass | 非常に一般的なPredicate。 (hindersSubclass ?PROC1 ?PROC2) とは、PProcess ?PROC がサブクラスを妨げるか、Process ?PROC2の発生を妨げることを意味する。 例:オブジェクトを妨害すると、サブクラスの移動が妨げらる。 注:これは、インスタンス間ではなく、Process のタイプ間の関係である。 |
| hostileForces | (hostileForces ?UNIT1 ?UNIT2) means that the MilitaryUnits ?UNIT1 and ?UNIT2 are, respectively, allied with GeopoliticalAreas that are at war with one another. |
| husband | (husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN. |
| importPartner | (importPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 imports goods from the AutonomousAgent ?AGENT2. |
| increasesLikelihood | 基本的な ProbabilityRelation。 (increasesLikelihood ?FORMULA1 ?FORMULA2) とは、?FORMULA1 が正しい場合、?FORMULA2 が正しい 可能性が高いことを意味する。 |
| inverse | BinaryRelation の逆は Relation であり、元の Relation のすべてのタプルが逆になる。 言い換えれば、BinaryRelation は、引数が交換された時に 等しい場合、別の逆数になる。 |
| larger | (larger ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2よりも すべての LengthMeasure に対して大きいことを意味する。 |
| lessThan | (lessThan ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1 が Quantity ?NUMBER2 より小さい場合に当てはまる。 |
| manner | (manner ?PROCESS ?MANNER) とは、Process ?PROCESSPPは Attribute ?MANNER によって認定されている、という意味である。 Processes の Attributes は通常、副詞によって示され、風速、ダンスのスタイル、スポーツ競技の強度などのような が含まれる。 |
| meetsSpatially | (meetsSpatially ?OBJ1 ?OBJ2) とは、?OBJ1 と ?OBJ2 は connected だが、?OBJ1 も ?OBJ2 も overlapsSpatially ではないという意味であ る。 |
| modalAttribute | A BinaryRelation that is used to state the normative force of a Proposition. (modalAttribute ?FORMULA ?PROP) means that the Proposition expressed by ?FORMULA has the NormativeAttribute ?PROP. For example, (modalAttribute (exists (?ACT ?OBJ) (and (instance ?ACT Giving) (agent ?ACT John) (patient ?ACT ?OBJ) (destination ?ACT Tom))) Obligation) means that John is obligated to give Tom something. |
| neighbor | (neighbor ?PERSON1 ?PERSON2) means that ?PERSON1 is a neighbor of ?PERSON2, i.e. ?PERSON1 and ?PERSON2 have their homes Near one another. |
| operator | (operator ?OBJECT ?AGENT) means that ?AGENT determines how ?OBJECT is used, either by directly or indirectly operating it. |
| oppositeDirection | (oppositeDirection ?DIR1 ?DIR2) means that the PositionalAttribute ?DIR1 points in the compass direction opposite to the DirectionalAttribute ?DIR2. |
| overlapsPartially | (overlapsPartially ?OBJ1 ?OBJ2) とは、 ?OBJ1 と ?OBJ2 には共通の部分があるが、?OBJ1 も ?OBJ2 も他の part ではない。 |
| preventsSubclass | 非常に一般的な Predicate。 (preventsSubclass ?PROC1 ?PROC2) とは、?PROC1が?PROC2の発生をサブクラスに防止することを意味 する。つまり、?PROC1が特定の時間と場所で発生している場合、?PROC2は同時に発生することはできない。 例:サブクラスを罹患から防ぐための接種をする。 注:これは、インスタンス間ではなく、Process タ イプ間の関係である。 |
| sibling | The relationship between two Organisms that have the same mother and father. Note that this relationship does not hold between half-brothers, half-sisters, etc. |
| 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 に対して小さいことを意味する。 |
| spouse | The relationship of marriage between two Humans. |
| starts | (starts ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期 TimePoint を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。 |
| startsDuring | (startsDuring ?INTERVAL1 ?INTERVAL2) means that the end point of ?INTERVAL1 starts during ?INTERVAL2. |
| subField | (subField ?FIELD1 ?FIELD2) means that ?FIELD1 is a proper part of the ?FIELD2. For example, Physiology is a subField of Biology. |
| 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 アサーションのチェーンがる、という意味である。 |
| superficialPart | (superficialPart ?OBJ1 ?OBJ2) とは、 ?OBJ1 は ?OBJ2 の内部部分を持たない部分という意味である。 (または、直感的には、?OBJ2 の単なる補数 と外部的に接続されている ?OBJ2 の部分としか重なっていない)。これも MereologicalSumFn と MereologicalProductFn 下の閉ざされた推移的な関係である。 |
| wife | (wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN. |