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. |
Instances | allied | Marks two Agents that are allies of each other |
| cohabitant | (holdsDuring ?T1 (cohabitant ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 have the same home. |
| conjugate | (conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical CompoundSubstances except that one has one more Proton than the other. |
| connected | (connected ?OBJ1 ?OBJ2) とは、?OBJ1 meetsSpatially ?OBJ2または ?OBJ1 overlapsSpatially ?OBJ2 という意味である。 |
| 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. |
| consistent | (consistent ?PROP1 ?PROP2) means that the two Propositions ?PROP1 and ?PROP2 are consistent with one another, i.e. it is possible for both of them to be true at the same time. |
| coworker | (holdsDuring ?T1 (coworker ?H1 ?H2)) means that during time ?T1, ?H1 and ?H2 are both employed by the same agent, are of roughly the same job status, and come into contact at least part of the time at the same work location. |
| diplomaticRelations | (diplomaticRelations ?COUNTRY1 ?COUNTRY2) means that there are official diplomatic relations between the two Nations ?COUNTRY1 and ?COUNTRY2. |
| disjoint | Classes は、 インスタンスを共有しない場合のみ disjoint である。例えば、 IntersectionFn をそれらに適用した結果空の場合に備えて。 |
| domesticPartner | (holdsDuring ?T1 (domesticPartner ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 live together and share a common domestic life but are not joined in a traditional marriage, a common-law marriage, or a civil union. |
| enemy | Marks two Agents that are enemies of each other |
| friend | (holdsDuring ?T1 (friend ?H1 ?H2)) means that during time ?T1, ?H1 and ?H2 know each other, share a relationship of mutual care and concern, and probably also share some common interests. |
| independentProbability | 基本的な ProbabilityRelation。 (independentProbability ?FORMULA1 ?FORMULA2)とは、?FORMULA1 と ?FORMULA2 正しくないという 確率が独立していることを意味する。 |
| inverse | BinaryRelation の逆は Relation であり、元の Relation のすべてのタプルが逆になる。 言い換えれば、BinaryRelation は、引数が交換された時に 等しい場合、別の逆数になる。 |
| legalRelation | (legalRelation ?AGENT1 ?AGENT2) means that ?AGENT1 and ?AGENT2 are relatives by virtue of a legal relationship. Some examples include marriage, adoption, etc. |
| orthogonalTests | A SymmetricRelation between two Collections of Experimentings signfying that experimentalSubjects can be shared between them. |
| meetsSpatially | (meetsSpatially ?OBJ1 ?OBJ2) とは、?OBJ1 と ?OBJ2 は connected だが、?OBJ1 も ?OBJ2 も overlapsSpatially ではないという意味であ る。 |
| mutualAcquaintance | (mutualAcquaintance ?H1 ?H2) means that ?H1 and ?H2 have met each other and know something about each other, such as name and appearance. Statements made with this predicate should be temporally specified with holdsDuring. See also the weaker, non-symmetric version of this predicate, acquaintance. |
| mutualStranger | (mutualStranger ?H1 ?H2) means that ?H1 and ?H2 have not met each other and do not know each other. Statements made with this predicate should be temporally specified with holdsDuring. See also the weaker, non-symmetric version of this predicate, stranger. |
| neighbor | (neighbor ?PERSON1 ?PERSON2) means that ?PERSON1 is a neighbor of ?PERSON2, i.e. ?PERSON1 and ?PERSON2 have their homes Near one another. |
| 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 ではない。 |
| overlapsSpatially | (overlapsSpatially ?OBJ1 ?OBJ2) とは、 Objects ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的 ではない) 関係である。 |
| overlapsTemporally | (overlapsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeIntervals ?INTERVAL1 と ?INTERVAL2 が共通の部分として TimeInterval を持っていることを意味する。 |
| relatedEvent | (relatedEvent ?EVENT1 ?EVENT2) とは、Process ?EVENT1 がプロセス ?EVENT2 に関連していることを意味lする。関係は、イベントとそのサブプロセスでは なく、個別間のイベントである。一方、2つの同じ包括的なイベントの subProcesses は relatedEvent であってもよい。引数の順序は、一時的な順序という結果になるわけではない。 |
| 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. |
| spouse | The relationship of marriage between two Humans. |