|
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.
|
| Children |
函数 | A Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element. Note that the range is a Class, and each element of the range is an instance of the Class. |
| Instances | 年龄 | 这只是把一个 Object 和一个用来指定这个 Object 的岁数的 ConstantQuantity 联系起来。 |
| | 海拔 | 这是一个 TernaryPredicate，它是用来表示一个 Object 的 top 和这个 Object top 以下的另外一点 (通常这一点会是海平面)之间的 distance。注：这个 Predicate 可以用来指定例如地理特征的高度如山、飞机的高度和环绕地球的卫星轨道。 |
| | 近似直径 | 这是假设一个为和它体积相同的完美球体的直径。 |
| | 弧衡量 | 这个谓词表示 GraphArc 在一个 Graph 的值。 这可以 表示一个道路网络的长度，或者是管道系统内管道的流量。 |
| | 平均 | 这是一个部分函数，只要一个 List 的元素都是 RealNumber，它会把这个List 和一个 RealNumber 联系起来。和这个 List 联系的 RealNumber 等于这个 List 内的 RealNumber 的数学平均 除以列表元素的总数。 |
| | 结论 | (conclusion ?ARGUMENT ?PROPOSITION)的意思是 Proposition ?PROPOSITION 是由 Argument ?ARGUMENT 所得出明确的结论。注：有可能是但也有可能不是 由 ?ARGUMENT entails ?PROPOSITION。 |
| | 货币类型 | (currencyType ?AREA ?UNIT) means that the official currency used in the GeopoliticalArea ?AREA is the UnitOfMeasure ?UNIT. |
| | 日期 | 这是一个 BinaryPredicate， 它以绝对日历时间，以一天为限， 为特定的 Object 或 Process 指定一个 TimePosition。 |
| | 深度 | 这是一个 TernaryPredicate，它是用来表示一个 Object 的 top 和这个 Object top 以上的另外一点 (通常这一点会是海平面)之间的 distance。注这个 Predicate 可以用来指定例如海洋生物或潜艇的深度。 |
| | 圆周 | (diameter ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的直径的长度是 ?LENGTH。 |
| | 距离 | (distance ?OBJ1 ?OBJ2 ?QUANT) 的意思是两个物体 ?OBJ1 和 ?OBJ2 最短的距离是 ?QUANT。注：谓词 length 和 distance 之间的分别在于，length 是用来表示一个单一物体其中一个维度的 LengthMeasure，而是用来表示两个不同物体之间的LengthMeasure。 |
| | 有效范围 | Models the effective range of some device that is able to move by itself (like vehicles, rockets and so on) or move other things (like weapons). |
| | 电子数 | (electronNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER. |
| | 父亲 | 这是父亲的概括关系。(father ?CHILD ?FATHER)的意思是 ?FATHER 是 ?CHILD 的亲生父亲。 |
| | 病毒的遗传基质 | (geneticSubstrateOfVirus ?VIRUS ?MOL) relates the virus ?VIRUS to the molecule ?MOL that contains its genetic information. |
| | 几何距离 | (geometricDistance ?POINT1 ?POINT2 ?LENGTH) 的意思是 ?LENGTH 是两个 GeometricPoint ?POINT1 和 ?POINT2 之间的距离。 |
| | 有维度 | multipole quantity has certain dimension |
| | 有变数 | multipole quantity has certain variable |
| | 人的能力 | (humanCapacity ?CONSTRUCT ?NUMBER) means that the StationaryArtifact ?CONSTRUCT, e.g. a Building or a Room, can hold a maximum of ?NUMBER Humans without crowding. |
| | 智商 | (intelligenceQuotient ?PERSON ?NUMBER) means that ?NUMBER is the I.Q. of ?PERSON. The I.Q. of a person is the ratio of their mental age (determined by a standardized test) divided by their chronological age, multiplied by 100. |
| | 入侵病毒 | (invadingVirus ?CELLINV ?VIRUS) means that ?VIRUS is a virus that invades a host cell in the cell invasion ?CELLINV. If the invasion results in a replication, it is the genome of the invading virus that is replicated. The original virus is destroyed but replicated in the process. |
| | leader | (leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON. |
| | 长度 | 这是一个 BinaryPredicate，它是用来表示一个 Object最 长部分的幅度。 |
| | 货币价值 | 这是一个 BinaryPredicate，它把一个 Object 或 Process 和以一个CurrencyMeasure来表示它的价值联系起来。 |
| | 母亲 | 这是母亲的概括关系。(mother ?CHILD ?MOTHER)的意思是 ?MOTHER 是 ?CHILD 的亲生母亲。 |
| | 净值 | Total assets minus total liabilities of an individual or company. |
| | 质子数 | (protonNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER. |
| | 半径 | (radius ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的半径的长度是 ?LENGTH。 |
| | StringConcatenateFn | The result of applying this Function to two SymbolicString arguments is a third SymbolicString that is the concatenation of the two arguments. Example: (equal "Charles Darwin" (StringConcatenateFn "Charles " "Darwin")). |
| | stringConcatenation | (stringConcatenation ?SymbolicString-1 ?SymbolicString-2 ?SymbolicString-3) means that ?SymbolicString-3 can be formed by appending ?SymbolicString-1 and ?SymbolicString-2, in order. Example: (stringConcatenation "Charles " "Darwin" "Charles Darwin") is a True Sentence. |
| | stringLength | (stringLength ?NonnegativeInteger ?SymbolicString) means that the number of Characters in ?SymbolicString is ?NonnegativeInteger. Example: (stringLength 14 "Charles Darwin"), which is a True Sentence. |
| | StringLengthFn | This UnaryFunction takes a SymbolicString as its sole argument. The result of evaluating a term formed with StringLengthFn is a NonnegativeInteger that denotes the number of Characters in the SymbolicString. Example: (equal 14 (StringLengthFn "Charles Darwin")). |
| | SubstringFn | (SubstringFn ?SymbolicString ?NonnegativeInteger-1 ?NonnegativeInteger-2) denotes a string that is a subString of ?SymbolicString, begins with the Character at the index ?NonnegativeInteger-1, and ends with the Character at the index (SubtractionFn ?NonnegativeInteger-2 1). The first Character in ?SymbolicString is denoted by the index 0. If the value of ?NonnegativeInteger-1 or ?NonnegativeInteger-2 is greater than the value of (StringLengthFn ?SymbolicString), or if ?NonnegativeInteger-1 is greater than ?NonnegativeInteger-2, the result of evaluating the SubstringFn expression is undefined. Example: (equal "Charle" (SubstringFn "Charles Darwin" 0 6)). |
| | 交易金额 | (transactionAmount ?TRANSACTION ?AMOUNT)的意思是： ?AMOUNT 是在 FinancialTransaction ?TRANSACTION 中所交换 CurrencyMeasure 的实例。 |
| | 唯一识别符号 | 这是专门识别 Entity 的一个实例的 names 类别，uniqueIdentifier 的一些例子包括数据库应用程序数据库表的索引，和ISBN(国际标准书号)。 |
| | 配价 | 指定一个关系可接纳参数的数目。 如果一个关系没有设定参数 数目，那么它就没有配价，它也就是 VariableArityRelation 的一个实例。 |
| | 波长 | (wavelength ?RADIATION ?MEASURE) means that the instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE. |
| | 宽度 | 这是一个 BinaryPredicate， 它是用来表示一个 Object 从 一边到另一边最大的距离。 |