Relationships
|
|
|
|
Parents |
可继承的关系 |
The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
|
|
关系 |
The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
|
Instances | 挪后函数 | 这个 Function 把 Object 转到 与 这个 Object 的 FrontFn 相反的那面。注:这是一个部分函数, 因为有一些 Object 是没有侧面的,例如苹果和球体。 也要注意 这个 Function 的 range 是无限的,就像 ImmediateFutureFn 和 ImmediatePastFn 一样也是无限的。从理论的观点来说,虽然这个无限性并不理想,但它没有太大的实际影响,因为在共同意思间对于最常见 的情况已经达成广泛的共识。 |
| 在路径之间 | (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) 的意思是 ?OBJ2 所处的路径 ?PATH 在空间上位于 ?OBJ1 和 ?OBJ3 之间。注:这是之间的一个更加专门的关系, 因为在一条路径上之间的任何物体,根本就是在它们之间。 |
| beforeOnPath | (beforeOnPath ?OBJ1 ?OBJ2 ?PATH ?PROC) means that ?OBJ1 is spatially before ?OBJ2 on the path ?PATH with respect to a particular Transfer Process. |
| 之间 | (between ?OBJ1 ?OBJ2 ?OBJ3) 的意思是 ?OBJ2 在空间上 位于 ?OBJ1 和 ?OBJ3 之间。 注:这意味着 ?OBJ2 正正位于在 ?OBJ1 和?OBJ3 之间,即是 ?OBJ1 和 ?OBJ3 的射影 和 ?OBJ2 的射影重叠。 |
| 相连 | (connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1 meetsSpatially ?OBJ2 或者是 ?OBJ1 overlapsSpatially ?OBJ2。 |
| 连接 | 这是一个联系三样东西的关系,它出现在当三样东西之中的一个把 另外的两个联系起来的时候,更正规的说,(connects ?OBJ1 ?OBJ2 ?OBJ3)的意思是 (connected ?OBJ1 ?OBJ2)和(connected ?OBJ1 ?OBJ3),而不是(connected ?OBJ2 ?OBJ3)。 |
| 容纳 | 这是两个可分离物体的空间容量关系。 用于不可分离的物体(如汽 车和它的座位)时,应该用 part 这关系。(contains ?OBJ1 ?OBJ2) 的意思是 SelfConnectedObject ?OBJ1 有一个空间(即一个 HoleRegion),而它 至少由 ?OBJ2 填满了一部分。。 |
| 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. |
| cylinderBore | The diameter of a cylindrical HoleRegion. |
| 距离 | (distance ?OBJ1 ?OBJ2 ?QUANT) 的意思是两个物体 ?OBJ1 和 ?OBJ2 最短的距离是 ?QUANT。注:谓词 length 和 distance 之间的分别在于,length 是用来表示一个单一物体其中一个维度的 LengthMeasure,而是用来表示两个不同物体之间的LengthMeasure。 |
| distanceOfParallelLinesInSpace | (distanceOfParallelLinesInSpace ?LINE1 ?LINE2 ?DIST) means that the distance between ?LINE1 ?LINE2 that are parallel to one another. The distance between them is ?DIST. ?DIST is the shortest distance between the ?L1 and ?L2 and this minimum distance holds for any pair of points on ?LINE1 and ?LINE2. |
| 挪前函数 | 这是一个Function ,它能把 Object 转到一般能够得到 最大程度关注或者说通常是面对该 Object 移动的方向的那一面。注:这是一个部分函数, 因为有一些 Object 是没有侧面的,例如苹果和球体。 也要注意这个 Function 的 range 是无限的,就像 ImmediateFutureFn 和 ImmediatePastFn 一样也是无限的。从理论的观点来说,虽然这个无限性并不理想,但它没有太大的实际影响, 因为在共同意思间对于最常见的情况已经达成广泛的共识。 |
| 洞 | (hole ?HOLE ?OBJ)的意思是 ?HOLE 是在 ?OBJ 的一个 HoleRegion。 一个 HoleRegion 是位于一个 Object surface 可以被填满的部分。 |
| 初始部分 | Every instance of the first argument is initially found as part of an instance of the second argument, even though it might lose that part later in its lifetime. While the part must initially exist as part of a whole, this does not say that each whole necessarily initially contains such a part. For example, a thumb must at some time have been part of a hand, but every hand need not have a thumb, even at birth. This is a class-level relation roughly corresponding to part. |
| 最初包含部分 | Every instance of the second argument initially contains an instance of the first argument, even though it might lose that part later in its lifetime. Every normal human starts life with an appendix for example. While the whole must initially contain such a part, this does not say that each part necessarily initially exists as part of such a whole. This is a class-level relation roughly corresponding to part. |
| 更大 | (larger ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 大。 |
| CenterOfPlanetFn | CenterOfPlanetFn is a Function that takes a AstronomicalBody and and denotes a PointInSpace that is the centre of the planet. All PointInSpace that make up the surface of the AstronomicalBody are aproximately equidistant from its center. |
| endPointsOfLineInSpace | (endPointsOfLineInSpace ?POINT1 ?POINT2 ?LINE) means that ?POINT1 and ?POINT2 are the two end points of the FiniteLineInSpace of ?LINE. |
| LevelPlaneFn | LevelPlaneFn is a Function that takes a PointInSpace of a Region and an AstronomicalBody and denotes the Plane that is perpendicular to the line formed by the PointInSpace and center of the AstronomicalBody. |
| 部分差异函数 | (MereologicalDifferenceFn ?OBJ1 ?OBJ2)表示 Object 包含属于 ?OBJ1 但不属于 ?OBJ2 的部分。 |
| 部分积函数 | (MereologicalProductFn ?OBJ1 ?OBJ2)表示 Object 含有属于 ?OBJ1 和 ?OBJ2 两者的部分。 |
| 部分总和函数 | (MereologicalSumFn ?OBJ1 ?OBJ2)表示 这个 Object 含有属于 ?OBJ1 或 ?OBJ2 的部分。 |
| objectEnds | objectEnds specifies the two end points of an object. |
| 定向 | 这是一个用来表示两个 Object 相对于彼此的定向的 Predicate。 例如:(orientation ?OBJ1 ?OBJ2 North)第意思是 ?OBJ1 在 ?OBJ2 的北方,而 (orientation ?OBJ1 ?OBJ2 Vertical)第意思是 ?OBJ1 和 ?OBJ2 之间的位置是垂直的。 |
| parallelLinesInSpace | (parallelLinesInSpace ?LINE1 ?LINE2) means that the LineInSpace ?LINE1 and ?LINE2 are parallel to one another, i.e. they are equidistant from one another at every point. |
| 部分 | 这是基本的逻辑分体关系。其他所有的逻辑分体关系都是根据它来下 定义的。 (part ?PART ?WHOLE) 的意思就是 Object ?PART 是 Object ?WHOLE 的一部分。 要注意 因为 part 是一个 ReflexiveRelation, 所以每个 Object 都是它自己本身的一部分。 |
| 部分填入 | (partiallyFills ?OBJ ?HOLE)的意思是?OBJ completelyFills ?HOLE 的某些部分。注:如果(partiallyFills ?OBJ1 ?HOLE)和 (part ?OBJ1 ?OBJ2)的话, 那么(partiallyFills ?OBJ2 ?HOLE)就属实。另外也要注意的是,一个把洞部分 填满的物体不需要完全在洞内(它可以突出洞的外面),即是所有能够把洞完全填满的物质也可符合作为(在有限的情况下) 一个把洞部分填满的物质。 |
| 有一部分位于 | (partlyLocated ?OBJ1 ?OBJ2)的意思是 Physical 的实例 ?OBJ1 起码有一部分位于 ?OBJ2。例如:伊斯坦布尔有一部分位于 Asia, 并有一部分位于 Europe。注:partlyLocated 是最基本的位置关系: located 是 partlyLocated 的直接 subrelation,而 exactlyLocated 是 located 的直接 subrelation。 |
| physicalAmplitude | A relation between a periodic motion and the distance between the physical extremes of the period. |
| 更小 | (smaller ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 小。 |
| 横跨 | (traverses ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 横过或者 是延伸跨越跨 ?OBJ2. 注:crosses 和 penetrates是 traverses 的子类别。 |
| 典型的部分 | An instance of the first argument is typically found as part of an instance of the second argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such wholes typically have such parts. |
| 通常包含部分 | An instance of the second argument typically contains an instance of the first argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such parts typically have such wholes. |
| 表示位置的函数 | 这个函数把一个 Object 和 一个 TimePoint 连在一起, 它的意思是这个 Object 在 TimePoint 存在于 Region。 |