|
Relationships
|
|
|
|
| Parents |
二元关系 |
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 | 祖先 | 这是 parent 谓词 的传递闭包。 (ancestor ?DESCENDANT ?ANCESTOR)的意思是 ?ANCESTOR 要不是 ?DESCENDANT 的 parent，就是 DESCENDANT 的 parent 的 parent，如此类推。 |
| | 祖先组织 | (ancestorOrganization ?ORG1 ?ORG2) means that the Organization ?ORG1 descended from the Organization ?ORG2. |
| | 之前 | (before ?POINT1 ?POINT2)的意思是 ?POINT1 在通用时 间轴上比 ?POINT2 先开始。 |
| | 哥哥 | 这是兄弟的概括关系。(brother ?MAN ?PERSON)的意思是 ?MAN 是 ?PERSON 兄弟。 |
| | 共轭 | (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 ?OBJ1 ?OBJ2) 的意思是 Object ?OBJ1 traverses 物体 ?OBJ2，但是并没有和它 connected。 |
| | 依赖的地缘政治区域 | (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 ?OBJECT ?FORM)的意思是 ?FORM 形容 ?OBJECT 个别发育过程的一段时期。例如：蝌蚪和毛虫分别是青蛙和蝴蝶的 developmentalForm。 |
| | 在这时间内 | (during ?INTERVAL1 ?INTERVAL2)的意思是 ?INTERVAL1 比 ?INTERVAL2 要晚开始和先 结束。 |
| | 更早 | (earlier ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 在 TimeInterval ?INTERVAL2 开始前结束。 |
| | 完成 | (finishes ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL 2两个是 TimeInterval 有共同的结束 TimePoint，而 ?INTERVAL2 比 ?INTERVAL1 先开始。 |
| | 流动 | (flows ?FLUID1 ?FLUID2) means that the Physical ?FLUID1 moves towards the Physical ?FLUID2, to which it is connected. |
| | 地理分区域 | (geographicSubregion ?PART ?WHOLE)的 意思是 GeographicArea ?PART 是 GeographicArea ?WHOLE 的一部分。 |
| | 地缘政治分区 | (geopoliticalSubdivision ?AREA1 ?AREA2)的意思是 ?AREA1 是 ?AREA2 的某一个地缘部分，姐就是说 ?AREA1 是 ?AREA2 geographicSubregion 的组成部分(而不是 DependencyOrSpecialSovereigntyArea)，拥有它自己 相关的 GovernmentOrganization，它的政府部门从属或受 ?AREA2 的政府管辖。可参考 dependentGeopoliticalArea。 |
| | 大于 | (greaterThan ?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的 Quantity 比 ?NUMBER2 的 Quantity 要大。 |
| | 内在部分 | (interiorPart ?OBJ1 ?OBJ2)的意思是 ?OBJ1 是 ?OBJ2 的部分，而 ?OBJ1 和 ?OBJ2 的任何 superficialPart 之间并没有重叠的部分。 |
| | 更大 | (larger ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 大。 |
| | 少于 | (lessThan ?NUMBER1 ?NUMBER2) 是真的 以防 ?NUMBER1 的 Quantity 比 ?NUMBER2 的 Quantity 要少。 |
| | 位于 | (located ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 partlyLocated 在 ?OBJ2，而且没有一处 ?OBJ1的 part 不是 located 在?OBJ2。 |
| | 乘法因子 | (multiplicativeFactor ?NUMBER1 ?NUMBER2)的意思是 ?NUMBER1 是 ?NUMBER2 因子，即是 ?NUMBER1 可以成某些 Integer 而得出 ?NUMBER2。 |
| | 先备条件 | 这是一个十分概括的 Predicate。(precondition ?PROC1 ?PROC2) 的意思是 ?PROC2 的实例只能在 ?PROC1 的实例也存在的时候才能存在。 |
| | 真正的部分 | (properPart ?OBJ1 ?OBJ2) 的意思是除了 ?OBJ2 本身 ?OBJ1 是 ?OBJ2 的一部分。 这是一个 TransitiveRelation 和 AsymmetricRelation (因此也是一个 IrreflexiveRelation)。 |
| | 妹妹 | 这是姐妹的概括关系。(sister ?WOMAN ?PERSON)的意思是 ?WOMAN 是 ?PERSON 的姐妹。 |
| | 更小 | (smaller ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 小。 |
| | 开始 | (starts ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL2 两个是 TimeInterval 有共同的开始 TimePoint，而 ?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 ?FIELD1 ?FIELD2) means that ?FIELD1 is a proper part of the ?FIELD2. For example, Physiology is a subField of Biology. |
| | 子图 | 这是形容两个 Graph，而其中一个图是另外一个图的一部分时 的关系，(subGraph ?GRAPH1 ?GRAPH2)的意思是 ?GRAPH1 是 ?GRAPH2 的一部分。 |
| | 子计划 | (subPlan ?PLAN1 ?PLAN2) 的意思是 ?PLAN1 是一个 Plan，它是 ?PLAN2 的真正部分。这个关系一般用来在特定的情况下，把整个 Plan 和它的一个支援 Plan 联系。 |
| | 子命题 | (subProposition ?PROP1 ?PROP2) 的意思是 ?PROP1 是一个 Proposition，它是 Proposition ?PROP2 的一个真正部分。换句话说 subProposition 是一堆抽象内容的 properPart 的类似物。 |
| | 后续属性闭包 | successorAttribute 的 传递闭包；(successorAttributeClosure ?ATTR1 ?ATTR2) 的意思是 successorAttribute 有一连串 联系着 ?ATTR1 和 ?ATTR2 的断言。 |
| | successorClass | The next class is a sequence of classes, such as days of the week. The first argument is 'prior' to the second argument. |
| | 表面部分 | (superficialPart ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 是 ?OBJ2 没有自身的内在部分的一个部分，(或者直观的说，只有和 ?OBJ2 的部分重叠，在外部和 ?OBJ2 的分体补充部分lianxi着)。这个也是一个传递关系，受 MereologicalSumFn 和 MereologicalProductFn 的封闭。 |
| | 版本 | 有些 Artifact 的生命周期是由不相连的阶段或版本组成。 (version ARTIFACT1 ARTIFACT2)的意思是 ARTIFACT1 是 ARTIFACT2 的一个版本。注：这个 Predicate 只联系 Artifact 的子类别，而不联系它的实例。 |