Relationships
|
|
|
|
Parents |
InheritableRelation |
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 | age | 単に Object の年齢を指定する ConstantQuantity に Object を関連付ける。 |
| altitude | TernaryPredicate は、Object の top と Object の top より下にある別の点との間の distance を述えるために使用される(多くの場合、 この他のポイントは海面になる)。注:この Predicate を使用して、例えば、地理的フィーチャの高さを 指定できる。例:山、航空機の高度、地球周りの衛星の軌道。 |
| approximateDiameter | The diameter of an object if it were a perfect sphere of the same volume |
| arcWeight | この述部は、Graph の GraphArc の値を示す。これ は、ロードネットワーク内のロードの長さ、または配管システムのパイプの流動率にマップできる。 |
| average | List を RealNumber に関連付ける部分関数で、 Listに RealNumber であるリスト要素のみが含まれる。List に関連付けられた RealNumber は、 List の RealNumber の数学的平均をリスト要素の総数で割った値に等しい。 |
| conclusion | (conclusion ?ARGUMENT ?PROPOSITION) means that the Proposition ?PROPOSITION is the conclusion explicitly drawn from the Argument ?ARGUMENT. Note that it may or may not be the case that ?ARGUMENT entails ?PROPOSITION. |
| currencyType | (currencyType ?AREA ?UNIT) means that the official currency used in the GeopoliticalArea ?AREA is the UnitOfMeasure ?UNIT. |
| date | BinaryPredicate は、特定の O または P に対して、1日 の解像度で、絶対暦時間に TimePosition を指定する。 |
| depth | TernaryPredicate は、Object の top と Object の top の上にある別の点との間の distance を示すために使用される (多くの場合、この他のポイン トは海面になる)。注:この Predicate は、例えば、海洋生物や潜水艦の深さを指定するために使用でき る。 |
| diameter | (diameter ?CIRCLE ?LENGTH) とは、Circle ?CIRCLEの直径が ?LENGTH の長さを有することを意味する。 |
| distance | (distance ?OBJ1 ?OBJ2 ?QUANT) とは、2つのオブ ジェクト ?OBJ1と ?OBJ2の間の最短距離が ?QUANであることを意味する。注:述語 length と distance の違いは、length が単一のオブジェクトの次元の1つの LengthMeasure を表すために使用され、 distance は2つの異なるオブジェクトを区切る LengthMeasure を示すために使用される点である。 |
| effectiveRange | 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 | (electronNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER. |
| father | The general relationship of fatherhood. (father ?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD. |
| geneticSubstrateOfVirus | (geneticSubstrateOfVirus ?VIRUS ?MOL) relates the virus ?VIRUS to the molecule ?MOL that contains its genetic information. |
| geometricDistance | (geometricDistance ?POINT1 ?POINT2 ?LENGTH) means that ?LENGTH is the distance between the two GeometricPoints ?POINT1 and ?POINT2. |
| hasDimension | multipole quantity has certain dimension |
| hasVariable | multipole quantity has certain variable |
| humanCapacity | (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 | (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 | (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) とは、 ?INSTITUTION のリーダーが ?PERSON という意味である。 |
| length | BinaryPredicate は、最も長いスパンに沿って Object のメジャーを述べるために使用される。 |
| monetaryValue | BinaryPredicate は、Object または Process を CurrencyMeasure のインスタンスとして表される値に関連付ける。 |
| mother | The general relationship of motherhood. (mother ?CHILD ?MOTHER) means that ?MOTHER is the biological mother of ?CHILD. |
| netWorth | Total assets minus total liabilities of an individual or company. |
| protonNumber | (protonNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER. |
| radius | (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 | (transactionAmount ?TRANSACTION ?AMOUNT) は、?AMOUNT が FinancialTransaction ?TRANSACTION に取り出されている CurrencyMeasure のインスタンスであることを意味する。 |
| uniqueIdentifier | Entity のインスタンスを一意に識別する name のクラス。 uniqueIdentifier の例としては、データベース アプリケーションのテーブルのキー と ISBN (国際標準書籍番号) がある。 |
| valence | 関連できる引数の数を指定する。 関係に引数の固定数が ない場合、それにはバレンスがなく、VariableArityRelation のインスタンスである。 |
| wavelength | (wavelength ?RADIATION ?MEASURE) means that the instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE. |
| width | BinaryPredicate は、最も広いスパンで Object のメ ジャーを左右に述えるために使用される。 |