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 ?STRING ?AGENT) means that ?STRING is an alternate identifier for ?AGENT, and is likely being used to hide or obscure ?AGENT's true identity. |
| 经营范围 | 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 ?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的 Attribute。例如:(attribute MyLittleRedWagon Red)。 |
| 气压 | (barometricPressure ?AREA ?PRESSURE) 的意思是在 ?AREA 所量度到的气压是?PRESSURE。气压一般以 InchMercury 或 MmMercury 单位来表示。 例如:标准海平面压力是水银29.92英寸 (760毫米)汞柱: (barometricPressure SeaLevel (MeasureFn 29.92 InchMercury))。 |
| 得益 | (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. |
| 可以操作 | A weaker relation than runOn that says merely that a properly configured computer should be able to run the given software. |
| 货物 | (cargo ?EVENT ?OBJ) means that ?OBJ is transported as cargo in the Shipping event ?EVENT. |
| 引起 | 这是 Process 实例之间的因果关系, (causes ?PROCESS1 ?PROCESS2)的意思是 Process ?PROCESS1 的实例引起 Process ?PROCESS2 的 实例。 |
| 引起主张 | (causesProposition ?FORMULA1 ?FORMULA2) 的意思是由 ?FORMULA1 描述事态引起或者是决定性和实质上地导致由 ?FORMULA2 描述的事态。注: 有别于 entails,?FORMULA2 发生的时间不能够早过 ?FORMULA1 发生地时间,但是 ?FORMULA1 和 ?FORMULA2 可以同时发生,也要注意的是 causesProposition 是一个谓词,而不是一个真值函数。以下的规则 (对立)不能成立:(=> (causesProp ?FORMULA1 ?FORMULA2) (causesProp (not ?FORMULA2) (not ?FORMULA1)))。 |
| 导致子类 | 这是 Process 子类别之间的因果关系, (causesSubclass ?PROCESS1 ?PROCESS2) 的意思是 Process ?PROCESS1 的子类别导致 Process ?PROCESS2 的子类别,例如: (causesSubclass Killing Death)。 |
| 立法机关 | (chamberOfLegislature ?CHAMBER ?LEGISLATURE) means that ?CHAMBER is a legislative body within the ?LEGISLATURE. |
| 公民 | (citizen ?PERSON ?NATION)的意思是 Human ?PERSON 是 Nation ?NATION 公民。 |
| 闭上 | 一个 BinaryFunction 在一个 SetOrClass 是封闭的 如果它在这个 SetOrClass 所有的实例已经定义了,而且它的值永远是这个 SetOrClass 的一个实例。 |
| 填满 | (completelyFills ?OBJ ?HOLE) 的意思是 Object ?OBJ 的一些 part 填充了 HoleRegion ?HOLE。注:如果是 (completelyFills ?OBJ1 ?HOLE)和(part?OBJ1 ?OBJ2)的话,那么(completelyFills ?OBJ2 ?HOLE) 就属实。能够把一个洞(它的部分)完全填满的物质会和这个洞(它的部分)相关的所有东西相连。能够把一个洞(它的部分) 完美的填充的物质,会填满这个洞(它的部分)的每一个真正的部分。 |
| 容纳 | 这是两个可分离物体的空间容量关系。 用于不可分离的物体(如汽 车和它的座位)时,应该用 part 这关系。(contains ?OBJ1 ?OBJ2) 的意思是 SelfConnectedObject ?OBJ1 有一个空间(即一个 HoleRegion),而它 至少由 ?OBJ2 填满了一部分。。 |
| 包含信息 | 这是 represents 的子类别。这个术语把 ContentBearingPhysical 和这个 ContentBearingPhysical 所表达的 Proposition 联系起来。 它的例子包括一本实体小说和它所讲故事之间的关系,以及一篇总曲谱和的它音乐内容之间的关系。 |
| 横过 | (crosses ?OBJ1 ?OBJ2) 的意思是 Object ?OBJ1 traverses 物体 ?OBJ2,但是并没有和它 connected。 |
| 顾客 | 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 ?OBJ ?AGENT) means that ?AGENT presents ?OBJ as a representation of ?AGENT's `true' identity, when in fact it is not. |
| 依赖的地缘政治区域 | (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 ?OBJECT ?FORM)的意思是 ?FORM 形容 ?OBJECT 个别发育过程的一段时期。例如:蝌蚪和毛虫分别是青蛙和蝴蝶的 developmentalForm。 |
| deviceTelecomNumber | (deviceTelecomNumber ?TelecomNumber ?TelephonyDevice) means that ?TelephonyDevice is identified, and can be accessed, by ?TelecomNumber. |
| 属于等价关系 | 一个 BinaryRelation 在一个 SetOrClass 是 equivalenceRelationOn,除非这个关系在这个 SetOrClass 是 reflexiveOn, 而且也要既是 TransitiveRelation,又是 SymmetricRelation。 |
| 行政部门 | (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 ?OBJ ?AGENT) 的意思是 ?AGENT 利用 ?OBJ 作为一个没有指定 Process 实例的 resource,这个 Predicate 就如它的相关定义所说的,是由 agent 和 resource 的关系所组成的。 |
| 所表达的语言 | (expressedInLanguage ?EXPRESS ?LANG) 的意思是 LinguisticExpression ?EXPRESS 是 Language ?LANG 的一部分。 |
| 姓 | (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. |
| 刚好填入 | Holes can be filled. (fills ?OBJ ?HOLE) means that the Object ?OBJ fills the HoleRegion ?HOLE. Note that fills here means perfectly filled. Perfect fillers and fillable entities have no parts in common (rather, they may occupy the same spatial region). |
| 流动 | (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 ?PART ?WHOLE)的 意思是 GeographicArea ?PART 是 GeographicArea ?WHOLE 的一部分。 |
| 地缘政治分区 | (geopoliticalSubdivision ?AREA1 ?AREA2)的意思是 ?AREA1 是 ?AREA2 的某一个地缘部分,姐就是说 ?AREA1 是 ?AREA2 geographicSubregion 的组成部分(而不是 DependencyOrSpecialSovereigntyArea),拥有它自己 相关的 GovernmentOrganization,它的政府部门从属或受 ?AREA2 的政府管辖。可参考 dependentGeopoliticalArea。 |
| 给予的名称 | (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 ?YOUNGER ?OLDER) means that ?OLDER is a parent of ?YOUNGER's parent. |
| 图形部分 | 这是 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 ?User ?Account) holds if ?User is assigned the UserAccount ?Account. |
| 跨变量 | multipole pole has across variable |
| 意图 | 这个 Predicate 表达一个常规目标的概念,也就是说这个 目标事出自一个中立主事者的意图。 因此,(hasPurpose ?THING ?FORMULA) 的意思是 Physical 的实例 ?THING 的意图是由 ?FORMULA 所表达的 Proposition。注:Predicates hasPurpose 和 result 之间在意义上存在着一个重要的差异。虽然后者的第二个参数可以满足前者的第二个参数,常规目标是一个预期和 受期待的成果,而结果可以是预期或者受期待的。例如:一个机器过程可以有出果却没有目标,毫无目的的游荡会有一个 成果却没有目标,一个学习过程可以有目标却没有任何的成果,如此类推。 |
| 有通过变量 | multipole pole has through variable |
| headingWRT罗盘北 | (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. |
| headingWRT磁北 | (headingWRTMagneticNorth ?OBJ ?DEGREE) means that the front_to_back axis of the Object ?OBJ points in the direction ?DEGREE, with respect to magnetic North. |
| headingWRT真北 | (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 ?PLACE ?RATE) means that the Wind blowing above 25,000 feet at ?PLACE has a speed of ?RATE. |
| 在这段时间为真 | (holdsDuring ?TIME ?FORMULA) 的意思是 由 ?FORMULA 表示的命题在 ?TIME时段是事实。注:这意味着 ?FORMULA 在每一个 TimePoint 都是真的, TimePoint 是 ?TIME 一个的 temporalPart。 |
| 有执行义务 | 这是用来表达 Formula 和 CognitiveAgent 两者之间的一种关系,那就是 CognitiveAgent 有义务去实现 Formula 所指的。 |
| 有权利 | 这是用来表达 Formula 和 CognitiveAgent 两者之 间的一种关系,那就是 CognitiveAgent 有权利实现 Formula 所指的。 |
| 洞 | (hole ?HOLE ?OBJ)的意思是 ?HOLE 是在 ?OBJ 的一个 HoleRegion。 一个 HoleRegion 是位于一个 Object surface 可以被填满的部分。 |
| 在该地区度假 | (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. |
| 家庭地址 | (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 ?MAN ?WOMAN)的意思是 ?MAN 是 ?WOMAN 的 丈夫。 |
| 直接实例 | 如果一个物体是一个 SetOrClass 的 instance,而且它并不是该 SetOrClass 真正的子类别的 instance,那这个物体就是该 SetOrClass 的 immediateInstance。 |
| 直接子类别 | 一个 SetOrClass 的 ?CLASS1 是另一个 SetOrClass ?CLASS2 的 immediateSubclass, 为免 ?CLASS1 成为 ?CLASS2 的子类别,而 ?CLASS2 再没有子类别,这样 ?CLASS1 也是 ?CLASS2 的子类别。 |
| 居住 | 这是住在其他某样东西内最基本的概念。 (inhabits ?ORGANISM ?OBJECT)的意思是 ?OBJECT 是 ?ORGANISM 的住所(临时或永久的)、巢ホール如此类推。 |
| 投保 | (insured ?Contract ?Org) means that ?Contract is insured by the ?Organization. |
| 内在部分 | (interiorPart ?OBJ1 ?OBJ2)的意思是 ?OBJ1 是 ?OBJ2 的部分,而 ?OBJ1 和 ?OBJ2 的任何 superficialPart 之间并没有重叠的部分。 |
| 参与活动 | (involvedInEvent ?EVENT ?THING) 的意思是 在 ?EVENT这个 Process,?THING 这个 Entity 佔着一点 CaseRole。 |
| 司法部门 | (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) means that the leader of ?INSTITUTION is ?PERSON. |
| 领导职位 | (leaderPosition ?ORG ?ROLE) means that in the organization ?ORG, the leader is the person who holds the Position ?ROLE in the organization. |
| 立法部门 | (legislativeBranch ?BRANCH ?ORG) means that the Organization ?BRANCH is the legislative branch of the GeopoliticalArea or Organization ?ORG. |
| 失 | 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 ?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 ?PROCESS ?MANNER) 的意思是 ?PROCESS 这个 Process 由 ?MANNER 这个 Attribute 来修饰。 Processe 的 Attribute 通常以副词来表示,这些 包括像风的速度、一个舞蹈的风格或一种运动比赛竞争的激烈程度等。 |
| 计量 | 这是一个非常概括的 Predicate, 它用于断言一个特定的 Object 是由一种特定的 PhysicalQuantity 来量度。一般来说,这个 Predicate 的第二个参数会是由 Function MeasureFn 所产生的术语。 |
| 中等海拔风速 | (mediumAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing between 10,000-25,000 feet at ?PLACE has a speed of ?RATE. |
| 在时间上接着 | (meetsTemporally ?INTERVAL1 ?INTERVAL2) 的意思是 TimeInterval ?INTERVAL1 的终点是 TimeInterval ?INTERVAL2 起点。 |
| 组员 | 这是对属于 Collection 相同部分的专业常识概念。例如: 羊群中的每只羊,跟羊群间,是成员关系。 |
| 中间名字 | (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. |
| 语气属性 | 这是一种用来表示 Proposition 所含规范力度的 BinaryRelation。(modalAttribute ?FORMULA ?PROP)的意思是由 ?FORMULA 所表达的 Proposition 含有 NormativeAttribute ?PROP。例如:(modalAttribute (exists (?ACT ?OBJ) (and (instance ?ACT Giving) (agent ?ACT John) (patient ?ACT ?OBJ) (destination ?ACT Tom))) Obligation)的意思是约翰有义务要给汤姆一样东西。. |
| 货币价值 | 这是一个 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 ?OBJECT ?AGENT) means that ?AGENT determines how ?OBJECT is used, either by directly or indirectly operating it. |
| 轨道 | (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 ?CHILD ?PARENT)的意思是 ?PARENT 是 ?CHILD 的亲生父母。 |
| 含偏序关系 | 一个 BinaryRelation 在一个 SetOrClass 使部分顺序的,除非这个关系是在这个SetOrClass 是 reflexiveOn,而且它既是 AntisymmetricRelation 又是 TransitiveRelation。 |
| 部分填入 | (partiallyFills ?OBJ ?HOLE)的意思是?OBJ completelyFills ?HOLE 的某些部分。注:如果(partiallyFills ?OBJ1 ?HOLE)和 (part ?OBJ1 ?OBJ2)的话, 那么(partiallyFills ?OBJ2 ?HOLE)就属实。另外也要注意的是,一个把洞部分 填满的物体不需要完全在洞内(它可以突出洞的外面),即是所有能够把洞完全填满的物质也可符合作为(在有限的情况下) 一个把洞部分填满的物质。 |
| 密码 | (password ?Password ?Account) means that ?Password is the password associated with the UserAccount that the ComputerUser uses while logging onto a computer system. |
| 穿过 | (penetrates ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 和 ?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. |
| | 这是一个属于一个 Agent 和一个 Object 的 Relation,当这个 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 ?EVENT ?AMOUNT) means that in the Precipitation process ?EVENT, the quantity of precipitation that fell was ?AMOUNT. |
| 降水率 | (precipitationRate ?EVENT ?RATE) means that in the Precipitation ?EVENT, the precipitation falls at a rate of ?RATE. |
| 降水状态 | (precipitationState ?EVENT ?STATE) means that in the Precipitation ?EVENT, the stuff falling is in the PhysicalState ?STATE (e.g., Liquid or Solid ice). |
| 先备条件 | 这是一个十分概括的 Predicate。(precondition ?PROC1 ?PROC2) 的意思是 ?PROC2 的实例只能在 ?PROC1 的实例也存在的时候才能存在。 |
| 主要地缘政治细分 | (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 ?Abort ?Process) means that the ComputerProcess ?Process is aborted as the result of ?Abort. |
| 产品型号 | (productModel ?Model ?Product) means that ?Model represents the type of the Product ?Product |
| 利润 | The positive gain from an investment or business operation after subtracting for all expenses. |
| 程序副本 | (programCopy ?File ?Program) means that the ComputerFile ?File is one of the copies of the ComputerProgram ?Program. |
| 真正的部分 | (properPart ?OBJ1 ?OBJ2) 的意思是除了 ?OBJ2 本身 ?OBJ1 是 ?OBJ2 的一部分。 这是一个 TransitiveRelation 和 AsymmetricRelation (因此也是一个 IrreflexiveRelation)。 |
| 恰当填入 | (properlyFills ?OBJ ?HOLE)的意思是 ?HOLE 是真正的(但可能不是全部的)被 ?OBJ 填充了,即是 ?HOLE 的某些部分被 ?OBJ 完美的填充了。注: properlyFills 和 completelyFills 是成双的,因此它也和 partiallyFills 相关,一个 ?OBJ 会 properlyFills ?HOLE, 以防这个 ?OBJ partiallyFills 这个 ?HOLE 的每一个部分(故此, 在意义上每一个把洞完美填充的物质是既完整又适当的)。每一个洞和联系这个洞的适当填充物质的所有东西相连, 一个洞(的一部分)的完美填充物质的每一个适当的部分,适当的填充这个洞(它的一部分)。 |
| 范围 | 它为函数提供一个范围。就是说,(range ?FUNCTION ?CLASS) 的意思是,所有由 ?FUNCTION 所指定的值,都是这个 ?CLASS 的 instance。 |
| 体现 | 这是 represents 的一个子关系, (realization ?PROCESS ?PROP) 的意思是 ?PROCESS 是一个表达 ?PROP 内容的过程。例子包括:一个演绎 一分乐谱内容的特定音乐表演,或是讀一首诗。 |
| 含自反关系 | 一个 BinaryRelation 在一个 SetOrClass是自反 的除非这个 SetOrClass 的每一个实例戴着和自身相关的关系。 |
| resourceExhausted | (resourceExhausted ?PROCESS ?RESOURCE) 的意思是 ?RESOURCE 在 ?PROCESS 开始时存在、?PROCESS 利用了他、结果它完全被 ?PROCESS 消耗掉了。例如: 在以下'那飞机的燃料耗尽了,就丢到大海里了'这命题,燃料是个 resourceExhausted。 |
| 能够操作 | (runsOn ?Program ?Computer) means that ?Program is capable of running on ?Computer with its current configuration of installed software. |
| 海面温度 | (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 ?EVENT ?AGENT) means that ?AGENT is the supplier of the service provided in ?EVENT. |
| 受服务者 | (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 ?ATTR1 ?ATTR2) 的意思是在它们共同有的尺度上 Attribute ?ATTR2 是紧接着 ?ATTR1。 |
| 继任组织 | (successorOrganization ?OLD ?NEW) means that the Organization ?OLD was transformed or merged into, or otherwise succeeded by, the Organization ?NEW. |
| 表面 | (surface ?OBJ1 ?OBJ2)的意思是 ?OBJ1 和 ?OBJ2 的 superficialPart 是以最大的程度联系着。注:有些 SelfConnectedObject 有超过一块表面,例如: 一个像网球中空物体,就有内在和外在的表面。 |
| 系统测量的 | (systemMeasured ?Event ?System) means that ?Event is an event of measuring the performance of the ComputationalSystem ?System. |
| 任务 | (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 ?NUMBER ?AGENT) means that ?AutonomousAgent identifies a TelecomeNumber at which ?AutonomousAgent can be contacted |
| 区域内的地形 | (terrainInArea ?AREA ?ATTRIBUTE) means that the GeographicArea ?AREA is or includes a region with the features of TerrainArea ?ATTRIBUTE. |
| 时间 | 这个关系用于一个 Physical 实例 和一个 TimePosition 实例之间,以防前者所存在的的时间包含了后者的。 换句话说,(time ?THING ?TIME) 的意思是 ?THING 在 ?TIME 出现或发生。注: time 在于 Physical 实例,就相等于 holdsDuring 用在 Formula 的实例上,常数 located 和 time 分别是是基本的空间和时间谓词。 |
| 含全序关系 | 一个 BinaryRelation ?REL 在一个 SetOrClass 是一个完全的顺序的,除非对于这个 SetOrClass 里每一个?INST1 和 ?INST2, (?REL ?INST1 ?INST2) 或者是 (?REL ?INST2 ?INST1) 是部分顺序的。 |
| 运输 | (transported ?EVENT ?OBJ) means that ?OBJ is transported (carried/moved to a different physical location) in the Transportation ?EVENT. |
| 含三分律关系 | 一个 BinaryRelation ?REL 在一个 SetOrClass 属于三分关系,除非对于这个 SetOrClass 所有的 ?INST1 和 ?INST2 的实例, 起码任何以下一个 (?REL ?INST1 ?INST2),(?REL ?INST2 ?INST1) 或 (equal ?INST1 ?INST2) 是真的。 |
| 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 ?OBJECT AGENT) 的意思是 ?AGENT 在一个没有指定的 Process 所用的工具是 ?OBJECT,这个 Predicate 就如它的定义所说的,由CaseRole、agent 和 instrument 构成。 |
| 版本 | 有些 Artifact 的生命周期是由不相连的阶段或版本组成。 (version ARTIFACT1 ARTIFACT2)的意思是 ARTIFACT1 是 ARTIFACT2 的一个版本。注:这个 Predicate 只联系 Artifact 的子类别,而不联系它的实例。 |
| 波长 | (wavelength ?RADIATION ?MEASURE) means that the instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE. |
| 妻子 | (wife ?WOMAN ?MAN)的意思是 ?WOMAN 是 ?MAN 的妻子。 |
| 风的相对位置 | (windRelativePosition ?OBJECT ?POSITION) means that the Wind blows at ?OBJECT from the relative vector ?POSITION. E.g., Crosswind, Headwind, Tailwind. |
| 工作地址 | (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. |