Relationships
|
|
|
|
Parents |
関係 |
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 | acronym | (acronym ?STRING ?ENTITY) means that ?STRING consists of the initial (capitalized) letters of a multiword name for ?ENTITY. Example: IBM is an acronym identifying (naming) a company for which the full name is International Business Machines. |
| AfternoonFn | UnaryFunction は、与えられた Day の Afternoon のクラスを返す。 |
| agent | (agent ?PROCESS ?AGENT) とは、?AGENT が自発的な意図 の有無にかかわらず、Process ?PROCESS のアニメーションまたは無生物のいずれかのアクティブな決定 要因であることを意味する。例:イブは次の命題の agentag である: イブがリンゴを噛む。 |
| agentName | (agentName ?STRING ?OBJ) means that ?STRING is a full or partial name for the AutonomousAgent ?OBJ. |
| agreementAdoptionDate | (agreementAdoptionDate ?AGR ?TIME) means that the agreement ?AGR was adopted on the date indicated by ?TIME. For example, (agreementAdoptionDate ConstitutionOfTheUnitedStates (DayFn 17 (MonthFn September (YearFn 1787)))). |
| agreementEffectiveDuring | (agreementEffectiveDuring ?AGR ?DATE) means that the agreement ?AGR is effective during the time indicated by ?DATE. The agreement may be effective for longer than ?DATE, but it is in effect at least throughout the time indicated by ?DATE. |
| alias | (alias ?STRING ?AGENT) means that ?STRING is an alternate identifier for ?AGENT, and is likely being used to hide or obscure ?AGENT's true identity. |
| altitude | TernaryPredicate は、Object の top と Object の top より下にある別の点との間の distance を述えるために使用される(多くの場合、 この他のポイントは海面になる)。注:この Predicate を使用して、例えば、地理的フィーチャの高さを 指定できる。例:山、航空機の高度、地球周りの衛星の軌道。 |
| ancestorOrganization | (ancestorOrganization ?ORG1 ?ORG2) means that the Organization ?ORG1 descended from the Organization ?ORG2. |
| areaOfOperation | An operational area defined by the joint force commander for land and naval forces. Areas of operation do not typically encompass the entire operational area of the joint force commander, but should be large enough for component commanders to accomplish their missions and protect their forces. Also called AO. See also area of responsibility, joint operations area, joint special operations area. |
| atomicNumber | (atomicNumber ?ELEMENT ?NUMBER) means that the ElementalSubstance ?ELEMENT has the atomic number ?NUMBER. The atomic number is the number of Protons in the nucleus of an Atom. |
| attends | (attends ?DEMO ?PERSON) means that ?PERSON attends, i.e. is a member of the audience, of the performance event ?DEMO. |
| AttrFn | 指定されたクラスと指定された属性の場合、属性を持つオブ ジェクトのクラスのサブクラスを返す。 |
| average | List を RealNumber に関連付ける部分関数で、 Listに RealNumber であるリスト要素のみが含まれる。List に関連付けられた RealNumber は、 List の RealNumber の数学的平均をリスト要素の総数で割った値に等しい。 |
| BackFn | Function は、Object の FrontFn の反対側に マップされている。注:これは 一部の Objects に側面がない為、部分的関数である。例:リンゴと球。 ImmediateFutureFn と ImmediatePastFn が無限であるように、この Function の range も 無限であることにも注意する。 最も一般的な事例についての広範な主観間合意がある為、この不明確さは 理論的な観点からは望ましくないが、重要な実用的意義を持たない。 |
| brother | The general relationship of being a brother. (brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON. |
| catalogItem | (catalogItem ?OBJ ?CATALOG) means that an instance of ?OBJ is a member of ?CATALOG |
| coding | A relation between a ContentBearingObject and a CodingScheme that specifies how the content is expressed. Typically, this will be used either for encoded secret communications or computer files that might be coded simply for data compression instead of information security. |
| conjugate | (conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical CompoundSubstances except that one has one more Proton than the other. |
| 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. |
| contains | 2つの分離可能なオブジェクトの空間コンテインメントの 関係。2つのオブジェクトが分離できない場合(例:自動車とその座席の1つ)、part の関係を使用する必要が ある。 (contains ?OBJ1 ?OBJ2) とは、SelfConnectedObject ?OBJ1 にスペース (すなわち HoleRegion) があることを意味し、少なくとも部分的に?OBJ2で満たされている)。 |
| customer | A very general relation that exists whenever there is a FinancialTransaction between the two Agents such that the first is the destination of the FinancialTransaction and the second is the agent. |
| DayFn | BinaryFunction は、PositiveRealNumber と Month のサブクラスを、その PositiveRealNumber に対応する各 Month 内の Day に割り当てる。例えば、 (DayFn 16 August) は8月のすべての16日間の Class である。別の例として、(DayFn 9 Month) は、任意の月のすべての9日間のクラスを返す。さらに別の例については、 (DayFn 18(MonthFn August (YearFn 1912))) は1912年8月18日を示す。 |
| destination | (destination ?PROCESS ?GOAL) とは、?GOAL が Process ?PROCESS のターゲットまたは目標であることを意味する。 例:ダンベリーは次の命題の目的地に なる: ボブはダンベリーに行った。注:これは非常に一般的な CaseRole であり、特に「受取人」と「 受益者」の概念をカバーしている。 したがって、ジョンは次の命題の destination であると考えられる: トムはジョンに本をあげた。 |
| diplomaticRelations | (diplomaticRelations ?COUNTRY1 ?COUNTRY2) means that there are official diplomatic relations between the two Nations ?COUNTRY1 and ?COUNTRY2. |
| direction | (direction ?PROC ?ATTR) means that the Process ?PROC is moving in the direction ?ATTR. For example, one would use this Predicate to represent the fact that Max is moving North. |
| disjointRelation | この述部は、2つの Relations を関連付ける。 (disjointRelation ?REL1 ?REL2) とは、2つの関係にタプルがないことが共通している、という意味で ある。 |
| DivisionFn | ?NUMBER1 と ?NUMBER2 が Number の場合、 (DivisionFn ?NUMBER1 ?NUMBER2) は ?NUMBER1を ?NUMBER2で除算した結果である。注1:?NUMBER1 = 1 (DivisionFn ?NUMBER1 ?NUMBER2) が ?NUMBER2 の逆数である場合がある。 注2:?NUMBER2 = 0 の場合、(DivisionFn ?NUMBER1 ?NUMBER2) は未定義である。 |
| EditionFn | A BinaryFunction that maps a type of text (e.g. Agatha Christie's Murder-on-the-Orient-Express) and a number to the edition of the text type corresponding to the number. |
| EveningFn | UnaryFunction は、指定された Day の Evening のクラスを返す。 |
| eventPartlyLocated | (eventPartlyLocated ?PROC ?OBJ)とは、 Process ?PROC のいくつかの subProcess が Object ?OBJ に位置していることを意味する。 |
| experiencer | (experiencer ?PROCESS ?AGENT) とは、?AGENT Process ?PROCESS を経験することを意味する。 例:ヨージョは、次の命題で見るの experiencer である: ヨジョは魚を見る。experiencer は agent とは異なり、引数間の因果関係を伴わない。 |
| exportPartner | (exportPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 exports goods to the AutonomousAgent ?AGENT2. |
| ExtensionFn | メンバーシップの条件が Attribute である Class に Attribute をマップする UnaryFunction。 |
| father | The general relationship of fatherhood. (father ?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD. |
| filename | A relation between a SymbolicString and an instance of DigitalData that specified the filename of the data on a particular computer file system. This relation is for a fully qualified filename including a device specification such as a drive letter or name, a directory, and a name. This can include names that are aliases for a different physical file location. It does not include the specification of a particular machine on a network, such as an internet domain name, although it may reference a device specification that ultimately resolves to a storage device on a network. |
| FrontFn | Function は一般的に最も注目される側に Object をマップするか、もしくは通常 Object が移動する方向に向く。注:これは 一部の Objects に側面が ない為、部分的関数である。例:リンゴと球。ImmediateFutureFn と ImmediatePastFn が無限 であるように、この Function の range も無限であることにも注意する。 最も一般的な事例 についての広範な主観間合意がある為、この不明確さは理論的な観点からは望ましくないが、重要な実用的 意義を持たない。 |
| GovernmentFn | (GovernmentFn ?AREA) denotes the Government of the GeopoliticalArea ?AREA. For example, (GovernmentFn UnitedStates) denotes the Federal-level government of the United States, (GovernmentFn PuertoRico) denotes the government of the Commonwealth of Puerto Rico. |
| GreatestCommonDivisorFn | (GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) は、?NUMBER1 から ?NUMBER までの最大共通除数を返す。 |
| hinders | 一般的な Predicate は、(hinders ?PROC1 ?PROC2) が?PROC2の発生の?PROC1 decreasesLikelihood のインスタンスを意味する。 Process のクラスに 関連するより強く hindersSubclass の prevents と比較する。 |
| hindersSubclass | 非常に一般的なPredicate。 (hindersSubclass ?PROC1 ?PROC2) とは、PProcess ?PROC がサブクラスを妨げるか、Process ?PROC2の発生を妨げることを意味する。 例:オブジェクトを妨害すると、サブクラスの移動が妨げらる。 注:これは、インスタンス間ではなく、Process のタイプ間の関係である。 |
| hostileForces | (hostileForces ?UNIT1 ?UNIT2) means that the MilitaryUnits ?UNIT1 and ?UNIT2 are, respectively, allied with GeopoliticalAreas that are at war with one another. |
| HourFn | BinaryFunction は、その NonnegativeInteger に 対応する各 Day 内の Hour に PositiveRealNumber と Day のサブクラスを割り当てる。例え ば、(HourFn 12 Thursday) は木曜日の正午のすべてのインスタンスの Class である。別の例では、 (HourFn 0 Day) は午前零時のすべてのインスタンスのクラスを返す。さらに別の例については、 (HourFn 14(DayFn 18 (MonthFn August (YearFn 1912)))) は、1912年8月18日の 午後2時を示す。 |
| husband | (husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN. |
| importPartner | (importPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 imports goods from the AutonomousAgent ?AGENT2. |
| inList | Lists の element と instance のアナログ。 (inList ?OBJ ?LIST)とは、?OBJ が List ?LIST 内であることを意味する。例: (inList Tuesday (ListFn Monday Tuesday Wednesday)) は正しい。 |
| InitialNodeFn | UnaryFunction は、GraphArc を GraphArc の初期ノードにマップする。 注:これは部分的な関数。特に、DirectedGraph の一部ではない GraphArc の関数は未定義である。 |
| instrument | (instrument ?EVENT ?TOOL) とは、エージェントが ?EVENT を持ち込む場合にエージェントによって使用され、?TOOL が ?EVENT によって変更されないことを 意味する。例:キーは次の命題のインである: キーがドアを開けた。 注:instrument と resource は、同じ順序のペアでは満たすことができない。 |
| IntegerSquareRootFn | (IntegerSquareRootFn ?NUMBER) は、 ?NUMBER の整数平方根を返す。 |
| inverse | BinaryRelation の逆は Relation であり、元の Relation のすべてのタプルが逆になる。 言い換えれば、BinaryRelation は、引数が交換された時に 等しい場合、別の逆数になる。 |
| KappaFn | 変数と変数の少なくとも 1 つの非連結オカレンスを含む 数式の2つの引数を受け取るクラス形成演算子。変数と数式に KappaFn を適用した結果は、数式を満たす ものの SetOrClass である。例えば、次の式 (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100))) で、100 未満の素数の SetOrClass を示すことができる。注:現在、この 関数の割り当てはサポートされていないため、この関数の使用は勧められない。 |
| keyName | (keyName ?S1 ?S2) means that ?S1 is the subString of ?S2 (i.e., the component name) typically used for alphabetical name indexing. |
| LeastCommonMultipleFn | (LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) は、?NUMBER1から ?NUMBERまでの最も一般的でない倍数を返す。 |
| legalGuardian | (holdsDuring ?T1 (legalGuardian ?H1 ?H2)) means that during the time ?T1, ?H2 has legal authority over ?H1, and is responsible for looking after ?H1's interests. |
| ListOrderFn | (ListOrderFn ?LIST ?NUMBER) は、List ?LIST の?NUMBER の位置にある項目を示す。例:(ListFn Monday Tuesday Wednesday) 2) は、 Tuesday の値を返す。 |
| mimeType | A relation between ComputerData and the MIME type it is coded in, with respect to IETF RFC 2045. |
| MinuteFn | BinaryFunction は、PositiveRealNumber と Hour のサブクラスを、その NonnegativeInteger に対応する各 Hour 内の Minute に割り当てる。例え ば、(MinuteFn 30 (HourFn 17 Day)) は、午後の全5:30の Class である。別の例として、 (MinuteFn 15 Hour) は、1 時間を過ぎた四半期のすべてのインスタンスのクラスを返す。さらに別 の例として、(MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))) は、1912年8月18日の午後2時以降の15分後を示す。 |
| modalAttribute | A BinaryRelation that is used to state the normative force of a Proposition. (modalAttribute ?FORMULA ?PROP) means that the Proposition expressed by ?FORMULA has the NormativeAttribute ?PROP. For example, (modalAttribute (exists (?ACT ?OBJ) (and (instance ?ACT Giving) (agent ?ACT John) (patient ?ACT ?OBJ) (destination ?ACT Tom))) Obligation) means that John is obligated to give Tom something. |
| MonthFn | BinaryFunction は、%Month のサブクラスと Year のサブクラスを、その Year に対応する Month を含むクラスにマップする。 例えば (MonthFn August (YearFn 1912))は、第8 Month、すなわち Year 1912の8月である。 別の例では、 (MonthFn August Year) は8月のすべての月のクラスである August に等しい。 注:この関数は 値として Class を返す。この理由は、関連する関数 viz である。DayFn、HourFn、MinuteFn、および SecondFnは、特定の TimeInterval と繰り返し間隔の両方を生成するために使用され、これを行う唯一の 方法は、個々別々ではなく、これらの関数クラスのドメインと範囲を作ることである。 |
| MorningFn | UnaryFunction は、与えられた Day の Morning のクラスを返す。 |
| mother | The general relationship of motherhood. (mother ?CHILD ?MOTHER) means that ?MOTHER is the biological mother of ?CHILD. |
| origin | (origin ?PROCESS ?SOURCE) とは、?SOURCE が ?Process の始まりを示すという意味である。 注:この関係は、?SOURCE がプロセスの開始時に存在する ことを意味するが、プロセス全体に参加する必要はない。 例:潜水艦は、次の命題の origin である: ミサイルが潜水艦から発射された。 |
| overlapsPartially | (overlapsPartially ?OBJ1 ?OBJ2) とは、 ?OBJ1 と ?OBJ2 には共通の部分があるが、?OBJ1 も ?OBJ2 も他の part ではない。 |
| patient | (patient ?PROCESS ?ENTITY) とは、?ENTITYは、 移動、言った、経験豊富な、などが ?PROCESS に参加していることを意味する。 例:「猫はカナリアを飲み 込んだ」と「ビリーはビールが好き」という文章の直接的なオブジェクトは、patient の例である。 注:Process の patient は、Process の結果として構造変化を受ける場合とそうでない場合がある。 patient の CaseRole は、Process のオブジェクトを可能な限り広く指定する場合に使用される。 |
| penetrates | (penetrates ?OBJ1 ?OBJ2) とは、?OBJ1 が少なくとも 1つの寸法 (長さ、幅、または深さ) に沿って OBJ2 に対して connected ことを意味する。 |
| PeriodicalIssueFn | A BinaryFunction that maps a subclass of Periodical and a number to all of the issues of the Periodical corresponding to the number. |
| prevents | 非常に一般的な Predicate。(prevents ?PROC1 ?PROC2) とは、?PROC1のインスタンスが ?PROC2 の発生を防ぐことを意味する。 注:この関係と preventsSubclass の違いは、インスタンスクラスではなくクラスに関連している。 |
| preventsSubclass | 非常に一般的な Predicate。 (preventsSubclass ?PROC1 ?PROC2) とは、?PROC1が?PROC2の発生をサブクラスに防止することを意味 する。つまり、?PROC1が特定の時間と場所で発生している場合、?PROC2は同時に発生することはできない。 例:サブクラスを罹患から防ぐための接種をする。 注:これは、インスタンス間ではなく、Process タ イプ間の関係である。 |
| QuarterFn | BinaryFunction は、PositiveRealNumber および その PositiveRealNumber に対応する各 Year 内の %Quarter に対する Year のサブクラス。例え ば、(QuarterFn 4 (YearFn 1999)) は、Year 1999の最後の QuarterYear の単数形 Class である。 |
| RecurrentTimeIntervalFn | 定期的な時間間隔の生成に役立つ関数。 例えば、(RecurrentTimeIntervalFn (HourFn 6 Day)(HourFn 12 Day)) は、午前6時に始まり、 正午12時に終了する TimeInterval の Class を返す。 別の例として、(RecurrentTimeInterval Saturday Sunday) はすべての週末の Class を返す。さらに別の例では、(RecurrentTimeInterval June August) は、アカデミックサマー期間を含む Class を返す。 |
| RemainderFn | (RemainderFn ?NUMBER ?DIVISOR) は、数値?NUMBER の残りを数値?DIVISORで割った値である。結果の符号は?DIVISOR と同じである。 |
| resource | (resource ?PROCESS ?RESOURCE) とは、?RESOURCE が PR の開始時に存在し、?PROCESS によって使用され、その結果として ?PROCESSによって変更されたこと を意味する。 例:石鹸は、次の命題の resource である: 銃は石鹸から彫り出された。 注: resource は、patient のもう 1 つのサブリレーションである instrument とは異なり、内部プロ パティまたは物理プロパティが Process によって何らかの方法で変更される。 |
| resourceExhausted | (resourceExhausted ?PROCESS ?RESOURCE) とは、?RESOURCE が ?PROCESS の開始時に存在し、?PROCESS によって使用され、その結果、?PROCESS に よって完全に使い古されたことを意味する。 例:燃料は、次の命題で使用される resourceExhausted で ある: 飛行機は燃料を使い果たし、海に不時着した。 |
| result | (result ?ACTION ?OUTPUT) とは、?OUTPUTO が ?ACTION のプロダクトであることを意味する。 例:家は次の命題の result である: エリックは家を建てた。 |
| SecondFn | BinaryFunction は、PositiveRealNumber と Minute のサブクラスを、その PositiveRealNumber に対応する各 Minute 内の Second に割り 当てる。例えば、(SecondFn 4 (MinuteFn 5 Hour)) とは、Class の 毎時間の毎5 Minute 時の毎全4 Second である。別の例では、(SecondFn 8 Minute) は毎分8秒時を返す。さらに別の 例として、(SecondFn 9 (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912)))))) とは、1912年8月18日の午後2時以降9秒15分を示す。 |
| SeriesVolumeFn | A BinaryFunction that maps a type of Series (e.g. the Encyclopedia-Britannica or the Popular-Mechanics periodical) and a number to the volumes of the text type designated by the number. |
| 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. |
| sister | The general relationship of being a sister. (sister ?WOMAN ?PERSON) means that ?WOMAN is the sister of ?PERSON. |
| spellingInLanguage | The predicate. (spellingInLanguage ?SYMBOLICSTRING ?WORD ?LANGUAGE) means that the SymbolicString ?SYMBOLICSTRING expresses the Word ?WORD in the Language ?LANGUAGE. |
| spouse | The relationship of marriage between two Humans. |
| 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. |
| subPlan | (subPlan ?PLAN1 ?PLAN2) とは、?PLAN1が?PLAN2の 適切な部分である Plan であることを意味する。この関係は、一般に、特定のコンテキストでサポート Plan を全体的な Plan に関連付けるために使用される。 |
| subProposition | (subProposition ?PROP1 ?PROP2) とは、 ?PROP1が Proposition で、Proposition ?PROP2 の適切な部分である、という意味である。言い換え れば、subProposition は、大量の抽象的なコンテンツの properPart の類似体である。 |
| 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)). |
| successorAttributeClosure | successorAttribute の推移的 閉鎖。 (successorAttributeClosure ?ATTR1 ?ATTR2) とは、?ATTR1と?ATTR2を接続する successorAttribute アサーションのチェーンがる、という意味である。 |
| suffers | The opposite of benefits. The Agent does not want the action to occur. |
| superficialPart | (superficialPart ?OBJ1 ?OBJ2) とは、 ?OBJ1 は ?OBJ2 の内部部分を持たない部分という意味である。 (または、直感的には、?OBJ2 の単なる補数 と外部的に接続されている ?OBJ2 の部分としか重なっていない)。これも MereologicalSumFn と MereologicalProductFn 下の閉ざされた推移的な関係である。 |
| temporallyBetween | (temporallyBetween ?POINT1 ?POINT2 ?POINT3) とは、TimePoint ?POINT2 が TimePoint ?POINT1 と ?POINT3の間にあることを意味す る。 |
| temporallyBetweenOrEqual | (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) とは、TimePoint ?POINT1 が TimePoint ?POINT2 の前または同等であ ることを意味し、?POINT2 は TimePoint ?POINT3 の前または同等である。 |
| TerminalNodeFn | UnaryFunction は、 GraphArc を GraphArc の端子ノードにマップする。 注:これは部分的な関数。特に、DirectedGraph の一部では ない GraphArc の関数は未定義である。 |
| TimeIntervalFn | BinaryFunction は、引数として2つの TimePoint を受け取り、これら2つの TimePoint によって定義された TimeInterval を返す。 最初の TimePoint は、2番目の TimePoint より前に発生する必要がある。 |
| uniqueIdentifier | Entity のインスタンスを一意に識別する name のクラス。 uniqueIdentifier の例としては、データベース アプリケーションのテーブルのキー と ISBN (国際標準書籍番号) がある。 |
| WeekFn | BinaryFunction は、PositiveRealNumber と Year のサブクラスを、その PositiveRealNumber に対応する各 Year 内の Week に割り当てる。例えば、 (WeekFn 4 (YearFn 1999)) は、Year 1999の全第4 Week の単数 Class である。 |