Relationships
|
|
|
|
Parents |
反対称関係 |
BinaryRelation ?REL is an AntisymmetricRelation if for distinct ?INST1 and ?INST2, (?REL ?INST1 ?INST2) implies not (?REL ?INST2 ?INST1). In other words, for all ?INST1 and ?INST2, (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST1) imply that ?INST1 and ?INST2 are identical. Note that it is possible for an AntisymmetricRelation to be a ReflexiveRelation.
|
|
非反射関係 |
Relation ?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.
|
Children |
格役割 | The Class of Predicates relating the spatially distinguished parts of a Process. CaseRoles include, for example, the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain. |
| 命題態度 | The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition. |
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. |
| agentName | (agentName ?STRING ?OBJ) means that ?STRING is a full or partial name for the AutonomousAgent ?OBJ. |
| 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. |
| 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. |
| attribute | (attribute ?OBJECT ?PROPERTY) とは、 ?PROPERTY が、?OBJECTの Attribute という意味である。 例:(attribute MyLittleRedWagon Red)。 |
| barometricPressure | (barometricPressure ?AREA ?PRESSURE) とは、 ?AREAで測定される大気圧はPであることを意味する。気圧は通常、InchMercury または MmMercury の単位で表される。例:標準の海面圧力は水銀の 29.92 インチ (760 mm) : (barometricPressure SeaLevel (MeasureFn 29.92 InchMercury))。 |
| benefits | (benefits ?PROCESS ?AGENT) means that ?AGENT somehow derives benefit as a result of ?PROCESS. This is a very general relation, and does not entail that ?AGENT is a participant in ?PROCESS. |
| canRunOn | A weaker relation than runOn that says merely that a properly configured computer should be able to run the given software. |
| cargo | (cargo ?EVENT ?OBJ) means that ?OBJ is transported as cargo in the Shipping event ?EVENT. |
| causes | Process の インスタンス間の因果関係。 (causes ?PROCESS1 ?PROCESS2) とは、 Process ?PROCESS1 の インスタンスが Process ?PROCESS2のインスタンスをもたらすことを意味する。 |
| causesProposition | (causesProposition ?FORMULA1 ?FORMULA2) とは、?FORMULA1の原因によって記述された事態の状態、または機械的に事態の状態をもたらし たり、?FORMULA2の原因によって記述された事態の状態を意味する。 注1:entails とは異なり、?FORMULA2 が保持する時間は F1 が保持される時間に先行することはできないが、?FORMULA1 と ?FORMULA2は同時に 保持できる。 注2:causesProposition 述語であり、真理関数ではない。 次の規則 (逆置) は保持さ れない: causesProp ?FORMULA1 ?FORMULA2) (causesProp (not ?FORMULA2) (not ?FORMULA1)))。 |
| causesSubclass | Process ?PROCESS のサブクラス間の因果関係。 (causesSubclass ?PROCESS1 ?PROCESS2) とは、Process ?PROCESS1 のサブクラスが Process ?PROCESS2 を持ち込むことを意味する。 例:(causesSubclass Killing Death) など。 |
| chamberOfLegislature | (chamberOfLegislature ?CHAMBER ?LEGISLATURE) means that ?CHAMBER is a legislative body within the ?LEGISLATURE. |
| citizen | (citizen ?PERSON ?NATION) means that the Human ?PERSON is a citizen of Nation ?NATION. |
| closedOn | BinaryFunction は、SetOrClass のすべてのインス タンスに対して定義され、その値が常に SetOrClass のインスタンスである場合、SetOrClass で閉じ られる。 |
| completelyFills | (completelyFills ?OBJ ?HOLE) は、Object ?OBJ の part が Hole ?HOLE を埋めることを意味する。注:(completelyFills ?OBJ1 ?HOLE) お よび (part ?OBJ1 ?OBJ2) の場合、(completelyFills ?OBJ2 ?HOLE) である。 ホールの完全な フィラー、ホール自体が接続されているすべてのものに接続される。ホールの完全なフィラーは、そのホール の(その部分の)すべての適切な部分を完全に埋める。 |
| contains | 2つの分離可能なオブジェクトの空間コンテインメントの 関係。2つのオブジェクトが分離できない場合(例:自動車とその座席の1つ)、part の関係を使用する必要が ある。 (contains ?OBJ1 ?OBJ2) とは、SelfConnectedObject ?OBJ1 にスペース (すなわち HoleRegion) があることを意味し、少なくとも部分的に?OBJ2で満たされている)。 |
| containsInformation | represents の下位関係。 この述語は、 ContentBearingPhysical を Proposition に関し、ContentBearingPhysical で表現される。 例として、物理的な小説とその物語の間の関係や、印刷されたスコアとその音楽コンテンツの関係など。 |
| crosses | (crosses ?OBJ1 ?OBJ2) とは、Object ?OBJ1 が Object ?OBJ2 に 接続させれずに traverses 。 |
| 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. |
| deceptiveIdentifier | (deceptiveIdentifier ?OBJ ?AGENT) means that ?AGENT presents ?OBJ as a representation of ?AGENT's `true' identity, when in fact it is not. |
| dependentGeopoliticalArea | (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 | (developmentalForm ?OBJECT ?FORM) means that ?FORM describes a stage in the individual maturation of ?OBJECT. For example, tadpole and caterpillar are developmentalForms of frogs and butterflies, respectively. |
| deviceTelecomNumber | (deviceTelecomNumber ?TelecomNumber ?TelephonyDevice) means that ?TelephonyDevice is identified, and can be accessed, by ?TelecomNumber. |
| equivalenceRelationOn | BinaryRelation は、関係が SetOrClass の reflexiveOn であり、TransitiveRelation と SymmetricRelation の両方で ある場合にのみ、SetOrClass の equivalenceRelationOn である。 |
| executiveBranch | (executiveBranch ?BRANCH ?ORG) means that the Organization ?BRANCH is the executive branch of the GeopoliticalArea or Organization ?ORG, that is, its executive offices and bodies, considered as a whole. |
| exploits | (exploits ?OBJ ?AGENT) とは、?OBJ が、Process の不特定インスタンスの resource として?AGENTによって使用される。この Predicate は、その対応 する公理が示すように、agentおよび resource の二項関係の合成である。 |
| expressedInLanguage | (expressedInLanguage ?EXPRESS ?LANG) とは、 LinguisticExpression ?EXPRESS が Language ?LANG の一部であることを意味する。 |
| familyName | (familyName ?STRING ?HUMAN) means that the SymbolicString ?STRING denotes a non-optional name that ?HUMAN has inherited by virtue of being born into a particular family (kin group). surname is another word for this type of name. Cf. givenName. |
| faxNumber | (faxNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a FaxMachine at which ?AutonomousAgent can be contacted. |
| fills | ホールを埋めることができる。(fills ?OBJ ?HOLE) は、 Object ?OBJ が Hole ?HOLEを埋めるということを意味する。注:ここで fills は完全に満たされ たことを意味する。完全なフィラーと充填可能なエンティティには、共通の部分がない(むしろ、同じ空間領域 を占有する場合がある)。 |
| flows | (flows ?FLUID1 ?FLUID2) means that the Physical ?FLUID1 moves towards the Physical ?FLUID2, to which it is connected. |
| fullName | (fullName ?STRING ?OBJ) means that ?STRING is a (more or less) complete name for ?OBJ, having all of the parts (fields, name components) possible for ?OBJ's name. The parts of ?STRING, if any, may be in conventional order, or in indexed (for alphabetic sorting) order. Examples: George W. Bush, The White House, The United Kingdom of Great Britain and Northern Ireland. |
| fullNameIndexOrder | (fullNameIndexOrder ?STRING ?OBJ) means that ?STRING is a full name for ?OBJ, having all of the subStrings (fields, components) that occur in ?OBJ's complete name. The first component of ?STRING will be the indexed subString identified by keyName. Example: Bush, George W. |
| geographicSubregion | (geographicSubregion ?PART ?WHOLE) means that the GeographicArea ?PART is part of the GeographicArea ?WHOLE. |
| geopoliticalSubdivision | (geopoliticalSubdivision ?AREA1 ?AREA2) means that ?AREA1 is any geopolitical part of ?AREA2, that is, ?AREA1 is an integral geographicSubregion of ?AREA2 (not a DependencyOrSpecialSovereigntyArea), having its own associated GovernmentOrganization which is subordinated to or constrained by the government of ?AREA2. Cf. dependentGeopoliticalArea. |
| givenName | (givenName ?STRING ?HUMAN) means that ?STRING is a name selected for ?HUMAN, usually from among many options, as opposed to a mandatory name (cf. familyName) that ?HUMAN has inherited by virtue of being born into a certain kin group, caste, or occupation. |
| grandparent | (grandparent ?YOUNGER ?OLDER) means that ?OLDER is a parent of ?YOUNGER's parent. |
| graphPart | Graph とそのパーツの基本的な関係。(graphPart ?PART ?GRAPH) とは、?PARTが Graph ?GRAPH の GraphArc または GraphNode であることを 意味する。 |
| guiElementCoveredBy | (guiElementCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is completely covered by the GUIElement ?GUIE2. |
| guiElementPartiallyCoveredBy | (guiElementPartiallyCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is partially covered by the GUIElement ?GUIE2. |
| hasAccount | (hasAccount ?User ?Account) holds if ?User is assigned the UserAccount ?Account. |
| hasAcrossVariable | multipole pole has across variable |
| hasPurpose | この Predicate は、従来の目標、すなわち概念を表 す。 例:中和されたエージェントの意図を持つ目標。それに応じて、(hasPurpose ?THING ?FORMULA) とは、Physical ?THING のインスタンスが、その目的として、?FORMULA によって表される Proposition を有することを意味する。 注:Predicates hasPurpose と result の間には重要な意味の違いが ある。 後者の第2の引数は前者の第2の引数を満たすことができ、従来の目標は期待される望ましい結果 だが、結果も期待も望ましくないかもしれない。 たとえば、機械プロセスには結果が出ないが、目標はなく、 目的のない放浪は結果を持つかもしれないが、目標はなく、学習プロセスには結果のない目標を持つ場合が ある。 |
| hasThroughVariable | multipole pole has through variable |
| headingWRTCompassNorth | (headingWRTCompassNorth ?OBJ ?DEGREE) means that the front_to_back axis of the Object ?OBJ points in the direction ?DEGREE, according to the compass carried by ?OBJ. |
| headingWRTMagneticNorth | (headingWRTMagneticNorth ?OBJ ?DEGREE) means that the front_to_back axis of the Object ?OBJ points in the direction ?DEGREE, with respect to magnetic North. |
| headingWRTTrueNorth | (headingWRTTrueNorth ?OBJ ?DEGREE) means that the front_to_back axis of the Object ?OBJ points in the direction ?DEGREE, with respect to true North. |
| highAltitudeWindSpeed | (highAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing above 25,000 feet at ?PLACE has a speed of ?RATE. |
| holdsDuring | (holdsDuring ?TIME ?FORMULA) とは、?FORMULA で示される命題が時間枠 ?TIME に当てはまることを意味する。 注:これは、?FORMULA が temporalPart であるすべての?TIMEの TimePoint に当てはまることを意味する。 |
| holdsObligation | Expresses a relationship between a Formula and a CognitiveAgent whereby the CognitiveAgent has the obligation to bring it about that the Formula is true. |
| holdsRight | Expresses a relationship between a Formula and a CognitiveAgent whereby the CognitiveAgent has the right to bring it about that the Formula is true. |
| hole | (hole ?HOLE ?OBJ) とは、Hole が ?OBJ の Hole で あることを意味する。Hole は、surface Object に位置する書き込み可能なボディである。 |
| holidayTimeInArea | (holidayTimeInArea ?AREA ?TIME) means that ?TIME is a particular time period during which Holiday is observed, thus during which normal government, business, and other services may not operate. |
| homeAddress | (holdsDuring ?T1 (homeAddress ?PLACE ?AGENT)) means that during the time specified by ?T1, the PostalPlace ?PLACE is ?AGENT's home. |
| homePhoneNumber | (homePhoneNumber ?TelecomNumber ?Human) means that ?TelecomNumber identifies a Telephone located at ?Human's PermanentResidence. |
| humanName | (humanName ?STRING ?OBJ) means that ?STRING is a full or partial name for the Human ?OBJ. |
| husband | (husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN. |
| immediateInstance | オブジェクトがその SetOrClass の instance で、かつ SetOrClass の適切なサブクラスのinstance でない場合、 オブジェクトは、 SetOrClass の immediateInstance である。 |
| immediateSubclass | SetOrClass ?CLASS1 は別の SetOrClass ?CLASS2 の immediateSubclass。万が一に備えて ?CLASS1 が ?CLASS2 の サブクラスで、および ?CLASS1 もそのサブクラスであるように、 ?CLASS2 の他のサブクラスはない。 |
| inhabits | A very basic notion of living within something else. (inhabits ?ORGANISM ?OBJECT) means that ?OBJECT is the residence (either permanent or temporary), nest, etc. of ?ORGANISM. |
| insured | (insured ?Contract ?Org) means that ?Contract is insured by the ?Organization. |
| interiorPart | (interiorPart ?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2の部分であり、?OBJ1 と superficialPart ?OBJ2 の間に重複がないことを意味する。 |
| involvedInEvent | (involvedInEvent ?EVENT ?THING) とは、 Process ?EVENTでは、、Entity ?THING は CaseRole の役をする、という意味である。 |
| judicialBranch | (judicialBranch ?BRANCH ?ORG) means that the Organization ?BRANCH is the judicial branch of the GeopoliticalArea or Organization ?ORG, that is, all of its courts and judicial offices, considered as a whole. |
| leader | (leader ?INSTITUTION ?PERSON) とは、 ?INSTITUTION のリーダーが ?PERSON という意味である。 |
| leaderPosition | (leaderPosition ?ORG ?ROLE) means that in the organization ?ORG, the leader is the person who holds the Position ?ROLE in the organization. |
| legislativeBranch | (legislativeBranch ?BRANCH ?ORG) means that the Organization ?BRANCH is the legislative branch of the GeopoliticalArea or Organization ?ORG. |
| loss | The amount by which the cost of an investment or business operation exceeds its return, i.e. the negative quantity left after subtracting for all expenses. |
| lowAltitudeWindSpeed | (lowAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing between 500-10,000 feet at ?PLACE has a speed of ?RATE. Wind speed may be expressed in knots (KnotUnitOfSpeed) or as any distance per time unit (using (SpeedFn ?DISTANCE ?TIME)). |
| manner | (manner ?PROCESS ?MANNER) とは、Process ?PROCESSPPは Attribute ?MANNER によって認定されている、という意味である。 Processes の Attributes は通常、副詞によって示され、風速、ダンスのスタイル、スポーツ競技の強度などのような が含まれる。 |
| measure | 非常に一般的な Predicate は、特定の Object が特 定の PhysicalQuantity によって測定されると主張する。 一般に、この Predicate の第2の引数は、 Function MeasureFn で生成される用語になる。 |
| mediumAltitudeWindSpeed | (mediumAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing between 10,000-25,000 feet at ?PLACE has a speed of ?RATE. |
| meetsTemporally | (meetsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL1 の端子点が TimeInterval ?INTERVAL2 の初期点であることを意味 する。 |
| member | Collections の均一パーツの専門常識の概念の部分。 例えば、群れの各羊が、群れのメンバーとして関係を持つ、など。 |
| middleName | (middleName ?CHAR ?INDIV) means that the SymbolicString ?CHAR contains the middle name of the Human ?INDIV. |
| mobilePhoneNumber | (mobilePhoneNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a MobileCellPhone at which ?AutonomousAgent can be contacted. |
| 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. |
| monetaryValue | BinaryPredicate は、Object または Process を CurrencyMeasure のインスタンスとして表される値に関連付ける。 |
| nameIndexOrder | (nameIndexOrder ?STRING ?OBJ) means that ?STRING is a full or partial name for ?OBJ, and that the first component of ?STRING is the indexed subString identified by keyName. Example: Bush, George. |
| observesHoliday | (observesHoliday ?CognitiveAgent ?Holiday) means that ?CognitiveAgent regards ?Holiday as an institutionally special (sacred, commemorative, celebratory) TimeInterval and participates, at least to some degree, in the rituals, ceremonies, or other activies associated with ?Holiday. |
| operator | (operator ?OBJECT ?AGENT) means that ?AGENT determines how ?OBJECT is used, either by directly or indirectly operating it. |
| orbits | (orbits ?SATELLITE ?FOCUS) means that the Object ?SATELLITE revolves around the AstronomicalBody ?FOCUS. |
| organizationName | (organizationName ?STRING ?OBJ) means that ?STRING is a full or partial name for the Organization ?OBJ. |
| parent | The general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD. |
| partialOrderingOn | BinaryRelation は、SetOrClass 上の 部分的な順序付けで、 AntisymmetricRelation と TransitiveRelation の両方である場合にのみ、 関係が SetOrClass で reflexiveOn である。 |
| partiallyFills | (partiallyFills ?OBJ ?HOLE) は、?OBJ が ?HOLE の一部を completelyFills ことを意味する。注1:(partiallyFills ?OBJ1 ?HOLE) およ び (part ?OBJ1 ?OBJ2) の場合、(partiallyFills ?OBJ2 ?HOLE) である。 注2:部分的なフィラー が完全にホールの中にある必要はない。(突き出る可能性有)。これはすべての完全なフィラーも部分的なもの と見なされることを意味する(リミットケース)。 |
| password | (password ?Password ?Account) means that ?Password is the password associated with the UserAccount that the ComputerUser uses while logging onto a computer system. |
| penetrates | (penetrates ?OBJ1 ?OBJ2) とは、?OBJ1 が少なくとも 1つの寸法 (長さ、幅、または深さ) に沿って OBJ2 に対して connected ことを意味する。 |
| personalPhoneNumber | (personalPhoneNumber ?TelecomNumber ?Human) means that ?TelecomNumber identifies a Telephone at which ?Human can be contacted when not a work, or for purposes other than work. |
| possesses | Relationは、Agent が Object の所有権を持つ 場合に Agent と Object の間に保持される 。 |
| postAddressText | (postAddressText ?PostalAddressText ?PostalPlace) means that the ContactSite ?PostalPlace is identified by ?PostalAddressText. |
| postCity | (postCity ?PostalPlace ?City) means that ?PostalPlace is located in ?City. |
| postContactSite | (postContactSite ?PostalPlace ?AutonomousAgent) means that the Human or Organization ?AutonomousAgent can be contacted by post (mail) at the location ?PostalPlace. |
| postCountry | (postCountry ?PostalPlace ?GeopoliticalArea) means that ?PostalPlace is located in the Nation or DependencyOrSpecialSovereigntyArea ?GeopoliticalArea. |
| postDistrict | (postDistrict ?PostalPlace ?StateOrProvince) means that ?PostalPlace is located in ?StateOrProvince. |
| postNeighborhood | (postNeighborhood ?PLACE ?NEIGHBORHOOD) means that ?PLACE is located in ?NEIGHBORHOOD |
| postPostOfficeBox | (postPostOfficeBox ?SymbolicString ?PostalPlace) means that ?SymbolicString identifies the post office box of a ?PostalPlace. ?SymbolicString need not consist exclusively of DigitCharacters. |
| postPostcodeArea | (postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?PostcodeArea. |
| postStreet | (postStreet ?PostalPlace ?Roadway) means that ?PostalPlace is Adjacent to ?Roadway. |
| postStreetNumber | (postStreetNumber ?SymbolicString ?PostalPlace) means that ?SymbolicString identifies the sub-city block or building level location of a ?PostalPlace. ?SymbolicString need not consist exclusively of DigitCharacters. |
| precipitationAmount | (precipitationAmount ?EVENT ?AMOUNT) means that in the Precipitation process ?EVENT, the quantity of precipitation that fell was ?AMOUNT. |
| precipitationRate | (precipitationRate ?EVENT ?RATE) means that in the Precipitation ?EVENT, the precipitation falls at a rate of ?RATE. |
| precipitationState | (precipitationState ?EVENT ?STATE) means that in the Precipitation ?EVENT, the stuff falling is in the PhysicalState ?STATE (e.g., Liquid or Solid ice). |
| precondition | 非常に一般的な Predicate。(precondition ?PROC1 ?PROC2) とは、?PROC1 のインスタンスが存在する場合にのみ ?PROC2 のインスタンスが存在できる ことを意味する。 |
| primaryGeopoliticalSubdivision | (primaryGeopoliticalSubdivision ?AREA ?COUNTRY) means that the GeopoliticalArea ?AREA is one of the first-order administrative divisions of the Nation ?COUNTRY. For example, in the United States, any of the fifty states. This does not include subordinate regions that have a lesser status, such as British Crown colonies, U.S. territories, or protectorates. See geopoliticalSubdivision. |
| processAborted | (processAborted ?Abort ?Process) means that the ComputerProcess ?Process is aborted as the result of ?Abort. |
| productModel | (productModel ?Model ?Product) means that ?Model represents the type of the Product ?Product |
| profit | The positive gain from an investment or business operation after subtracting for all expenses. |
| programCopy | (programCopy ?File ?Program) means that the ComputerFile ?File is one of the copies of the ComputerProgram ?Program. |
| properPart | (properPart ?OBJ1 ?OBJ2) とは、?OBJ1が?OBJ2 自体以外、?OBJ2の一部である。これは、TransitiveRelation と AsymmetricRelation である。 (したがって、IrreflexiveRelation)。 |
| properlyFills | (properlyFills ?OBJ ?HOLE) は、?HOLE が ?OBJ によって適切に(おそらく不完全であるが)満たされていることを意味する。例:?HOLE の一部は、?OBJ によって完全に満たされている。注:properlyFills は completelyFills のデュアルであるため、 ?OBJ が properlyFills ?HOLE の partiallyFills に関連している。それは ?OBJ が ?HOLE のすべ ての部分を partiallyFills する場合に備えている。(したがって、すべての完璧なフィラーは、この意味 で完全かつ適切である)。すべてのホールは、ホールの適切なフィラーが接続されているすべてのものに接続さ れている。ホールの完全なフィラーのすべての適切な部分は、そのホールを適切に埋める(その一部)。 |
| range | 関数の範囲を提供。 言い換えれば、(range ?FUNCTION ?CLASS) とは、?FUNCTIONによって割り当てられたすべての値は?CLASSの instances である、という 意味である。 |
| realization | represents の サブリレーション。(realization ?PROCESS ?PROP) とは、PROCESS が ?PROPP の内容を表すプロセスであることを意味する。 例:楽譜の 内容や詩の読み取りを実現する特定の音楽パフォーマンスなど。 |
| reflexiveOn | BinaryRelation は、SetOrClass のすべての インスタンスがそれ自体との関係を持つ場合にのみ、SetOrClass に対して再帰的である。 |
| resourceExhausted | (resourceExhausted ?PROCESS ?RESOURCE) とは、?RESOURCE が ?PROCESS の開始時に存在し、?PROCESS によって使用され、その結果、?PROCESS に よって完全に使い古されたことを意味する。 例:燃料は、次の命題で使用される resourceExhausted で ある: 飛行機は燃料を使い果たし、海に不時着した。 |
| runsOn | (runsOn ?Program ?Computer) means that ?Program is capable of running on ?Computer with its current configuration of installed software. |
| seaSurfaceTemperature | (seaSurfaceTemperature ?AREA ?TEMP) means that the temperature of the sea surface at ?AREA is ?TEMP. Temperature may be expressed in some UnitOfTemperature, including CelsiusDegree and FahrenheitDegree, among others. |
| serviceProvider | (serviceProvider ?EVENT ?AGENT) means that ?AGENT is the supplier of the service provided in ?EVENT. |
| serviceRecipient | (serviceRecipient ?EVENT ?AGENT) means that ?AGENT is the receiver of the service provided in ?EVENT. |
| siteForContact | (siteForContact ?ContactSite ?AutonomousAgent) means that the Human or Organization ?AutonomousAgent can be reached at or via the point of contact ?ContactSite. |
| states | (holdsDuring ?T1 (states ?AGENT ?SENTENCE)) means that at time ?T1, ?AGENT is the agent of a LinguisticCommunication in which the patient is ?SENTENCE. Note that ?SENTENCE could be a Formula. |
| successorAttribute | (successorAttribute ?ATTR1 ?ATTR2) とは、 それらが共有する規模で?ATTR2は、?ATTR1の直後にあるAttribute、という意味である。 |
| successorOrganization | (successorOrganization ?OLD ?NEW) means that the Organization ?OLD was transformed or merged into, or otherwise succeeded by, the Organization ?NEW. |
| surface | (surface ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 の 最大接続 superficialPart であることを意味する。 注:一部の SelfConnectedObjects には複数 の表面がある。例:テニスボールのような中空の物体は、内側と外側の両方の面を持っている。 |
| systemMeasured | (systemMeasured ?Event ?System) means that ?Event is an event of measuring the performance of the ComputationalSystem ?System. |
| task | (task ?Process ?Task) means that ?Task is a function to be performed by the ComputerProcess ?Process. |
| telecomAreaCode | (telecomAreaCode ?SymbolicString TelecomNumber) means that ?SymbolicString is the part of ?TelecomNumber that follows the country code. ?SymbolicString may denote a GeographicArea in which the TelephonyDevice identified by ?TelecomNumber is located (registered), but it may also denote a call billing plan or status, as for 800 numbers in the North American Numbering Plan. |
| telecomCode2 | (telecomCode2 ?SymbolicString ?TelecomNumber) means that ?SymbolicString is the second code (if there is one, such as a sub-area code) following the part of ?TelecomNumber denoted by telecomCountryCode. |
| telecomContactDevice | (telecomContactDevice ?TelephonyDevice ?AutonomousAgent) means that ?TelephonyDevice is a ContactSite for the Human or Organization ?AutonomousAgent. |
| telecomCoreNumber | (telecomCoreNumber ?SymbolicString ?TelecomNumber) means that ?SymbolicString is the part of a TelecomNumber that identifies an individual subscriber line, not including the area code and any possible extensions. |
| telecomCountryCode | (telecomCountryCode ?SymbolicString TelecomNumber) means that ?SymbolicString is the part of ?TelecomNumber that identifies the Nation in which the device identified by ?TelecomNumber is located (or registered). ?SymbolicString will be standard code conforming to, and assigned by, ITU-T Recommendation E.164. |
| telecomExtension | (telecomExtension ?SymbolicString ?TelecomNumber) means that ?SymbolicString is a part of ?TelecomNumber that identifies a TelephonyDevice within a group of such Devices, the members of which share a local subscriber line. |
| telephoneNumber | (%&telephoneNumber ?NUMBER ?AGENT) means that ?AutonomousAgent identifies a TelecomeNumber at which ?AutonomousAgent can be contacted |
| terrainInArea | (terrainInArea ?AREA ?ATTRIBUTE) means that the GeographicArea ?AREA is or includes a region with the features of TerrainArea ?ATTRIBUTE. |
| time | この関係は、前者の一時的な寿命が後者を含む場合に備えて、 Physical のインスタンスと TimePosition のインスタンスの間に保持されます。言い換えれば、 (time ?THING ?TIME) とは、?THING が ?TIME に存在していたか、または ?TIME で起こったことを意味 する。 注:holdsDuring が Formula のインスタンスに対して行うことを time もインスタンスに 対して行う。 定数 located と time は、それぞれ基本的な空間および時間の述語である。 |
| totalOrderingOn | BinaryRelation ?REL は、SetOrClass に 対する合計順序付けが、SetOrClass 内のすべての?INST1および?INST2に対する (?REL ?INST1 ?INST2) または (?REL ?INST2 ?INST1) のどちらかの部分順序である場合のみである。 |
| transported | (transported ?EVENT ?OBJ) means that ?OBJ is transported (carried/moved to a different physical location) in the Transportation ?EVENT. |
| trichotomizingOn | A BinaryRelation ?REL は、SetOrClass のすべてのインスタンス?INST1と?INST2に対して、(?REL ?INST1 ?INST2) (?REL ?INST2 ?INST1)または(?INST1 ?INST2と等しい) のいずれかを保持している場合にのみ、 SetOrClass 三分される。 |
| userName | (userName ?Name ?User) means that ?Name is the name the ComputerUser uses to identify himself or herself when logging onto a UserAccount on a computer system. |
| uses | (uses ?OBJECT AGENT) とは、?OBJECTが ?AGENT によっ て不特定の Process の計測器として使用される、という意味である。 この Predicate は、その対応す る公理が示すように、 CaseRoles agent および instrument の組成物である。 |
| version | Some Artifacts have a life cycle with discrete stages or versions. (version ARTIFACT1 ARTIFACT2) means that ARTIFACT1 is a version of ARTIFACT2. Note that this Predicate relates subclasses of Artifact and not instances. |
| wavelength | (wavelength ?RADIATION ?MEASURE) means that the instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE. |
| wife | (wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN. |
| windRelativePosition | (windRelativePosition ?OBJECT ?POSITION) means that the Wind blows at ?OBJECT from the relative vector ?POSITION. E.g., Crosswind, Headwind, Tailwind. |
| workAddress | (holdsDuring ?T1 (workAddress ?AGENT ?ADDRESS)) means that during the time specified by ?T1, ?ADDRESS identifies one of the locations at which ?AGENT works. |
| workPhoneNumber | (workPhoneNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a Telephone at which ?AutonomousAgent can be contacted when at work, or for business purposes. |