Relationships
|
|
|
|
Parents |
2項関係 |
BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
|
|
InheritableRelation |
The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
|
|
述語 |
A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a Predicate is denoted by '(*predicate* arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of BinaryPredicates, the fact can be read as `arg_1 is *predicate* arg_2' or `a *predicate* of arg_1 is arg_2'.
|
Children |
BinaryRelationExtendedToQuantities | |
| 格役割 | 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. |
| SheddingPart | The Class of BinaryPredicates relating an Organism and the Removing of one of its Part as part of the normal process of life. Unlike Birth, the paitent dies upon its removal from the its origin. |
Instances | abbreviation | (abbreviation ?STRING ?THING) means that ?STRING is an abbreviation used to refer to ?THING. Abbreviations include acronyms and other abbreviated forms. |
| absorbedDose | The amount of energy imparted by nuclear (or ionizing) radiation to unit mass of absorbing material. The unit is the rad. |
| abstractCounterpart | (abstractCounterpart ?AB ?PHYS) は、 Physical エンティティの一部の次元で理想的なモデルである Abstract エンティティに Physical エンティティを関連付ける。 例:Abstract GraphNode は ComputerNetwork 内の実際の Computer の対応であると述べることができる。 |
| abstractionLevel | |
| accessibleFromMenu | The property accessibleFromMenu relates a file, computer process, or submenu to a ComputerMenu from which the object can be accessed. |
| accessibleFromMenuItem | |
| accommodationProvider | (accommodationProvider ?PKG ?ORG) means that ?ORG, which is a TravelerAccommodation business, will provide the accommodations for the HotelPackage ?PKG |
| accountAt | (accountAt ?Account ?Bank) means that ?Account is a FinancialAccount opened in the FinancialOrganization ?Bank. |
| accountAtSite | (accountAtSite ?ACCT ?SITE) means that the UserAccount ?ACCT is associate with the WebSite ?SITE. |
| accountHolder | (accountHolder ?Account ?Agent) means that ?Agent is the account holder of the FinancialAccount ?Account. |
| accountInformation | The UserAccount has some information associated with it, such as a birthdate or mailing address. |
| accountNumber | |
| accountPhoneNumber | |
| accountStatus | (accountStatus ?Account ?Status) is true if ?Status describes the status of the account, such as ActiveAccount, LockedAccount, NewAccount or PendingAccount. |
| accruedInterest | The accumulated coupon interest, paid to the seller of a bond by the buyer unless the bond is in default. |
| acquaintance | (acquaintance ?H1 ?H2) means that ?H1 has met and knows something about ?H2, such as ?H2's name and appearance. Statements made with this predicate should be temporally specified with holdsDuring. Note that acquaintance is not symmetric. For the symmetric version, see mutualAcquaintance. |
| conventionalShortName | (conventionalShortName ?NAME ?THING) means that the string ?NAME is the short form of the name conventionally used for ?THING. For a more specialized subset of short names, see abbreviation. |
| 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. |
| actedIn | (actedIn ?ACTOR ?O) means that the Human ?ACTOR was in the Process that produced the entity ?O |
| actionTendency | A tendency of an emotion to cause a particular type of action. |
| activityCapability | (activityCapability ?AGENT ?ACT) means that Process ?ACT can be located on the property owned by AutonomousAgent ?AGENT |
| adjacentOrientation | (adjacentOrientation ?OBJ1 ?OBJ2) means that ?OBJ1 has orientation Adjacent to ?OBJ2 |
| administrativeCenter | (administrativeCenter ?CENTER ?REGION) means that ?CENTER is the City (or other area) from which the larger GeopoliticalArea ?REGION is administered. |
| administrator | |
| advertisedOn | (advertisedOn ?OBJ ?SITE) means that there exists an instance of Advertising where ?OBJ is the patient of the Advertising and the advertising is a component of a WebPage which is a component of ?SITE. |
| affiliatedOrganization | |
| age | 単に Object の年齢を指定する ConstantQuantity に Object を関連付ける。 |
| agentName | (agentName ?STRING ?OBJ) means that ?STRING is a full or partial name for the AutonomousAgent ?OBJ. |
| agentOperatesInArea | (agentOperatesInArea ?AGENT ?AREA) means that the individual or Organization ?AGENT operates in the GeographicArea ?AREA. |
| 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)))). |
| agreementEffectiveDate | (agreementEffectiveDate ?AGREEMENT ?TIME) means that ?AGREEMENT goes into effect at TimePoint ?TIME, and remains an ActiveAgreement for TimeDuration ?DURATION. |
| 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. |
| agreementPeriod | (agreementPeriod ?AGREEMENT ?DURATION) holds if ?DURATION specifies a TimeDuration, which is the length of time that the ?AGREEMENT is ActiveAgreement. |
| agriculturalProductType | (agriculturalProductType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA produces a crop or other agricultural product of ?TYPE. |
| aimOfOrganization | (aimOfOrganization ?GROUP ?DESCRIPTION) means that the Organization ?GROUP has the purpose ?DESCRIPTION, formulated as a quoted text. |
| airQualityIndex | The U.S. AQI is EPA’s index for reporting air quality. The components of this metric are: ground_level ozone, particle pollution (also known as particulate matter, including PM2.5 and PM10), carbon monoxide, sulfur dioxide and nitrogen dioxide. See https://www.airnow.gov/aqi/aqi_basics/ |
| airTemperature | (airTemperature ?AREA ?TEMP) means that the temperature of the air at ?AREA is ?TEMP. Temperature may be expressed in units of TemperatureMeasure, including CelsiusDegree and FahrenheitDegree, among others. |
| albumArtist | (albumArtist ?A ?P) means that Album ?A features CognitiveAgent ?P as one of its main contributors |
| albumCoverImage | (albumCoverImage ?A ?I) means that Album ?A is represented by Image ?I. When a DataStorageDevice containing Album ?A, its container would normally have the image on its front. |
| albumLength | (albumLength ?A ?T) means that TimeDuration ?T is the time it takes to view / listen to all Recording in Album ?A |
| albumRelease | (albumRelease ?A ?T) means that by TimePoint ?T, (AlbumCopiesFn ?A ?DS) was releaseForSale in some location. |
| albumTrack | (albumTrack ?A ?T) means that Recording ?T is part of Album ?A |
| albumType | (albumType ?A ?ATTR) means that RecordingAttribute ?ATTR describes the contents of Album ?A |
| 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. |
| allegiance | (allegiance ?AGENT ?ENTITY) means that the CognitiveAgent ?AGENT owes its allegiance to the political entity ?ENTITY. |
| allergic | (allergic ?H ?S) means that a human ?H develops an AllergicReaction to a class of substance ?S when coming into contact with it. |
| almaMater | (almaMater ?PERSON ?ORG) means that ?PERSON enrolled for a higher degree at insititution ?ORG, in principle to complete an academic degree. |
| amountCharged | (amountCharged ?Fee ?Amount) means that ?Amount is the amount of the fee charged. |
| ancestor | The transitive closure of the parent predicate. (ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the parent of ?DESCENDANT or the parent of the parent of DESCENDANT or etc. |
| ancestorOrganization | (ancestorOrganization ?ORG1 ?ORG2) means that the Organization ?ORG1 descended from the Organization ?ORG2. |
| angleOfFigure | (angleOfFigure ?ANGLE ?FIGURE) means that the TwoDimensionalAngle ?ANGLE is part of the GeometricFigure ?FIGURE. |
| angularMeasure | (angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has ?MEASURE. |
| anniversary | (anniversary ?PHYSICAL ?TIME) means that ?TIME is the class of TimeIntervals which mark the anniversary of ?PHYSICAL. For example, (anniversary Christmas (DayFn 25 December)) means that Christmas is celebrated each year on the 25th of December. |
| annualElectricityConsumption | (annualElectricityConsumption ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA uses ?AMOUNT of electricity (measured in KilowattHours) annually. |
| annualElectricityExport | (annualElectricityExport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA exported the total ?AMOUNT of electricity (measured in KilowattHours) annually. |
| annualElectricityImport | (annualElectricityImport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA imported the total ?AMOUNT of electricity (measured in KilowattHours) annually. |
| annualElectricityProduction | (annualElectricityProduction ?AREA ?AMOUNT) means that the amount of electricity generated annually in the GeographicalArea ?AREA is ?AMOUNT, measured in KilowattHours. |
| annualExpendituresOfArea | (annualExpendituresOfArea ?AREA ?AMOUNT) means that the annual budgetary expenditures of the GeopoliticalArea ?AREA are ?AMOUNT, calculated in U.S. dollars according to the currency exchange rate method. |
| annualExportTotal | (annualExportTotal ?AREA ?AMOUNT) means that the total value of exports from the GeopoliticalArea ?AREA is ?AMOUNT (in UnitedStatesDollars) annually. Export value is calculated on a Free on Board (F.O.B.) basis. |
| annualImportTotal | (annualImportTotal ?AREA ?AMOUNT) means that the total value of imports to the GeopoliticalArea ?AREA is ?AMOUNT (in UnitedStatesDollars) annually. Import value is calculated on a Cost, Insurance, and Freight (C.I.F.) or a Free on Board (F.O.B.) basis. |
| annualRevenuesOfArea | (annualRevenuesOfArea ?AREA ?AMOUNT) means that the annual budgetary revenues of the GeopoliticalArea ?AREA are ?AMOUNT, calculated in U.S. dollars according to the currency exchange rate method. |
| antagonistMuscles | A relation between two Muscles that put opposing forces on a part of the body. |
| anthem | (anthem ?M ?O) means that Music ?M is adopted as a song that represents Object ?O. This is most commonly used for Nations and royal families. |
| applicableRelation | A relationship used in creating user interfaces from SUO-KIF that indicates where a relation should be presented as a value that a user can set for an Object. Note that this is more specific that domain, although it must be consistent with that type specification. |
| appraisedValue | |
| approves | (approves ?AGENT1 ?AGENT2) means that ?AGENT1 is satisfied that ?AGENT2 has met some requirement or proposition, and publicly declares such |
| approximateDiameter | The diameter of an object if it were a perfect sphere of the same volume |
| approximateValue | A relation that specifies two numbers are equal or nearly so. |
| arableLandArea | (arableLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has ?AMOUNT of land under cultivation with crops that are replanted after each harvest. Cf. permanentCropLandArea. |
| arcLength | arcLength is the geometricDistance between two GeometricPoints of a CircularArc.[Wikipedia] |
| arcWeight | この述部は、Graph の GraphArc の値を示す。これ は、ロードネットワーク内のロードの長さ、または配管システムのパイプの流動率にマップできる。 |
| 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. |
| associateInOrganization | (associateInOrganization ?AGENT ?GROUP) means that ?AGENT is associated in some way with the Group ?GROUP. This includes participation as a guest or observer, as well as being a full member. See member for a more specific relation. |
| associatedFunctionality | (associatedFunctionality ?PSA ?PMBFR) means that holding the structural attribute ?PSA increases the likelihood that the holder of that attribute plays the role that defines members of ?PMBFR, i.e., there is at least some correlation between the structural attribute and the salient role. |
| atTheMoney | A term that describes an option with a strike price that is equal to the current market price of the underlying stock. |
| 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. |
| attorney | The role of being an attorney in a LegalAction. Note that this encompasses being an attorney for defense, prosecution or parties in civil cases. |
| attribute | (attribute ?OBJECT ?PROPERTY) とは、 ?PROPERTY が、?OBJECTの Attribute という意味である。 例:(attribute MyLittleRedWagon Red)。 |
| aunt | (aunt ?AUNT ?PERSON) means that ?AUNT is the sister of a parent of ?PERSON. |
| authors | (authors ?AGENT ?TEXTCLASS) means that ?AGENT is creatively responsible for the content of all instances of ?TEXTCLASS. For example, Agatha Christie is author of Murder-on-the-Orient-Express. |
| average | List を RealNumber に関連付ける部分関数で、 Listに RealNumber であるリスト要素のみが含まれる。List に関連付けられた RealNumber は、 List の RealNumber の数学的平均をリスト要素の総数で割った値に等しい。 |
| axis | (axis ?A ?OBJ) means that a part ?A of an Object ?OBJ is the axis of rotation in a Rotating. |
| bandwidth | (bandwidth ?NET ?BANDWIDTH) holds if ?BANDWIDTH is the amount of data which can be sent through an instance of a ComputerNetwork ?NET. |
| bankAccount | (bankAccount ?Type ?Bank) holds if ?Type is a type of the financial accounts offered by the bank. |
| baptizeddate | (baptizeddate ?PERSON1 ?DAY) means that ?DAY is the day on which ?PERSON1 was baptized. |
| baptizedplace | (baptizedplace ?PERSON ?PLACE) means that ?PLACE is the place where the ?PERSON was baptized. |
| barometricPressure | (barometricPressure ?AREA ?PRESSURE) とは、 ?AREAで測定される大気圧はPであることを意味する。気圧は通常、InchMercury または MmMercury の単位で表される。例:標準の海面圧力は水銀の 29.92 インチ (760 mm) : (barometricPressure SeaLevel (MeasureFn 29.92 InchMercury))。 |
| batchInterArrival | (batchInterArrival ?PATH ?TIME) holds if ?TIME is the maximum allowable time between processing of a particular element of a continuous or quasicontinuous path's data stream in successive cycles. |
| batchLatency | (batchLatency ?PATH ?TIME)holds if ?TIME is the maximum allowed latency for all cycles of a quasicontinuous path. |
| beforeOrEqual | (beforeOrEqual ?POINT1 ?POINT2) とは、 ?POINT1 が ?POINT2 と同一であるか、ユニバーサル タイムライン上で発生する前に発生することを意味 する。 |
| believes | 信念の認識的述語。(believes ?AGENT ?FORMULA) とは、AGENT が?FORMULA によって表される命題を信じていることを意味する。 |
| benchmark | A standard by which something can be measured or judged. |
| 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. |
| amountOfBid | A CaseRole of Bidding identifying the CurrencyMeasure of the bid. |
| crossFunctionalTeamFocus | (crossFunctionalTeamFocus ?FOCUS ?TEAM) means that ?FOCUS is inScopeOfInterest of each member of CrossFunctionalTeam ?TEAM. |
| biochemicalAgentDelivery | (biochemicalAgentDelivery ?AGENT ?PROCESS) means that the Process ?PROCESS is capable of infecting an organism with the BiochemicalAgent ?AGENT when the organism is the experiencer and the ?AGENT the patient of an instance of ?PROCESS. |
| biochemicalAgentSyndrome | Relates a subclass of BiochemicalAgent to a DiseaseOrSyndrome that is caused by or often associated with the BiochemicalAgent. |
| bioindicatorForHabitat | (bioindicatorForHabitat ?AREA ?SPECIES) means that the health of the individuals in ?SPECIES indicates the condition of their habitat in the GeographicArea ?AREA. |
| biologicalAgentCarrier | (biologicalAgentCarrier ?AGENT ?ORGANISM) means that the subclass of Organism ?ORGANISM is a carrier of the subclass of BiologicalAgent ?AGENT. |
| birthdate | (birthdate ?PERSON ?DAY) means that ?DAY is the Day on which the ?PERSON was born. |
| birthday | (birthday ?PERSON ?DAY) means that ?DAY is the anniversary each year of the birth of ?PERSON. For example, (birthday WilliamJeffersonClinton (DayFn 19 August)) means that Bill Clinton's birthday is August 19th. |
| birthplace | (birthplace ?INDIV ?PLACE) means that the Animal ?INDIV was born at the location ?PLACE. The location may be a geographic area or a building, such as a hospital. |
| bloodVolume | The Quantity of Blood present in a Human. A Liter of blood weights 2.33 pounds (according to https://www.aqua_calc.com/calculate/volume_to_weight) or 1060 kg/m3 (Wikipedia) and 7 percent of a HumanAdult's weight. |
| boilingPoint | The temperature at which a PureSubstance changes state from a Liquid to a Gas. |
| bondRating | A measure of the quality and safety of a bond, based on the issuer's financial condition. More specifically, an evaluation from a rating service indicating the likelihood that a debt issuer will be able to meet scheduled interest and principal repayments. Typically, AAA is highest (best), and D is lowest (worst). |
| borrower | (borrower ?Loan ?Agent) means that ?Agent is a borrower of the ?Loan |
| bottom | (bottom ?BOTTOM ?OBJECT) は、?BOTTOM が ?OBJECT の最も低い部分または最も深い表面的な部分である場合、保持される。 |
| brandIcon | (brandIcon ?BRAND ?ICON) means that Icon ?ICON is associated with Brand ?BRAND |
| burialplace | (burialplace ?INDIV ?PLACE) means that ?PLACE is the place where ?INDIV was buried. |
| burnInPeriod | (burnInPeriod ?EXPERIMENT ?INTERVAL) means that the TimeInterval ?INTERVAL, which occurs at the begining of the Experimenting ?EXPERIMENT, is a period not counted when the data are being analyzed. |
| businessHours | (businessHours ?TIMEINT ?AGENT) means that an ?AGENT conducts business_related activities during ?TIMEINT |
| businessUnit | A BinaryPredicate relating an Organization to a Business, specifying that the Organization is a subOrganization of the Business, the organization is the agent of some process that benefits the Business, and there is something specific that is inScopeOfInterest of the Organization. |
| callDate | Date, prior to maturity, on which a callable bond may be redeemed. |
| canRunOn | A weaker relation than runOn that says merely that a properly configured computer should be able to run the given software. |
| capacity | (capacity ?OBJ ?QUANTITY) means that ?OBJ can contain something that has the measure of ?QUANTITY. This predicate denotes maximal capacity, i.e. ?OBJ can hold no more than ?QUANTITY. Note, however, that this does not mean that capacity is a SingleValuedRelation, since an object may have various maximal capacities across different dimensions, e.g. a particular box may have a capacity of 3 pounds and a capacity of 1 liter. |
| capitalCity | (capitalCity ?CITY ?REGION) means that the City ?CITY is the capital of the GeopoliticalArea ?REGION. |
| capitalExpendituresOfArea | (capitalExpendituresOfArea ?AREA ?AMOUNT) means that the annual capital expenditures of the GeopoliticalArea ?AREA are ?AMOUNT, calculated in U.S. dollars according to the currency exchange rate method. This figure is a portion of the annualExpendituresOfArea for ?AREA. |
| cardAccount | (cardAccount ?Card ?Account) means that ?Account is the FinancialAccount linked to a BankCard ?Card. |
| cardCode | (cardCode ?Code ?Card) means that ?Code represents the account number of the BankCard ?Card. |
| cardinality | (cardinality ?SET ?NUMBER) means that there are ?NUMBER of elements in the SetOrClass ?SET. |
| cargo | (cargo ?EVENT ?OBJ) means that ?OBJ is transported as cargo in the Shipping event ?EVENT. |
| cargoType | (cargoType ?DEVICE ?TYPE) means that the TransportationDevice ?DEVICE typically carries cargo of the kind ?TYPE. |
| 搬送波周波数 | 周波数変調として符号化された搬送波信号の周波 数(FM) |
| carries | (carries ?AGENT ?OBJECT) means that an AutonomousAgent ?AGENT transfers an Object ?OBJECT from one point to another |
| catalogItem | (catalogItem ?OBJ ?CATALOG) means that an instance of ?OBJ is a member of ?CATALOG |
| categoryID | (categoryID ?STRING ?CAT) Associates an Identifer ?STRING to a WebListingCategory ?CAT. They are likely to be unique. |
| categoryOf | A BinaryPredicate which relates a WeblistingCategory to a WebSite that uses that category to organize its listings. |
| 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) など。 |
| cellShape | Bacteria (Bacterium) and Archaea (ArchaelCell) are classified by direct examination with the light microscope according to their morphology and arrangement. The basic morphologies are Spheres (coccus) and round_ended or rod_shaped Cylinders (bacillus). But there may be others such as helically twisted cylinders (spirochetes), cylinders curved in one plane (selenomonads) and unusual morphologies (such as the square, flat box_shaped cells of the archaean genus Haloquadratum). Arrangements include pairs, tetrads, clusters, chains and palisades. [from Wikipedia] |
| chamberOfLegislature | (chamberOfLegislature ?CHAMBER ?LEGISLATURE) means that ?CHAMBER is a legislative body within the ?LEGISLATURE. |
| checkAccount | (checkAccount ?Check ?Account) means that ?Account is the FinancialAccount from which the amount specifed on the check is paid. |
| checkNumber | The number associated with a check. |
| checkInTime | (checkInTime ?HOTEL ?TIME) means that TravelerAccomodation ?HOTEL only starts CheckInService after ?TIME |
| checkOutTime | (checkOutTime ?HOTEL ?TIME) means that TravelerAccommodation ?HOTEL expects guests to CheckOutService before ?TIME |
| chiefOfStateType | (chiefOfStateType ?NATION ?ROLE) means that the chiefOfState of the GeopoliticalArea ?NATION holds the Position ?ROLE in its government. |
| chromosomeNumber | chromosomeNumber is a BinaryPredicate indicating the total number of Chromosomes contained in the CellNucleus of a EukaryoticCell. |
| circumference | (circumference ?CIRCLE ?LENGTH) means that the circumference of the Circle ?CIRCLE has a circumference of ?LENGTH. |
| citizen | (citizen ?PERSON ?NATION) means that the Human ?PERSON is a citizen of Nation ?NATION. |
| claimedTerritory | (claimedTerritory ?AREA ?POLITY) means that some right over the GeographicArea ?AREA is claimed by the AutonomousAgent or GeopoliticalArea ?POLITY. If two politically independent states or agents claim the same area, that area is a 'disputed territory'. |
| climateTypeInArea | (climateTypeInArea ?REGION ?TYPE) means that all or part of the GeographicArea ?REGION is of the Attribute of ClimateZone ?TYPE. |
| closedOn | BinaryFunction は、SetOrClass のすべてのインス タンスに対して定義され、その値が常に SetOrClass のインスタンスである場合、SetOrClass で閉じ られる。 |
| cloudCoverFraction | (cloudCoverFraction ?AREA ?AMOUNT) means that in the Region ?AREA, the fraction ?AMOUNT of the sky is covered with clouds. |
| coaches | (coaches ?COACH ?PLAYER) means that the Human ?COACH is the Coach of the Human ?PLAYER |
| 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. |
| cohabitant | (holdsDuring ?T1 (cohabitant ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 have the same home. |
| coilCount | The number of windings in a WireCoil. |
| coldSeasonInArea | (coldSeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the cold season occurs during the TimeInterval ?INTERVAL. |
| collectRate | (collectRate ?System ?Period) holds if ?Period is the period at which ComputationalSystem ?System collects data. |
| colocatedAgent | (colocatedAgent ?ORG1 ?ATTR1) means that an Organization with Attribute ?ATTR1 is colocated with ?ORG1 |
| color | |
| commandLineArguments | (commandLineArguments ?PROGRAM ?LIST) means that the application ?PROGRAM requires command line arguments, as specified in ?LIST. |
| commandRankOfEchelon | The typical MilitaryRank of the leader of an instance of the given MilitaryEchelon. |
| commemoratesDate | (commemoratesDate ?HOLIDAY ?DATE) means that instances of the Holiday ?HOLIDAY are observed to commemorate something that happened during the TimeInterval specified by ?DATE. For example, (commemoratesDate BastilleDay (DayFn 14 (MonthFn July (YearFn 1789)))). |
| commentator | (commentator ?AGENT ?PROCESS) means that some AutonomousAgent ?AGENT is Looking at some Process ?PROCESS and Speaking about it simultaneously. |
| complexity | (complexity ?System ?Attribute) holds if ?Attribute is a TimingRequirementAttribute which describes the RealtimeSystem ?System. |
| component | 複合体の不均一な部品の専門常識の概念。 (component ?COMPONENT ?WHOLE) とは、?COMPONENTが?WHOLEのコンポーネント、という意味である。コンポーネントの 例として、家のドアや壁、国の州、または動物の手足や臓器など。 part の下位関係である piece を を比較する。 |
| composer | (composer ?AGENT ?COMPOSITION) means that CognitiveAgent ?AGENT created MusicalComposition ?COMPOSITION |
| compressionRatio | The ratio of the volume of the CombustionChamber of the EngineCylinder at the maximum point of compression of the cylinder, to the volume of the chamber with the piston fully retracted. |
| computerResponseTo | (computerResponseTo ?Response ?Request) means that ?Response is a ComputerResponse to the UserRequest ?Request. |
| computerRunning | (computerRunning ?Process ?Computer) means that the ComputerProcess ?Process is running on ?Computer. |
| 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. |
| confidenceInterval | (confidenceInterval ?EXPERIMENT ?CONFIDENCE) is meant to represent the confidence interval of the conclusions of ?EXPERIMENT. ?CONFIDENCE is a number which represents the percentage of the confidence interval. It represents the ProbabilityFn of the results. |
| pValue | (pValue ?EXPERIMENT ?VALUE) is meant to represent the p_value of the conclusions of ?EXPERIMENT. ?VALUE is a number which represents the percentage of the confidence interval. It represents the ProbabilityFn of the results. |
| confirmationNumber | |
| confirmedRegisteredUser | (confirmedRegisteredUser ?AGENT ?SITE) means that the AutonomousAgent ?Agent is a registeredUser of WebSite ?SITE, and has confirmed that registration by responding to a registration email. |
| conforms | (conforms ?OBJ ?PROP) describes how ?OBJ follows the ideas outlined by ?PROP |
| conjugate | (conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical CompoundSubstances except that one has one more Proton than the other. |
| connected | (connected ?OBJ1 ?OBJ2) とは、?OBJ1 meetsSpatially ?OBJ2または ?OBJ1 overlapsSpatially ?OBJ2 という意味である。 |
| connectedBodyPart | A Relation between Classes of parts of a Healthy Animal that are connected. |
| connectedDownstream | (connectedDownstream ?OBJ1 ?OBJ2) means that ?OBJ1 is connected, remotely or immediately, with ?OBJ2 along a directed system such as a RiverSystem. |
| connectedPeripheral | A relationship between a ComputerOutputDevice and Computer that they are physically and logically connected. They should be able to perform any communication and handshaking functions needed for normal operation. For modern peripherals this includes being 'mounted' or recognized as being present by the computer, with a device ID in a table of available peripheral devices. |
| considers | (considers ?AGENT ?FORMULA) とは、AGENT が ?FORMULAによって表明された命題の真実について考慮または疑問に思っていることを意味する。 |
| consistent | (consistent ?PROP1 ?PROP2) means that the two Propositions ?PROP1 and ?PROP2 are consistent with one another, i.e. it is possible for both of them to be true at the same time. |
| constructionPeriod | (constructionPeriod ?OBJECT ?INTERVAL) means that some StationaryArtifact ?OBJECT was built over TimeInterval ?INTERVAL |
| contains | 2つの分離可能なオブジェクトの空間コンテインメントの 関係。2つのオブジェクトが分離できない場合(例:自動車とその座席の1つ)、part の関係を使用する必要が ある。 (contains ?OBJ1 ?OBJ2) とは、SelfConnectedObject ?OBJ1 にスペース (すなわち HoleRegion) があることを意味し、少なくとも部分的に?OBJ2で満たされている)。 |
| containsFormula | The analogue to containsInformation for a Formula. The Formula is contained in or expressed by the Physical. This could capture the relation between a stop sign and the fact that it expresses the directive to stop moving momentarily, or that a Waving signifies a friendly greeting. |
| containsInformation | represents の下位関係。 この述語は、 ContentBearingPhysical を Proposition に関し、ContentBearingPhysical で表現される。 例として、物理的な小説とその物語の間の関係や、印刷されたスコアとその音楽コンテンツの関係など。 |
| contestOrganizer | (contestOrganizer ?CONTEST ?ORG) means that CognitiveAgent ?ORG is responsible for managing and organizer Contest ?CONTEST |
| contractor | (contractor ?BUILDING ?AGENT) means that some AutonomousAgent ?AGENT has a contract with another ?AGENT to build a StationaryArtifact for the agent. |
| contrastRatio | The contrast ratio is a property of a display system, defined as the ratio of the luminance of the brightest color (white) to that of the darkest color (black) that the system is capable of producing. A high contrast ratio is a desired aspect of any display. It has similarities with dynamic range. (from Wikipedia) |
| controlGroup | (controlGroup ?COLLECTION ?EXPERIMENT) means that ?COLLECTION is the group of all agents who have experienced an experimentalControlProcess of ?EXPERIMENT, where ?EXPERIMENT is an instance of Experimenting. |
| conversionEvent | (conversionEvent ?EXP ?PROC) specifies that a Process ?PROC is considered a conversionEvent, i.e. a success event, in the context of Experimenting ?EXP |
| cooccur | (cooccur ?THING1 ?THING2)とは、Object または Process ?THING1 が Object または Process ?THING2 と同時に起こることを意味し、これは次の 時間的関係をカバーする: 共に同時発生する。 |
| coolSeasonInArea | (coolSeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the cool season occurs during the TimeInterval ?INTERVAL. For example, (coolSeasonInArea Angola (RecurringTimeIntervalFn May October |
| coordinates | (coordinates ?PROCESS1 ?PROCESS2) means that ?PROCESS1 coordinates ?PROCESS2 |
| copy | Object を Object の正確なコピーに関連付け、 正確なコピーは(おそらく)空間的および/または時間的な場所を除くすべてのプロパティに関して元のコピーと 区別できない。 |
| coreBodyTemp | Core temperature, also called core body temperature, is the operating temperature of an Organism, specifically in deep structures of the body such as the Liver, in comparison to temperatures of peripheral tissues. Core temperature is normally maintained within a narrow range so that essential enzymatic reactions can occur. Significant core temperature elevation (Hyperthermia) or depression (Hypothermia) over more than a brief period of time is incompatible with Human life. Temperature examination in the Heart, using a catheter, is the traditional gold standard measurement used to estimate core temperature (oral temperature is affected by hot or cold drinks, ambient temperature fluctuations as well as mouth-breathing). Since catheters are highly invasive, the generally accepted alternative for measuring core body temperature is through measurements in the Rectum. [from Wikipedia] |
| couponInterest | (couponInterest ?BOND ?INTEREST) means that ?INTEREST is the periodic interest payment made to bondholders during the life of the ?BOND. |
| cousin | (cousin ?PERSON1 ?PERSON2) means that ?PERSON1 and ?PERSON2 are cousins, i.e. ?PERSON1 and ?PERSON2 have grandparents (but not parents) in common. |
| covers | A relationship of partial or complete physical covering, which may be the result of a Covering. To cover an object, the first object must at least roughly conform to the surface of the second object. |
| coworker | (holdsDuring ?T1 (coworker ?H1 ?H2)) means that during time ?T1, ?H1 and ?H2 are both employed by the same agent, are of roughly the same job status, and come into contact at least part of the time at the same work location. |
| creator | (creator ?AGENT ?ENTITY) means that some AutonomousAgent ?AGENT is the creator of some Entity ?ENTITY |
| creditLimit | (creditLimit ?ACCOUNT ?AMNT) holds if ?AMNT is the maximum amount of credit that a bank or other lender will extend to a customer. |
| creditRanking | (creditRanking ?Agent ?Rating) holds if ?Rating is a FinancialRating based on financial analysis by a credit bureau, of one's financial history, specifically as it relates to one's ability to meet debt obligations. Lenders use this information to decide whether to approve a loan. |
| criticalityLevel | (criticalityLevel ?PROGRAM ?INTEGER) holds just in case ?INTEGER indicates the relative priority of ?PROGRAM with respect to other applications within the SoftwareSystem. |
| currencyCode | (currencyCode ?CODE ?UNIT) means that ?CODE is the InternationalOrganizationForStandardization (ISO) 4217 alphabetic currency code for the national CurrencyMeasure ?UNIT. |
| currencyExchangePerUSDollar | (currencyExchangePerUSDollar ?AMOUNT ?PERIOD) means that one UnitedStatesDollar is worth ?AMOUNT (in a non-U.S. CurrencyMeasure), during the TimeInterval indicated by ?PERIOD. The rate of exchange may be based either on international market forces or official fiat. |
| currencyExchangeRate | (currencyExchangeRate ?UNIT ?AMOUNT) means that the currency denomination ?UNIT is worth ?AMOUNT (which is in another CurrencyMeasure). |
| currencyType | (currencyType ?AREA ?UNIT) means that the official currency used in the GeopoliticalArea ?AREA is the UnitOfMeasure ?UNIT. |
| currencyValue | The currencyValue is a relation between a physical instrument of currency, such as a bill or coin, and the measure of its worth in a particular currency. |
| 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. |
| cylinderBore | The diameter of a cylindrical HoleRegion. |
| dampingRatio | (dampingRation ?SYSTEM ?NUM) is a measure of to what degree a system is free to oscillate or not. In an overdamped system ?NUM is greater than 1. The system returns (exponentially decays) to equilibrium without oscillating. Larger values of the damping ratio signify a return to equilibrium more slowly. In a critically damped ?NUM equals 1. The system returns to equilibrium as quickly as possible without oscillating. This is often desired for the damping of systems such as doors. In an underdamped system 0 < ?NUM < 1. The system oscillates (at reduced frequency compared to the undamped case) with the amplitude gradually decreasing to zero. Finally, in an undamped system ?NUM is 0. The system oscillates at its natural resonantFrequency. [adapted from Wikipedia]. |
| dataProcessed | The data being processed during a ComputerProcess. |
| dataStreamSlack | (dataStreamSlack ?PATH ?N) means that a continuous or quasicontinuous path ?PATH should be able to process ?N additional data items at any time. |
| dataID | (dataID ?PROGRAM ?NUMBER) holds if ?NUMBER is a small number associated with an instance of MonitoringProgram. |
| date | BinaryPredicate は、特定の O または P に対して、1日 の解像度で、絶対暦時間に TimePosition を指定する。 |
| dateDissolved | (dateDissolved ?THING ?TIME) means that the Physical ?THING was dissolved, disbanded, or superseded on the date indicated by ?TIME. For example, (dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999)))). |
| dateEstablished | (dateEstablished ?THING ?TIME) means that the Physical ?THING was founded on the date indicated by ?TIME. For example, (dateEstablished UnitedNations (DayFn 26 (MonthFn June (YearFn 1945)))). |
| dateOfStatement | (dateOfStatement ?Statement ?Date) holds if ?Date is the date when BankStatement was issued. |
| dateOpenedForSignature | (dateOpenedForSignature ?PROP ?DATE) means that as of a date indicated by ?DATE, document(s) may officially be signed (by the appropriate agents) to effect commitments to the Agreement ?PROP. |
| daughter | The general relationship of daughterhood. (daughter ?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT. |
| dayPhone | (dayPhone ?Phone ?Agent) means that ?Phone is a phone number corresponding to the phone at which ?Agent can be reached during the day. |
| deathdate | (deathdate ?PERSON ?DAY) means that ?DAY is the Day on which the ?PERSON died. |
| deathplace | (deathplace ?INDIV ?PLACE) means that the Animal ?INDIV died at the location ?PLACE. The location may be a geographic area or a building, such as a hospital. |
| deceptiveIdentifier | (deceptiveIdentifier ?OBJ ?AGENT) means that ?AGENT presents ?OBJ as a representation of ?AGENT's `true' identity, when in fact it is not. |
| decreasesLikelihood | 基本的な ProbabilityRelation。 (decreasesLikelihood ?FORMULA1 ?FORMULA2)とは、?FORMULA1が正しい場合、?FORMULA2が正しい可 能性が高いことを意味する。 |
| defaultMaximumHeight | A BinaryPredicate that states the assumed maximum height of an Object |
| defaultMaximumLength | A BinaryPredicate that states the assumed maximum length of an Object |
| defaultMaximumMeasure | A BinaryPredicate that states the assumed maximum measure of an Object |
| defaultMaximumSphereRadius | A BinaryPredicate that states the assumed maximum sphereRadius of a spherical Object |
| defaultMaximumWidth | A BinaryPredicate that states the assumed maximum width of an Object |
| defaultMeasure | A BinaryPredicate that states the assumed measure of an Object |
| defaultMinimumHeight | A BinaryPredicate that states the assumed minimum height of an Object |
| defaultMinimumLength | A BinaryPredicate that states the assumed minimum length of an Object |
| defaultMinimumMeasure | A BinaryPredicate that states the assumed minimum measure of an Object |
| defaultMinimumSphereRadius | A BinaryPredicate that states the assumed minimum sphereRadius of a spherical Object |
| defaultMinimumWidth | A BinaryPredicate that states the assumed minimum width of an Object |
| defaultNetwork | (defaultNetwork ?SYSTEM ?NET) holds if ?NET is the default network of the HardwareSystem ?SYSTEM. |
| deliveryRegion | (deliveryRegion ?AGENT ?REGION ?DELIVERY) means that ?AGENT only does a DeliveryService if the destination is within ?REGION |
| dependencyDelay | if the dependency type is StartupBlock, then (dependencyDelay ?PROGRAM ?TIME) means that the application ?PROGRAM can only be started after a dependency delay of ?TIME after the startup of the application. If the dependency type is ShutdownBlock, then (dependencyDelay ?PROGRAM ?TIME) means that the application ?PROGRAM can only be stopped after a dependency delay of ?TIME after the application is stopped. |
| dependencyType | (dependencyType ?PROGRAM ?TYPE) means that ?PROGRAM has a dependency type ?TYPE, where ?TYPE can be either StartupBlock or ShutdownBlock. |
| describes | (describes ?FORMULA ?OBJECT) means that some Formula ?FORMULA, as said by some AutonomousAgent regarding some Object ?OBJECT |
| designPattern | (designPattern ?System ?Attribute) holds if ?Attribute is a DesignPatternAttribute which describes the RealtimeSystem ?System. |
| desires | (desires ?AGENT ?FORMULA) とは、?AGENT が ?FORMULA によって表現された事態の状態をもたらすことを望んでいることを意味する。 注1:エージェント が望むものが既に正しくないという結果はない。 注2:また、desires は前者が PropositionalAttitude であるのに対し、wants は ObjectAttitude であるという点でのみ wants と区別される。 |
| 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. |
| deviceAccount | A UserAccount on a particular Computer. it grants some degree of authority to use the resources of the computer once a LoggingIn has been completed or if it is a machine without a required login then anyone can use it, at least in some fashion, without credentials. A machine might have an open account with one set of privileges and a different account, requiring a login, for a different set of privileges. |
| deviceState | (deviceState ?DEVICE ?STATE) means that the Object ?DEVICE is in the DeviceStateAttribute ?STATE. |
| deviceTelecomNumber | (deviceTelecomNumber ?TelecomNumber ?TelephonyDevice) means that ?TelephonyDevice is identified, and can be accessed, by ?TelecomNumber. |
| diameter | (diameter ?CIRCLE ?LENGTH) とは、Circle ?CIRCLEの直径が ?LENGTH の長さを有することを意味する。 |
| diastolicBloodPressure | The systole is the part of the cardiac cycle during which some chambers of the heart muscle relax after refilling with blood. Diastolic pressure is the lowest pressure in the arteries during this period. [from Wikipedia]. |
| diplomaticRelations | (diplomaticRelations ?COUNTRY1 ?COUNTRY2) means that there are official diplomatic relations between the two Nations ?COUNTRY1 and ?COUNTRY2. |
| directed | (directed ?DIRECTOR ?MOVIE) means that the Human ?DIRECTOR was in charge of the FilmMaking Process that produced the MotionPicture ?MOVIE |
| directoryOf | (directoryOf ?FILE ?DIRECTORY) means that the ComputerFile ?FILE is in the ComputerDirectory ?DIRECTORY. Note that the directory of a file is a component of the fully qualified name specification given to the relation filename. Note also that the directory does not include the specification of a machine location on the Internet. See filename for more information. |
| disapproves | (disapproves ?AGENT ?FORMULA) means that ?AGENT has a feeling of antipathy to the state of affairs represented by ?FORMULA, i.e. ?AGENT believes that the realization of ?FORMULA will thwart one of his/her goals. Note that there is no implication that what is disapproved of by an agent is not already true. |
| discography | (discography ?A ?D) means that CognitiveAgent ?A has Discography ?D |
| discovers | (discovers ?AGENT ?OBJECT) means that the AutonomousAgent ?AGENT discovered the Object ?OBJECT. |
| diseaseCandidate | A summary predicate for a modal statement. This means that some Agent believes that a given Human may have a DiseaseOrSyndrome. |
| diseaseMortality | (diseaseMortality ?DISEASE ?NUMBER) means that DiseaseOrSyndrome ?DISEASE has a Mortality rate of ?NUMBER. |
| diseaseSymptom | (diseaseSymptom ?DISEASE ?SYMPTOM) means that DiseaseOrSyndrome ?DISEASE is often associated with the DiseaseOrSyndrome ?SYMPTOM, i.e. an Organism which suffers from ?DISEASE is more likely to suffer from ?SYMPTOM than one which does not. |
| diseaseTreatment | A reasonable treatment for the given DiseaseOrSyndrome is the given TherapeuticProcess. |
| disjoint | Classes は、 インスタンスを共有しない場合のみ disjoint である。例えば、 IntersectionFn をそれらに適用した結果空の場合に備えて。 |
| disjointRelation | この述部は、2つの Relations を関連付ける。 (disjointRelation ?REL1 ?REL2) とは、2つの関係にタプルがないことが共通している、という意味で ある。 |
| diskTypeForDrive | (diskTypeForDrive ?DISK_TYPE ?DRIVE_TYPE) means that disks of type ?DISK_TYPE are designed to be used by drives of type ?DRIVE_TYPE and such drives are designed to read (and possibly write) disks of type ?DISK_TYPE. |
| dislikes | (dislikes ?AGENT ?OBJECT) means that ?AGENT has a feeling of antipathy to ?OBJECT, i.e. ?AGENT believes that ?OBJECT will thwart one of his/her goals. Note that there is no implication that what is hated by an agent is not already possessed by the agent. |
| displayedUpon | (displayedUpon ?IMAGE ?DISPLAY) means that the image, ?IMAGE is displayed upon the ComputerDisplay, ?DISPLAY. A computer connected to multiple ComputerDisplays can have the same images displayed upon more than one display, or have them restricted to a single display. |
| distanceOnPath | (distanceOnPath ?DIST ?PATH) means that for a given path (which is a pathInSystem) that the distance of the route is the measurement ?DIST. |
| distributes | BinaryFunction ?FUNCTION1は、すべての ?INST1、 ?INST2、および ?INST3に対して、(?FUNCTION1 ?INST1 (?FUNCTION2 ?INST2 ?INST3)) が (?FUNCTION2 (?FUNCTION1 ?INST1 ?INST2) (?FUNCTION1 ?INST1 ?INST3)) と等しい場合に備えて、 別の BinaryFunction ?FUNCTION2 に対して配布される。 |
| domesticPartner | (holdsDuring ?T1 (domesticPartner ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 live together and share a common domestic life but are not joined in a traditional marriage, a common-law marriage, or a civil union. |
| doubts | (doubts ?AGENT ?FORMULA) means that ?AGENT is unsure about the truth of ?FORMULA, in particular ?AGENT does not believe that ?FORMULA is true. |
| downPayment | The part of the purchase price paid in cash up front, reducing the amount of the loan or mortgage. |
| dressCode | (dressCode ?CODE ?AGENT) means that ?AGENT obligates his customers to wear at the minimum clothes that fulfill ?CODE |
| drySeasonInArea | (drySeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the dry season occurs during the TimeInterval ?INTERVAL. For example, (drySeasonInArea Angola (RecurringTimeIntervalFn May October)). |
| duration | (duration ?POS ?TIME) とは、TimePosition ?POS の持続時間が ?TIME という意味である。 注:この Predicate は、Function WhenFn と組み合わせ て使用し、Predicate の任意のインスタンスの継続時間を指定できる。 |
| during | (during ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1が ?INTERVAL2の後に始まり、?INTERVAL2の前に終了することを意味する。 |
| earlier | (earlier ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL2 が開始される前に TimeInterval ?INTERVAL1 が終了することを意味する。 |
| earthAltitude | The altitude of an object above the sea level of PlanetEarth |
| economicAidDonated | (economicAidDonated ?AGENT ?AMOUNT) means that the GeopoliticalArea ?AREA donated ?AMOUNT of aid (valued in U.S. dollars) to developing countries and multilateral organizations. This figure covers 'net official development assistance' (ODA), which is net financial assistance from nations belonging to the OrganizationForEconomicCooperationAndDevelopment (OECD), with the main goal of promoting economic development and welfare. Such aid contains a grant element of at least 25%. This statistic does not cover private flows of assistance or other official flows (OOF). |
| economicAidReceivedNet | (economicAidReceivedNet ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA had a net inflow of Official Development Finance (ODF) of ?AMOUNT. ODF includes funds from the World Bank, the IMF, other international organizations, and individual donor nations, including both grants and loans. The figure includes formal commitments of aid not yet disbursed. The figure is the net amount of inflow after deducting repayments, valued in U.S. dollars. |
| economyType | (economyType ?POLITY ?TYPE) means that the GeopoliticalArea ?POLITY has an economic system of TYPE. |
| editor | (editor ?AGENT ?TEXTCLASS) means that ?AGENT is an editor of the content contained (or realized) in all instances of ?TEXTCLASS. |
| effectiveDose | (effectiveDose ?AGENT ?QUANTITY) means that ?QUANTITY is the effective dose, or ED50, for the BiochemicalAgent ?AGENT. This is the dose that would incapacitate 50% of the exposed human population. Note that ?QUANTITY is generally expressed in micrograms per kilogram (mcg/kg). |
| 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). |
| electionForOrganization | (electionForOrganization ?ELECTION ?GROUP) means that in the Election ?ELECTION, candidates run for election to the organization ?GROUP. |
| electionForPosition | (electionForPosition ?ELECTION ?POSITION) means that in the Election ?ELECTION, candidates run for election to the role(s) ?POSITION. |
| electronNumber | (electronNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER. |
| element | (element ?ENTITY ?SET) は、?ENTITY が Set ?SETに 含まれている場合に当てはまる。Entity は、後者が Set の場合にのみ、別の Entity の element にすることができる。 |
| elevation | (elevation ?OBJECT ?HEIGHT) means that the physical Object ?OBJECT is located on the surface of PlanetEarth at the vertical distance ?HEIGHT above (or below, for a negative quantity) SeaLevel. ?OBJECT may be a superficialPart of Earth's surface, such as a GeographicArea. Elevation is measured from SeaLevel to the vertical top of the object. |
| emailAddress | (emailAddress ?Address ?Agent) means that ?Address denotes a VirtualPlace at which ?Agent can be contacted. |
| emotionTendency | A tendency of an Agent to exhibit a particular emotion. Someone with such a tendency is more likely to exhibit an emotion, a priori, than someone without such tendency. |
| employs | (employs ?A ?PERSON) means that ?A has hired ?PERSON and currently retains ?PERSON, on a salaried, hourly or contractual basis, to provide services in exchange for monetary compensation. |
| engineCylinders | The number of EngineCylinders in a particular Engine. |
| engineDisplacement | The total VolumeMeasure of all the EngineCylinders. |
| engineIdleSpeed | The rotation rate of the Crankshaft that exists when the Engine is running but the GasPedal is not depressed. Note that under certain conditions of load on the engine and gear ratio, the same speed is possible even when the gas pedal is depressed. |
| engineeringSubcomponent | (engineeringSubcomponent ?SUB ?SUPER) means that the EngineeringComponent ?SUB is structurally a properPart of ?SUPER. This relation is an AsymmetricRelation, since two EngineeringComponents cannot be subcomponents of each other. |
| engineers | (engineers ?AGENT ?OBJECT) means the AutonomousAgent ?AGENT engineered some Artifact ?OBJECT |
| enjoys | (enjoys ?AGENT ?PROCESS) means that the CognitiveAgent ?AGENT tends to enjoy actions of type ?PROCESS, i.e. tends to enjoy being the agent or experiencer of such actions. |
| ennervates | A relation between a class of Nerve and a class of Muscle that is activated by that nerve, when both are instances in a particular organism. |
| entails | 論理含意のオペレータ。(entails ?FORMULA1 ?FORMULA2) とは、?FORMULA2が、SUO-KIFの証明論によって?FORMULA2から導出できる、という意味であ る。 |
| entrance | entrance is a BinaryPredicate. In (entrance ?R ?F), ?R is the entrance into the Facility ?F. Both ?R and ?F are Regions. If one is entering the facility ?F, then one is obliged to enter via ?R. |
| environmentAttributes | (environmentAttributes ?Program ?Attribute) holds if ?Attribute is an EnvironmentSoftwareAttribute which describes the ComputerProgram ?Program. |
| environmentalProblemTypeInArea | (environmentalProblemTypeInArea ?AREA ?PROBLEM) means that objects or processes of type ?PROBLEM is an environmental problem in the GeographicArea ?AREA. |
| equipmentType | (equipmentType ?THING ?TYPE) means that the Artifact ?THING has a component or attachment of Device ?TYPE. See also equipmentTypeCount. |
| equivalenceRelationOn | BinaryRelation は、関係が SetOrClass の reflexiveOn であり、TransitiveRelation と SymmetricRelation の両方で ある場合にのみ、SetOrClass の equivalenceRelationOn である。 |
| equivalentContentClass | BinaryPredicate は ContentBearingPhysical の2つのサブクラスを関連付ける。 (equivalentContentClass ?CLASS1 ?CLASS2) とは、?CLASS1の各インスタンスによって表現されるコンテンツは、?CLASS2の各インスタンスに よっても表現され、その逆も同様である。例えば、アガサ・クリスティの『オリエント急行殺人事件』の英語 版とロシア語版の関係が挙げられる。 注:(equivalentContentClass ?CLASS1 ?CLASS2) は (subsumesContentClass ?CLASS1 ?CLASS2) および (subsumesContentClass ?CLASS2 ?CLASS1)を 意味する。 |
| equivalentContentInstance | BinaryPredicate は、 ContentBearingPhysical の2つのインスタンスに関連する。 (equivalentContentInstance ?OBJ1 ?OBJ2) とは、?OBJ1で表される内容が?OBJ2で表される内容と同一であることを意味する。 例えば、弁護士への手紙の手書きの草稿と同じ手紙のタイプされたコピーとの関係である。 注: (equivalentContentInstance ?OBJ1 ?OBJ2) は (subsumesContentInstance ?OBJ1 ?OBJ2) および (subsumesContentInstance ?OBJ2 ?OBJ2) の結果となる。 |
| eveningPhone | (eveningPhone ?Phone ?Agent) means that ?Phone is a phone number corresponding to the phone at which the ?Agent can be reached during the evening. |
| exactlyLocated | オブジェクトの実際の最小位置。これは、より 一般的な Predicate located のサブリレーションである。 |
| successEvent | (successEvent ?EXP ?PROC) specifies that Process ?PROC is a SuccessEvent of Experimenting - i.e. that it is used as the dependent variable being tracked. |
| exclusiveEvent | (exclusiveEvent ?EXP ?PROC) specifies that Process ?PROC is a SuccessEvent of Experimenting ?EXP and that it occurs after an ExperimentalVariableProcess where a treatedUser of ?EXP is an experiencer of ?PROC and that experimentalVariableProcess. Further, some experimenter believes it Likely that the experimentalVariableProcess was in some part responsible for causing ?PROC. |
| 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. |
| expects | (holdsDuring ?T1 (expects ?AGENT ?BELIEF)) means (and (holdDuring ?T1 (believes ?AGENT (holdsDuring ?T2 ?BELIEF))) (earlier ?T1 ?T2)). |
| experimentID | (experimentID ?STRING ?EXP) Associates an Identifer ?STRING to a Experimenting ?EXP. They are likely to be unique. |
| experimentalControlProcess | (experimentalControlProcess ?EXPERIMENT ?PROC) means that the experiencing of the Process ?PROC is the control in the instance of experimenting ?EXPERIMENT, i.e. ?PROC is what is different from an experimentalVariableProcess experienced by the experimental group in the experiment. |
| experimentalTreatmentCollection | A BinaryPredicate specifying the the collection of Processes which are experimentalVariableProcesses of an Experimenting. |
| experimentalVariableProcess | (experimentalVariableProcess ?EXPERIMENT ?PROC) means that an AutonomousAgent being the experiencer of the Process ?PROC is the experimental independent variable in the instance of experimenting ?EXPERIMENT, i.e. ?PROC is what is different from the experimentalControlProcess experienced by the control group in the experiment |
| agreementExpirationDate | (agreementExpirationDate ?AGREEMENT ?ENDDATE) means that ?ENDDATE is the date on which ?AGREEMENT is no longer ActiveAgreement. |
| exploits | (exploits ?OBJ ?AGENT) とは、?OBJ が、Process の不特定インスタンスの resource として?AGENTによって使用される。この Predicate は、その対応 する公理が示すように、agentおよび resource の二項関係の合成である。 |
| exportCommodityType | (exportCommodityType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA exports the commodity ?TYPE. |
| exportPartner | (exportPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 exports goods to the AutonomousAgent ?AGENT2. |
| expressedInLanguage | (expressedInLanguage ?EXPRESS ?LANG) とは、 LinguisticExpression ?EXPRESS が Language ?LANG の一部であることを意味する。 |
| externalDebt | (externalDebt ?COUNTRY ?AMOUNT) means that the GeopoliticalArea ?COUNTRY owes the total sum ?AMOUNT of debt (public and private) to nonresidents. The amount is valued in U.S. dollars but may be repayable in foreign currency, goods, or services. |
| externalImage | エンティティと何らかの方法で用語を表すまたは 例示するURL。 |
| faceOfFigure | (faceOfFigure ?FACE ?FIGURE) means that the two TwoDimensionalFigure ?FACE is a face of GeometricFigure ?FIGURE. |
| faceValue | The nominal dollar amount assigned to a security by the issuer. For an equity security, par is usually a very small amount that bears no relationship to its market price, except for preferred stock, in which case par is used to calculate dividend payments. For a debt security, par is the amount repaid to the investor when the bond matures (usually, corporate bonds have a par value of $1000, municipal bonds $5000, and federal bonds $10,000). |
| faces | (faces ?OBJ ?DIRECTION) means that the front of ?OBJ (see FrontFn) is positioned towards the compass direction ?DIRECTION. More precisely, it means that if a line were extended from the center of ?DIRECTION, the line would intersect with the front of ?OBJ before it intersected with its back (see BackFn). |
| facility | (facility ?AGENT ?OBJ) means that an ?AGENT provides some ?OBJ to fulfill some goal or need |
| 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. |
| familyRelation | A very general Predicate for biological relationships. (familyRelation ?ORGANISM1 ?ORGANISM2) means that ?ORGANISM1 and ?ORGANISM2 are biologically derived from a common ancestor. |
| father | The general relationship of fatherhood. (father ?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD. |
| fathersBrothersDaughter | In Arabic: binot AlEam~. Female cousin on the father side, daughter of father's brother . |
| fathersBrothersSon | In Arabic: Aibon AlEam~. Son of father's brother. |
| fathersBrothersWife | In Arabic: zawojap AlEam~. Wife of father's brother. |
| fathersSistersDaughter | In Arabic: binot AlEam~ap. Daughter of father's sister. |
| fathersSistersHusband | In Arabic: zawoj AlEam~ap. Husband of father's sister. |
| fathersSistersSon | In Arabic: Aibon AlEam~ap. Son of father's sister. |
| faxNumber | (faxNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a FaxMachine at which ?AutonomousAgent can be contacted. |
| fears | (fears ?AGENT ?FORMULA) means that ?AGENT fears that the proposition ?FORMULA will be true, i.e. he/she believes that it will come to pass in the future and that it will be undesirable for ?AGENT. |
| 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. |
| finalExperimentReport | (finalExperimentReport ?CBP ?EXPERIMENT) means that ?CBP is a ContentBearingPhysical which containsInformation about the result of ?EXPERIMENT. |
| finalPrice | |
| financialAccount | A formal banking, brokerage, or business relationship established to provide for regular services, dealings, and other financial transactions. (financialAccount ?ACCOUNT ?ORG) means that ?ACCOUNT is a financial account opened at the FinancialCompany ?ORG. |
| financialAsset | A predicate that relates an AutonomousAgent to any item of economic value owned by the AutonomousAgent. Examples of financial assets are cash, securities, accounts receivable, inventory, office equipment, a house, a car, and other property. |
| financialResponseTo | (financialResponseTo ?Response ?Request) means that ?Response is a FinancialResponse to the FinancialRequest ?Request. |
| finishesDuring | (finishesDuring ?INTERVAL1 ?INTERVAL2) means that the end point of ?INTERVAL1 ends during ?INTERVAL2. |
| firstInstanceCreated | The time when the first instance of the given class was created. Note that this can refer to Processes as well as Objects. |
| fiscalYearPeriod | The predicate fiscalYearPeriod indicates the period that an AutonomousAgent or Organization uses as its 12-month accounting period. (fiscalYearPeriod ?AGENT Year) means that ?AGENT observes its 12-month accounting period during the regular calendar year (CY), from January to December. For fiscal years with other beginning and ending months (FYs), use (fiscalYearPeriod ?AGENT (RecurrentTimeIntervalFn ?STARTMONTH ?ENDMONTH)). For example, (fiscalYearPeriod (GovernmentFn UnitedStates) (RecurrentTimeIntervalFn October September)). For FYs that begin or end mid-month, days may be specified within RecurrentTimeIntervalFn. |
| fitForMilitaryService | (fitForMilitaryService ?AGENT ?PROCESS) means that ?AGENT is capable of carrying out the MilitaryProcess ?PROCESS as the agent of the ?PROCESS. |
| fixedInterestRate | (fixedInterestRate ?Account ?Rate) holds if ?Rate is the interest rate that does not change during the entire term of the account. |
| flagDescription | (flagDescription ?AREA ?DESCRIPTION) means that the SymbolicString ?DESCRIPTION is a verbal description of the flag of the GeopoliticalArea ?AREA. |
| flagImage | (flagImage ?AREA ?POINTER) means that an image of the flag of the GeopoliticalArea ?AREA is found at the location given in the SymbolicString ?POINTER. |
| flagState | (flagState ?SHIP ?AREA) means that the Ship ?SHIP is enrolled in the ShipRegister of the GeopoliticalArea ?AREA and is subject to its maritime laws, regulations for operation of the ship, and rules of taxation. |
| fleetDeadWeightTonnage | (fleetDeadWeightTonnage ?FLEET ?AMOUNT) means that the Collection of Ships ?FLEET has a total carrying capacity of ?AMOUNT in LongTons. This is the total vesselDeadWeightTonnage of all the vessels combined. Dead Weight Tonnage, or DWT, is the weight of cargo plus stores that a vessel can carry when immersed to the proper load line. |
| fleetGrossRegisteredTonnage | (fleetGrossRegisteredTonnage ?FLEET ?AMOUNT) means that the Collection of Ships ?FLEET has a total carrying capacity of ?AMOUNT in RegistryTons. This is the total vesselGrossRegisteredTonnage of all the vessels combined. Gross Registered Tonnage, or GRT, is the capacity of a vessel calculated on an equivalence of 100 cubic feet of sheltered area per ton. |
| fleetSize | (fleetSize ?AGENT ?NUM) means the AutonomousAgent ?AGENT has a fleet size of an Integer ?NUM. The Fleet can consists of any type of Vehicle |
| floorCode | (floorCode ?STR ?PLACE) means that ?STR represents the BuildingLevel that a particular PostalPlace can be found at |
| floorLoan | A minimum amount that a lender is willing to loan |
| flowCurrent | The relation between WaterMotion Processes and the region in which they occur continuously over at least hours, but typically months or years. A water balloon bursting and flowing downhill would not use this relation, because there would be no StreamWaterArea to relate to. |
| flows | (flows ?FLUID1 ?FLUID2) means that the Physical ?FLUID1 moves towards the Physical ?FLUID2, to which it is connected. |
| formOfAdaptation | (formOfAdaptation ?System ?Attribute) holds if ?Attribute is a FormOfAdaptationAttribute which describes the RealtimeSystem ?System. |
| formerName | (formerName ?NAME ?THING) means that the string ?NAME is a name formerly used for ?THING. |
| freeFunctionRoomAmenity | (freeFunctionRoomAmenity ?RM ?PHY) means that the use of ?PHY provided by TravelerAccommodation to customers renting HotelFunctionRoom does not incur charges |
| paidFunctionRoomAmenity | (paidFunctionRoomAmenity ?RM ?PHY) means that the use of ?PHY provided by TravelerAccommodation to customers renting HotelFunctionRoom incurs charges |
| freePropertyAmenity | (freePropertyAmenity ?AGENT ?PHYS) means that AutonomousAgent ?AGENT provides Physical ?PHYS at no additional cost |
| freeRoomAmenity | (freeRoomAmenity ?ROOM ?PHYS) means that there is no price associated with the use of an object or the rendering of a service |
| frequency | (frequency ?PROC ?TIME) とは、Process の ?PROC型が ?TIMEの間隔ごとに繰り返し発生することを意味する。 |
| friend | (holdsDuring ?T1 (friend ?H1 ?H2)) means that during time ?T1, ?H1 and ?H2 know each other, share a relationship of mutual care and concern, and probably also share some common interests. |
| fulfillingEntity | (fulfillingEntity ?ENTITY ?RESERVE) means that ?ENTITY is the AutonomousAgent who will execute the agreement |
| 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. |
| functionRoomAmenity | (functionRoomAmenity ?RM ?PHYS) means that Physical ?PHYS is available for people who Renting HotelFunctionRoom ?RM |
| plantInArea | plantInArea is a BinaryRelation which associates the class of Plant to the area in which they grow. |
| gearToothCount | gearToothCount is an instance of a BinaryPredicate. (gearToothCount ?GEAR ?INTEGER) means that there are ?INTEGER number of GearTooth that are part of the Gear ?GEAR. |
| geneticSubstrateOfVirus | (geneticSubstrateOfVirus ?VIRUS ?MOL) relates the virus ?VIRUS to the molecule ?MOL that contains its genetic information. |
| geographicSubregion | (geographicSubregion ?PART ?WHOLE) means that the GeographicArea ?PART is part of the GeographicArea ?WHOLE. |
| geometricPart | (geometricPart ?PART ?WHOLE) means that the GeometricFigure ?PART is part of the GeometricFigure ?WHOLE. |
| 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. |
| governmentType | (governmentType ?BODY ?FORM) means that the GeopoliticalArea or Organization ?BODY has a government with characteristic(s) of the type ?FORM. |
| governorSpeed | The maximum speed under normal conditions that a governor will allow a moving part or vehicle to attain before killing power. Note that a vehicle could still conceivably exceed governed speed while coasting down a hill, after the governor has activated. |
| grainSize | grainSize is a BinaryRelation describing the diameter measure of a particle. |
| grammaticalRelation | (grammaticalRelation ?PHRASE ?SENTENCE) means that the Phrase ?PHRASE has a grammatical relation to the Sentence ?SENTENCE, i.e. it is a subject, object, main verb, etc. of the ?SENTENCE. |
| grandfather | (grandfather ?PERSON ?PARENT) means that ?PARENT is the grandfather of ?PERSON. |
| grandmother | (grandmother ?PERSON ?PARENT) means that ?PARENT is the grandmother of ?PERSON. |
| grandparent | (grandparent ?YOUNGER ?OLDER) means that ?OLDER is a parent of ?YOUNGER's parent. |
| granularity | Granularity is a sub-property of the timing requirements property of real-time systems. Granularity is defined by how a timing requirement is specified in units of time. |
| graphMeasure | (graphMeasure ?GRAPH ?MEAS) は、特定の Graph の arcWeight に使用される UnitOfMeasure を修正する。このような関係を示すには、特定のグラフの 構成要素が Physical Entity のセットの abstractCounterpart であることを伴う。 |
| graphPart | Graph とそのパーツの基本的な関係。(graphPart ?PART ?GRAPH) とは、?PARTが Graph ?GRAPH の GraphArc または GraphNode であることを 意味する。 |
| grasps | Object をつかむ状態。(grasps ?ANIMAL ?OBJ) は、 Animal ?ANIMAL が意図的に Object ?OBJ に保持していることを意味する。 |
| greaterThan | (greaterThan ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1 が Quantity ?NUMBER2よりも大きい場合に当てはまる。 |
| greaterThanOrEqualTo | (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1が Quantity ?NUMBER2以上の場合に当てはまる。 |
| groundSubsurfaceType | (groundSubsurfaceType ?area ?subsoil) means that the predominant Substance in the subsoil or subsurface layer of the LandArea ?area is of type ?subsoil. |
| groundSurfaceType | (%&groundSurfaceType ?area ?substance) means that the predominant Substance at the ground surface of the LandArea ?area is ?substance. |
| groupMember | A subrelation of member, groupMember is used to relate a Human to a GroupOfPeople of which he/she is a member. |
| guest | guest refers to the customer living in a TemporaryResidence for the duration of his stay there |
| guiElementCovered | (guiElementCovered ?COVERING ?GUIE) means that the GUIElement ?GUIE has become completely covered by the action ?COVERING. It is still logically positioned at the same place on the screen. |
| guiElementCoveredBy | (guiElementCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is completely covered by the GUIElement ?GUIE2. |
| guiElementPartiallyCovered | (guiElementPartiallyCovered ?COVERING ?GUIE) means that the GUIElement ?GUIE has become partially covered by the action ?COVERING. It is still logically positioned at the same place on the screen. |
| guiElementPartiallyCoveredBy | (guiElementPartiallyCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is partially covered by the GUIElement ?GUIE2. |
| guiElementUncovered | (guiElementUncovered ?UNCOVERING ?GUIE) means that the GUIElement ?GUIE has become completely uncovered by the action ?UNCOVERING. Its logical positioned on the screen does is not changed. |
| habitatOfOrganism | A relation between a particular GeographicalRegion and an Organism likely to inhabit that region. Although it is possible that the organism inhabits other regions that are not mentioned, either through incidental momentary migration, or in captivity, the likelihood is that it only appears within the given region or regions. In this sense, the relation embodies a closed world assumption. |
| half | (half ?HALF ?WHOLE) means that ?HALF is one half of ?WHOLE. |
| haploidNumber | haploidNumber is a BinaryPredicate indicating the number of Chromosomes contained in the CellNuclues of a Gamete cell. |
| hasAcrossVariable | multipole pole has across variable |
| hasAward | (hasAward ?RECIPIENT ?AWARD) means the AutonomousAgent ?RECIPIENT recieved the Object ?AWARD as an award for some action they did. |
| hasDependency | (hasDependency ?PROGRAM1 ?PROGRAM2) holds if ?PROGRAM1 is dependent on the application ?PROGRAM2. |
| hasDimension | multipole quantity has certain dimension |
| hasExpertise | (hasExpertise ?PERSON ?FIELD) means that ?PERSON has studied the FieldOfStudy ?FIELD and is regarded as an expert. |
| hasGUEState | (hasGUEState ?GUIE ?STATE) means that the GUIElement ?GUIE has the GUElementState, ?STATE. |
| hasMolecularStructuralAttribute | (hasMolecularStructuralAttribute ?MOL ?ATT) means that ?MOL has the attribute ?ATT. |
| hasOccupation | (hasOccupation ?PERSON ?WORK) means that ?PERSON engages in activities of the class ?WORK as a means of earning a living. |
| hasPurpose | この Predicate は、従来の目標、すなわち概念を表 す。 例:中和されたエージェントの意図を持つ目標。それに応じて、(hasPurpose ?THING ?FORMULA) とは、Physical ?THING のインスタンスが、その目的として、?FORMULA によって表される Proposition を有することを意味する。 注:Predicates hasPurpose と result の間には重要な意味の違いが ある。 後者の第2の引数は前者の第2の引数を満たすことができ、従来の目標は期待される望ましい結果 だが、結果も期待も望ましくないかもしれない。 たとえば、機械プロセスには結果が出ないが、目標はなく、 目的のない放浪は結果を持つかもしれないが、目標はなく、学習プロセスには結果のない目標を持つ場合が ある。 |
| hasSkill | ある程度まで実践/実証される能力の追加の制限を伴った capability Predicateと同様である。 |
| hasThroughVariable | multipole pole has through variable |
| hasUniform | (hasUniform ?GRP ?UNIFORM) means that ?GRP is associated or identified by ?UNIFORM and members of ?GRP are expected to wear ?UNIFORM |
| hasVariable | multipole quantity has certain variable |
| hazardous | hazardous is a BinaryPredicate which associates a Physical (an Object or a Process) to the Damaging it may bring to another Object. (hazardous ?THING ?OBJECT) means that ?THING may cause damage to ?OBJECT. |
| 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. |
| headquartersOfOrganization | (headquartersOfOrganization ?ORG ?AREA) means that the Organization ?ORG is headquartered in ?AREA. |
| softwareHeartBeatRate | (softwareHeartBeatRate ?Program ?Period) holds if ?Period is the period at which the ComputerProgram ?Program sends its heartbeat to a monitoring process. |
| height | Object の高さは、その top と bottom の間の距離 である。 |
| highAltitudeWindSpeed | (highAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing above 25,000 feet at ?PLACE has a speed of ?RATE. |
| highestDecileShareOfHouseholdIncome | (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION) means that in the GeopoliticalArea ?AREA, the highest decile (90-100%) of households with respect to household income (or consumption) had ?FRACTION amount of the total household income (or consumption). Data from different countries may not be directly comparable due to variation in the basis of the data (e.g., based on income versus based on consumption). |
| hinders | 一般的な Predicate は、(hinders ?PROC1 ?PROC2) が?PROC2の発生の?PROC1 decreasesLikelihood のインスタンスを意味する。 Process のクラスに 関連するより強く hindersSubclass の prevents と比較する。 |
| hindersSubclass | 非常に一般的なPredicate。 (hindersSubclass ?PROC1 ?PROC2) とは、PProcess ?PROC がサブクラスを妨げるか、Process ?PROC2の発生を妨げることを意味する。 例:オブジェクトを妨害すると、サブクラスの移動が妨げらる。 注:これは、インスタンス間ではなく、Process のタイプ間の関係である。 |
| 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. |
| home | The relation between a Human and a PermanentResidence of the Human. |
| 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. |
| homePage | (homePage ?PAGE ?SITE) identifies the WebPage ?PAGE as the home page of the WebSite ?SITE |
| homologousChromosome | A homologousChromosome is a BinaryPredicate. (homologousChromosome ?X ?Y) means that the instance of Chromosome ?X and Chromosome ?Y are homologous. Homologous chromosomes are made up of chromosome pairs of approximately the same length, centromere position, and staining pattern (gene sequence), for genes with the same corresponding loci (gene position). [Wikipedia] |
| homologousChromosomePair | homologousChromosomePair is a BinaryPredicate indicating (homologousChromosomePair ?A ?B) members of MonoploidChromosomeSet ?A and members of MonoploidChromosomeSet ?B are homologousChromosome pairs. |
| hopes | (hopes ?AGENT ?FORMULA) means that ?AGENT hopes that the proposition ?FORMULA will be true, i.e. he/she believes that it will come to pass in the future and that it will be desirable for ?AGENT. |
| hostJitter | Interference on an analog line caused by a variation of a signal from its reference timing slots. Jitter can cause problems in the receipt of data and any subsequent processing of that data. |
| hostOf | (hostOf ?SYSTEM ?COMPUTER) means that ?COMPUTER is the host of the computational system ?SYSTEM. |
| hostStatus | (hostStatus ?Computer ?Status) means that ?Status describes the status of the Computer, such as HostDown, HostReady. |
| hostedOn | (hostedOn ?LISTING ?SITE) means that the WebListing ?LISTING is a Component of a WebPage which is a Component of the WebSite ?SITE. |
| hostileForces | (hostileForces ?UNIT1 ?UNIT2) means that the MilitaryUnits ?UNIT1 and ?UNIT2 are, respectively, allied with GeopoliticalAreas that are at war with one another. |
| hotSeasonInArea | (hotSeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the hot season occurs during the TimeInterval ?INTERVAL. For example, (hotSeasonInArea Angola (RecurringTimeIntervalFn November April)). |
| 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. |
| 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. |
| identicalListItems | (identicalListItems ?LIST1 ?LIST2) とは、?LIST1 と ?LIST2 がそれぞれのリストにまったく同じ項目を持つことを意味する。?LIST1と ?LIST2 はまったく同じアイテムを共有する必要がるが、これらの項目の順序が異なる場合がある。 |
| identityElement | 万が一すべてのインスタンス ?INST に対して、 ?FUNCTION を?INSTとに?IDに適用した場合、?INSTになることに備えて、オブジェクト ?IDは、 BinaryFunction ?FUNCTIONの ?ID要素である。 |
| ideologicalAffiliationOfOrganization | (ideologicalAffiliationOfOrganization ?ORG ?GOV) means that one of the goals of ?ORG is to realize the FormOfGovernment ?GOV. |
| illicitDrugConsumer | |
| illicitDrugProducer | |
| imageResolution | The degree of sharpness of a displayed or printed image. |
| immediateSubclass | SetOrClass ?CLASS1 は別の SetOrClass ?CLASS2 の immediateSubclass。万が一に備えて ?CLASS1 が ?CLASS2 の サブクラスで、および ?CLASS1 もそのサブクラスであるように、 ?CLASS2 の他のサブクラスはない。 |
| implementsProtocol | A Relation that specifies that a ComputerProgram impelements and conforms to a given ComputerProtocol. |
| importCommodityType | (importCommodityType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA imports the commodity ?TYPE. |
| 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)) は正しい。 |
| inScopeOfInterest | 非常に一般的な Predicate。 (inScopeOfInterest ?AGENT ?ENTITY) とは、?ENTITY が ?AGENT の関心の範囲内であることを意味 する。注:示される関心は、正または負のどちらか、すなわち ?AGENT は ?ENTITY を回避または促進する ことに関心を持つことができる。 |
| inString | (inString ?Character ?SymbolicString) means that ?Character is part of ?SymbolicString. See also subString. |
| inTheMoney | A call option is in the money if the stock price is above the strike price. A put option is in the money if the stock price is below the strike price. |
| includedMeal | (includedMeal ?PLAN ?ATTR ?TIME) indicates that the ?ATTR type of Meal is available at ?TIME according to ?PLAN |
| incomeDistributionByGiniIndex | (incomeDistributionByGiniIndex ?AREA ?INDEX) means that in the GeopoliticalArea ?AREA, the distribution of family income is ?INDEX, as measured by the Gini index for family income distribution. |
| increasesLikelihood | 基本的な ProbabilityRelation。 (increasesLikelihood ?FORMULA1 ?FORMULA2) とは、?FORMULA1 が正しい場合、?FORMULA2 が正しい 可能性が高いことを意味する。 |
| independenceDate | (independenceDate ?AREA ?DATE) means that the GeopoliticalArea ?AREA achieved its sovereignty on the date ?DATE. For example, (independenceDate Afghanistan (DayFn 19 (MonthFn August (YearFn 1919)))). |
| independentProbability | 基本的な ProbabilityRelation。 (independentProbability ?FORMULA1 ?FORMULA2)とは、?FORMULA1 と ?FORMULA2 正しくないという 確率が独立していることを意味する。 |
| industrialProductionGrowthRate | (industrialProductionGrowthRate ?AREA ?RATE) means that in the GeopoliticalArea ?AREA, the annual percentage increase in industrial production is ?RATE. |
| industryOfArea | (industryOfArea ?AREA ?SECTOR) means that the GeopoliticalArea ?AREA produces goods or services in the economic area ?SECTOR. |
| industryProductType | (industryProductType ?INDUSTRY ?TYPE) means that organizations with the IndustryAttribute ?INDUSTRY produce products of the kind ?TYPE. |
| industryServiceType | (industryServiceType ?INDUSTRY ?TYPE) means that organizations with the IndustryAttribute ?INDUSTRY provide services of the kind ?TYPE. |
| inflationRateInCountry | The annually percentage increase in the price of goods and services for the given Nation and TimeInterval. |
| inflationRateOfConsumerPrices | |
| ingredient | (ingredient ?ING ?S) means that ?ING is a material that makes up ?S |
| 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. |
| inhibits | The AutonomousAgent takes actions that are intended to make instances of the Process less likely. Note that this is very general, so it is likely that practical use of this relation would involve KappaFn, say to create the class of all of a certain kind of action within a bounded time and place. |
| initialList | (initialList ?LIST1 ?LIST2) とは、?LIST1は ?LIST2 の sL であり、(ListOrderFn ?LIST1 ?NUMBER) は ?NUMBER の値 (ListOrderFn ?LIST1 ?NUMBER) が定義されているすべての値に対して (ListOrderFn ?LIST2 ?NUMBER) と同じ値を返す。 |
| initialPart | Every instance of the first argument is initially found as part of an instance of the second argument, even though it might lose that part later in its lifetime. While the part must initially exist as part of a whole, this does not say that each whole necessarily initially contains such a part. For example, a thumb must at some time have been part of a hand, but every hand need not have a thumb, even at birth. This is a class-level relation roughly corresponding to part. |
| initiallyContainsPart | Every instance of the second argument initially contains an instance of the first argument, even though it might lose that part later in its lifetime. Every normal human starts life with an appendix for example. While the whole must initially contain such a part, this does not say that each part necessarily initially exists as part of such a whole. This is a class-level relation roughly corresponding to part. |
| instance | オブジェクトがその SetOrClass に含まれている場合、 オブジェクトは SetOrClass の instance である。個々は多くのクラスSetOrClass instance である可能性があり、その一部は他のサブクラスである場合がある。したがって、特異性または一意性に関 する instance の意味の仮定はしない。 |
| insured | (insured ?Contract ?Org) means that ?Contract is insured by the ?Organization. |
| 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. |
| internationalDispute | |
| internetCountryCode | (internetCountryCode ?AREA ?CODE) relates a GeopoliticalArea to the SymbolicString ?CODE used to identify the ?AREA on internet websites. |
| inventory | (inventory ?CBO ?COLLECTION) means that the ContentBearingObject ?CBO contains a list or enumeration of the members of the Collection ?COLLECTION. |
| inverse | BinaryRelation の逆は Relation であり、元の Relation のすべてのタプルが逆になる。 言い換えれば、BinaryRelation は、引数が交換された時に 等しい場合、別の逆数になる。 |
| involvedInEvent | (involvedInEvent ?EVENT ?THING) とは、 Process ?EVENTでは、、Entity ?THING は CaseRole の役をする、という意味である。 |
| ipAddressOf | (ipAddressOf ?HOST ?ADDRESS) holds if ?ADDRESS is the IPAddress of the computer ?HOST. |
| ipOfDomain | The IPAddress of a given InternetDomain. Note that an ip address may have several different domain names. |
| irrigatedLandArea | (irrigatedLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has the ?AMOUNT of irrigated land. |
| issuedBy | (issuedBy ?Certificate ?Agent) means that a Certificate ?Certificate is produced and offered by ?Agent. |
| jailer | A Relation between an agent of Imprisoning, which could be a Human or an Organization and the Human who is confined. |
| 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. |
| keyName | (keyName ?S1 ?S2) means that ?S1 is the subString of ?S2 (i.e., the component name) typically used for alphabetical name indexing. |
| knows | 知ることの認識的述語。 (knows ?AGENT ?FORMULA) とは、 ?AGENT が ?FORMULA によって表される命題を知っていることを意味する。 knows は意識を伴うので、 この Predicate は暗黙の知識や潜在意識や無意識の知識を表現するために使用することはできない。 |
| laborForceTotal | (laborForceTotal ?AREA ?AMOUNT) means that the total labor force of the GeopoliticalArea ?AREA is ?AMOUNT. This includes unemployed workers. |
| lacks | (lacks ?AGENT ?OBJECT) means that ?AGENT needs ?OBJECT and it is not currently the case that ?AGENT possesses ?OBJECT. |
| ladenDraft | (ladenDraft ?SHIP ?AMOUNT) means that the WaterVehicle ?SHIP requires a waterDepth of at least ?AMOUNT to sail without running aground, when she is loaded at capacity. |
| landAreaOnly | (landAreaOnly ?REGION ?MEASURE) means that the total area(s) of solid ground within the GeographicArea ?REGION has the AreaMeasure ?AMOUNT. The pieces of solid ground need not be continuous within the region. |
| landlord | (landlord ?PERSON ?UNIT) means that ?PERSON is a landlord of the Residence ?UNIT, i.e. he or she owns ?UNIT and is renting the unit to someone else. |
| language | A relation between a ContentBearingPhysical and a Language in that Entity. Note that this could be a sign language process as well as a document. Note also that a given Text might have more than one Language, so this is a Relation and not a Function. |
| larger | (larger ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2よりも すべての LengthMeasure に対して大きいことを意味する。 |
| lastRenovation | (lastRenovation ?OBJ ?YEAR) means that Object ?OBJ was last repaired on Year ?YEAR |
| lastStatement | (lastStatement ?Account ?Statement) means that ?Statement is the most recent monthly report sent to a debtor or bank depositor. |
| lastStatementBalance | (lastStatementBalance ?Account ?Amount) holds if ?Amount is the balance shown on the last statement. |
| 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. |
| 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. |
| legalRelation | (legalRelation ?AGENT1 ?AGENT2) means that ?AGENT1 and ?AGENT2 are relatives by virtue of a legal relationship. Some examples include marriage, adoption, etc. |
| legalSystemType | (legalSystemType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA has a legal system characterized by the LegalSystemAttribute ?TYPE. For example, (legalSystemType UnitedStates EnglishCommonLaw). A legal system may have multiple characteristics. |
| legislativeBranch | (legislativeBranch ?BRANCH ?ORG) means that the Organization ?BRANCH is the legislative branch of the GeopoliticalArea or Organization ?ORG. |
| lender | (lender ?Loan ?Agent) means that ?Agent is a private, public or institutional entity that put up the funds for the ?Loan. |
| length | BinaryPredicate は、最も長いスパンに沿って Object のメジャーを述べるために使用される。 |
| lengthOfBroadGaugeRailway | (lengthOfBroadGaugeRailway ?AREA ?LENGTH) means that the sum length of broad gauge railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH. |
| lengthOfCrudeOilPipeline | (lengthOfCrudeOilPipeline ?AREA ?AMOUNT) means that in the GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of CrudeOilPipeline. |
| lengthOfDualGaugeRailway | (lengthOfDualGaugeRailway ?AREA ?LENGTH) means that the sum length of dual gauge railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH. |
| lengthOfElectrifiedRailway | (lengthOfElectrifiedRailway ?AREA ?LENGTH) means that the sum length of all ElectrifiedRailway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH. |
| lengthOfExpresswaySystem | (lengthOfExpresswaySystem ?AREA ?LENGTH) means that the total length of Expressway in the GeographicArea ?AREA is ?LENGTH. |
| lengthOfMultipleTrackRailway | (lengthOfMultipleTrackRailway ?AREA ?LENGTH) means that the sum length of all MultipleTrackRailway route in the GeographicArea ?AREA is the LengthMeasure ?LENGTH. |
| lengthOfNarrowGaugeRailway | (lengthOfNarrowGaugeRailway ?AREA ?LENGTH) means that the sum length of narrow gauge railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH. |
| lengthOfNaturalGasPipeline | (lengthOfNaturalGasPipeline ?AREA ?AMOUNT) means that in the GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of NaturalGasPipeline. |
| lengthOfPavedHighway | (lengthOfPavedHighway ?AREA ?LENGTH) means that the total length of SurfacedRoadway in the GeographicArea ?AREA is ?LENGTH. |
| lengthOfPetroleumProductPipeline | (lengthOfPetroleumProductPipeline ?AREA ?AMOUNT) means that in the GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of PetroleumProductPipeline. |
| lengthOfStandardGaugeRailway | (lengthOfStandardGaugeRailway ?AREA ?LENGTH) means that the sum length of standard gauge railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH. |
| lengthOfUnclassifiedGaugeRailway | (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH) means that the sum length of railway routes in the GeographicArea ?AREA classified as something other than broad, dual, narrow, or standard gauge is the LengthMeasure ?LENGTH. |
| lengthOfUnpavedHighway | (lengthOfUnpavedHighway ?AREA ?LENGTH) means that the total length of UnsurfacedRoadway in the GeographicArea ?AREA is ?LENGTH. |
| lessThan | (lessThan ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1 が Quantity ?NUMBER2 より小さい場合に当てはまる。 |
| lessThanOrEqualTo | (lessThanOrEqualTo ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1が Quantity ?NUMBER2以下の場合に当てはまる。 |
| lethalDose | (lethalDose ?AGENT ?QUANTITY) means that ?QUANTITY is the lethal dose, or LD50, for the BiochemicalAgent ?AGENT. This is the dose that would result in death for 50% of the exposed human population. Note that ?QUANTITY is generally expressed in micrograms per kilogram (mcg/kg). |
| lifeStageAchieved | (lifeStageAchieved ?BDE ?ATTR) relates the BiologicalProcess ?BDE to the DevelopmentalAttribute that is realized as a result of ?BDE. |
| limitPrice | (limitPrice ?Order ?Money) means that ?Money is the limit price for the limit order ?Order. If ?Order is a buy order, then ?Money specifies the maximum price to be paid. If ?Order is a sell order, then ?Money specifies the minimum price to be paid. |
| lineMeasure | (lineMeasure ?LINE ?MEASURE) means that the straight line ?LINE has the LengthMeasure of ?MEASURE. |
| linearExtent | BinaryPredicate は、表面に沿ってある点から別 の点までの0のメジャーを表すために使用される。注:述語 length と distance の違いは、length が単一のオブジェクトのディメンションの1つの LengthMeasure を表すのに使用され、distance が 使用される点である。 |
| liquidity | Degree to which accounts can be easily converted to cash. |
| viewedItemList | (viewedItemList ?USER ?LIST) relates a List composed of AccessingWebPages in the order visited by ?USER, where each of the WebPages which are the destinations of those accessings is contains a WebListing. The most recent AccessingWebPage is at index 1 |
| listedOn | The relation between a Stock and the exchange on which it is traded. |
| listingBidder | (listingBidder ?LISTING ?AGENT) means that ?AGENT bid on the Object which is the patient of the webListing ?LISTING - i.e. if ?OBJECT is the patient of ?LISTING, there exists some ?MONEY where (bidPrice ?OBJECT ?MONEY ?AGENT) |
| listingBuyer | (listingBuyer ?LISTING ?AGENT) relates an AutonomousAgent to a WebListing. It represents that ?AGENT is the entity that was the agent of a Buying where the Object which is the patient of the buying is also the patient the ?LISTING, and the WebSite which the ?LISTING is hostedOn is the eCommerceSite of the buying. |
| listingSeller | (listingSeller ?LISTING ?AGENT) relates an AutonomousAgent to a WebListing. It represents that ?AGENT is the entity that desires the Selling of the patient of the ?LISTING. It also means that ?AGENT is the creator of ?LISTING and that ?AGENT is a webSeller on the WebSite that ?LISTING is hostedOn. |
| experimentUpdate | A BinaryPredicate used to convey that a ContentBearingPhysical conveys an update of an instance of Experimenting in progress. |
| load | In performance measurement, the current use of a system as a percentage of total capacity. |
| loanFeeAmount | (loanFeeAmount ?Loan ?Amount) means that ?Amount is the fee amount of the Loan ?Loan. |
| loanForPurchase | (loanForPurchase ?ACCOUNT ?PRODUCT) means that ?ACCOUNT is a loan to finance the purchase of ?PRODUCT. |
| loanInterest | |
| localLongName | (localLongName ?NAME ?THING) means that the string ?NAME is the long form of the name used for ?THING in its local area or language. |
| localShortName | (localShortName ?NAME ?THING) means that the string ?NAME is the short form of the name used for ?THING in its local area or language. |
| locationMeasuringList | locationMeasuringList is a BinaryRelation which associates a MeasuringList with where the measuring takes place.(locationMeasuringList ?LIST ?PLACE) means that the List ?LIST is located at ?PLACE. |
| 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. |
| loudness | |
| 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)). |
| lowestDecileShareOfHouseholdIncome | (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION) means that in the GeopoliticalArea ?AREA, the lowest decile (0-10%) of households with respect to household income (or consumption) had ?FRACTION amount of the total household income (or consumption). Data from different countries may not be directly comparable due to variation in the basis of the data (e.g., based on income versus based on consumption). |
| lyricist | (lyricist ?LC ?A) means that CognitiveAgent ?A is the person who created LyricalContent ?LC. |
| managedBy | (managedBy ?OBJ ?AGENT) means that the agent Managing Object ?OBJ is ?AGENT. ?AGENT does not necessarily own ?OBJ. |
| orthogonalTests | A SymmetricRelation between two Collections of Experimentings signfying that experimentalSubjects can be shared between them. |
| manner | (manner ?PROCESS ?MANNER) とは、Process ?PROCESSPPは Attribute ?MANNER によって認定されている、という意味である。 Processes の Attributes は通常、副詞によって示され、風速、ダンスのスタイル、スポーツ競技の強度などのような が含まれる。 |
| manufacturer | A relation between a class of Objects and an AutonomousAgent that is responsible for the Manufacture of that object. |
| mapOfArea | (mapOfArea ?AREA ?POINTER) means that a map of the Region ?AREA can be found at the location ?POINTER. |
| marineInventory | A relation between a MerchantMarine and a ShipRegister which is a member of that MerchantMarine |
| maritimeClaimType | (maritimeClaimType ?POLITY ?TYPE) means that the GeopoliticalArea ?POLITY claims rights over a MaritimeClaimArea of ?TYPE. |
| maritimeHazard | maritimeHazard is a subrelation of the BinaryRelation Hazardous which posts threat to WaterTransportation. |
| material | (material ?SUBSTANCE ?OBJECT) とは、?OBJECTが、 ?SUBSTANCEの一部で構造的に構成されている、という意味である。 この関係は、「構成」、「作られた」、 「形成された」の概念を網羅している。 例えば、プラスチックは私のコンピューターモニターの material である。 part とそのサブリレーション、すなわち component と piece を比較する。 |
| maternalAunt | In Arabic: xaAlap. Mother's sister, maternal aunt. |
| maternalUncle | In Arabic: xaAl. Mother's brother, maternal uncle. |
| maturityDate | The date on which the principal amount of the account becomes due and payable. |
| maxCylinderVolume | The volume of the CombustionChamber of the EngineCylinder at the maximum point of extension of the piston. |
| maxRoomCapacity | (maxRoomCapacity ?ROOM ?NUM) means that TravelerAccommodation allows a maximum number of ?NUM people to stay in ?ROOM during one stay |
| maxDeviceOperatingTemp | The maximum safe rated temperature at which a device may be operated. Operating the device in an environment above the temperature is likely to result in a Damaging of the Device. |
| maxDeviceStorageTemp | The maximum safe rated temperature at which a device may be stored. Storing the device in an environment above the temperature is likely to result in a Damaging of the Device. |
| maximumPayloadCapacity | (maximumPayloadCapacity ?V ?MM) means that the Vehicle ?V has a maximum payload of ?MM. This means that the vehicle can transport Objects weighing less than ?MM, provided that their height and width are within the limits of maximumPayloadHeightWidth. |
| maximumReplications | (maximumReplications ?PROGRAM ?INTEGER) means that ?INTEGER represents the maximum number of copies of this application which can be run during a process. |
| mealPlanInclusion | (mealPlanInclusion ?PKG ?PLAN) means that the conditions in MealPlan ?PLAN is applicable to the consumer of the HotelPackage |
| meanSeaLevel | (meanSeaLevel ?place ?measure) means that the Mean Sea Level (MSL) at ?place is ?measure. ?measure is a distance representing the sea level at ?place measured against a benchmark (and averaged over a long time). MSL is measured by tide gauges for maritime purposes, while geodesists use the difference between the local sea surface and an ideal level ocean surface (the geoid). |
| measure | 非常に一般的な Predicate は、特定の Object が特 定の PhysicalQuantity によって測定されると主張する。 一般に、この Predicate の第2の引数は、 Function MeasureFn で生成される用語になる。 |
| measurementReading | (measurementReading ?DEVICE ?QUANTITY) means that ?QUANTITY is a reading of the MeasuringDevice ?DEVICE, e.g. if ?THERMOMETER is a Thermometer, (measurementReading ?THERMOMETER (MeasureFn 42 CelsiusDegree)) would mean that ?THERMOMETER registers 42 degrees Celsius. |
| measuringListDuration | |
| measuringListInterval | |
| measuringResult | measuringResult is a Binaryrelation which associates a sequence of Measuring Processes from the MeasuringList with the sequence of results from its corresponding MeasuringResultList. (measruingResult ?MLIST ?RLIST) means that the List ?RLIST is the result of the List of Measuring ?MLIST. |
| meatOfAnimal | (meatOfAnimal ?MEATCLASS ?ANIMALCLASS) means that every instance of ?MEATCLASS was once part of some instance of ?ANIMALCLASS. |
| medicalPatient | A relation between a Human and a CareOrganization that treats the patient. |
| medicine | A Relation between a Medicine and a DiseaseOrSyndrome that is believed to be treatable by that medicine. Note that due to the complexity of biology, the causes of various maladies may not be completely known and treatments can be used based simply on a preponderance of evidence of co-occurrence rather than complete causal models of efficacy, so this relation does not entail a commitment that a disease is actually treated effectively. It does however commit to belief in the treatment by a MedicalDoctor. |
| mediumAltitudeWindSpeed | (mediumAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing between 10,000-25,000 feet at ?PLACE has a speed of ?RATE. |
| meetsSpatially | (meetsSpatially ?OBJ1 ?OBJ2) とは、?OBJ1 と ?OBJ2 は connected だが、?OBJ1 も ?OBJ2 も overlapsSpatially ではないという意味であ る。 |
| meetsTemporally | (meetsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL1 の端子点が TimeInterval ?INTERVAL2 の初期点であることを意味 する。 |
| meltingPoint | The temperature at which a PureSubstance changes state from a Solid to a Liquid. Note that Arsenic can sublimate directly from Solid to Gas which means that its melting and boiling points are equal. |
| member | Collections の均一パーツの専門常識の概念の部分。 例えば、群れの各羊が、群れのメンバーとして関係を持つ、など。 |
| memberCount | (memberCount ?ORG ?NUMBER) means that there is a total ?NUMBER of members in the Collection ?ORG. |
| memberType | (memberType ?GROUP ?TYPE) means that all the members of the Collection ?GROUP belong to the Class ?TYPE. |
| memorySize | (memorySize ?System ?Size) holds if ?Size is the required memory size for the ComputationalSystem ?System. |
| middleName | (middleName ?CHAR ?INDIV) means that the SymbolicString ?CHAR contains the middle name of the Human ?INDIV. |
| militaryAge | (militaryAge ?AREA ?AGE) means that in the GeopoliticalArea ?AREA, a person must be ?AGE or older in order to be a member of the military of the ?AREA. |
| militaryExpendituresFractionOfGDP | (militaryExpendituresFractionOfGDP ?AREA ?FRACTION) means that the estimated military spending of the GeopoliticalArea ?AREA is ?FRACTION of the gross domestic product (GDP) of that area. |
| militaryExpendituresInUSDollars | (militaryExpendituresInUSDollars ?AREA ?AMOUNT) means that the estimated military spending of the GeopoliticalArea ?AREA is ?AMOUNT in UnitedStatesDollars. Note: This predicate was created to represent data from the CIA World Fact Book, which calculates ?AMOUNT by multiplying estimated percentage of ?AREA's budget spent on defense by its gross domestic product (GDP) expressed in U.S. dollars. Note that this GDP is calculated by the exchange rate method rather than by PPPBasedEconomicValuation. Military expenditures data is approximate. |
| militaryOfArea | (militaryOfArea ?MILITARY ?AREA) denotes that ?MILITARY is a MilitaryOrganization serving in defense of the GeopoliticalArea ?AREA. |
| mimeType | A relation between ComputerData and the MIME type it is coded in, with respect to IETF RFC 2045. |
| minCylinderVolume | The volume of the CombustionChamber of the EngineCylinder at the maximum point of compression of the cylinder. |
| minDeviceOperatingTemp | The minimum safe rated temperature at which a device may be operated. Operating the device in an environment below the temperature is likely to result in a Damaging of the Device. |
| minDeviceStorageTemp | The minimum safe rated temperature at which a device may be stored. Storing the device in an environment below the temperature is likely to result in a Damaging of the Device. |
| minimumReplications | (minimumReplications ?PROGRAM ?INTEGER) means that ?INTEGER represents the minimum copies of the application ?PROGRAM required to be survivable, where a program is survivable if the failure of one or more resources does not result in the failure of the program. Either long MTTF for the system as a whole or short MTTR when failure occurs would improve the survivability of a program. |
| mixturePartType | The relation states that the given class of Substance is part of the given class of Mixture. |
| 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. |
| models | A relation signaling that certain model is convenient for modeling of certain class of devices. |
| monetaryValue | BinaryPredicate は、Object または Process を CurrencyMeasure のインスタンスとして表される値に関連付ける。 |
| monitorApplicationData | (monitorApplicationData ?TIME ?APPLICATION) holds if the time stamp ?TIME specifies the time at which ?APPLICATION is running. |
| monitorConnectivityData | (monitorConnectivityData ?TIME ?IPADDRESS) is a relation between a timestamp ?TIME and an ?IP address. |
| monoploidNumber | monoploidNumber is a BinaryPredicate indicating the number of unique Chromosomes contained in a complete MonoploidChromosomeSet in the CellNuclues of a EukaryoticCell. |
| monthlyIncome | (monthlyIncome ?Agent ?Money) means that ?Money is the amount of money received during one month period |
| most | (most ?MOST ?WHOLE) means that ?MOST is a part of ?WHOLE that is greater than half of ?WHOLE. |
| mother | The general relationship of motherhood. (mother ?CHILD ?MOTHER) means that ?MOTHER is the biological mother of ?CHILD. |
| mothersBrothersDaughter | In Arabic: binot AlxaAl. Female cousin on the mother's side, daughter of mother's brother. |
| mothersBrothersSon | In Arabic: Aibon AlxaAl. Male cousin on the mother's side, son of mother's brother. |
| mothersBrothersWife | In Arabic: zawojap AlxaAl. Wife of mother's brother. |
| mothersSistersDaughter | In Arabic: binot AlxaAlap. Daughter of mother's sister. |
| mothersSistersHusband | In Arabic: zawoj AlxaAlap. Husband of mother's sister. |
| mothersSistersSon | In Arabic: Aibon AlxaAlap. Son of mother's sister. |
| multiplicativeFactor | (multiplicativeFactor ?NUMBER1 ?NUMBER2) とは、?NUMBER1 が ?NUMBER2 の係数、すなわち ?NUMBER2 であることを意味する。?NUMBER1 は、結果として ?NUMBER2 を与えるためにいくつかの Intege を乗算できる。 |
| muscleInsertion | The insertion of a muscle is an attachment site that connects the MMuscle to a Bone. This point is typically distal to the body and moves during MuscularContraction (relative to StandardAnatomicalPosition).[from Wikipedia] |
| muscleOrigin | The origin of a muscle is an attachment site that connects the MMuscle to a Bone or other BodyPart. This point is typically proximal to the body and does not move during MuscularContraction (relative to StandardAnatomicalPosition). This is a relationship between classes of things, where a typical and healthy Human (and likely more broadly for Primates) will have a muscle with the given origin point. [from Wikipedia] |
| musicChartBy | (musicChartBy ?CHART ?A) means that CognitiveAgent ?A was responsible for the process of deciding which objects are included in MusicChart ?CHART. |
| musicChartPeriod | (musicChartPeriod ?CHART ?TIME) means that the the MusicChart ?CHART was analyzed using information from TimeInterval ?TIME |
| musicGenre | (musicGenre ?MR ?ATTR) relates the MusicGenre ?ATTR to the MusicRecording ?MR |
| musicInterpretation | (musicInterpretation ?MR ?MC) means that MusicRecording ?MR is a realization of Music ?MC |
| musicVideo | (musicVideo ?M ?V) means that VideoRecording ?V is a video recording that represents MusicRecording ?M. |
| mutualAcquaintance | (mutualAcquaintance ?H1 ?H2) means that ?H1 and ?H2 have met each other and know something about each other, such as name and appearance. Statements made with this predicate should be temporally specified with holdsDuring. See also the weaker, non-symmetric version of this predicate, acquaintance. |
| mutualStranger | (mutualStranger ?H1 ?H2) means that ?H1 and ?H2 have not met each other and do not know each other. Statements made with this predicate should be temporally specified with holdsDuring. See also the weaker, non-symmetric version of this predicate, stranger. |
| meceCollection | (meceCollection ?COLL1 ?COLL2) means that every member of ?COLL1 is in a Collection which is a member of Coll2, but not a member of two different Collections which are members of ?COLL2. |
| 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. |
| names | (names ?STRING ?ENTITY) とは、?ENTITY が SymbolicString ?STRING をその名前として持っていることを意味する。 注:name と represents は 2つの即時の refers の subrelation である。 述語 name は、参照項目が単に内容を含まない タグである場合に使用され、述語 represents はそのようなコンテンツを持つ項目を参照するために使用 される。 |
| nationalCelebration | (nationalCelebration ?AREA ?HOLIDAY) means that the primary day of national celebration in the GeopoliticalArea ?AREA is ?HOLIDAY. For example, (nationalCelebration Afghanistan AfghanIndependenceDay). |
| nationalHoliday | (nationalHoliday ?AREA ?HOLIDAY) means that ?HOLIDAY is a national holiday observed in ?AREA. The GeopoliticalArea ?AREA observes a holiday on days specified as a ?HOLIDAY, during which national government offices and other facilities typically are closed. There may be multiple nationalHolidays. For example, (nationalHoliday UnitedStates UnitedStatesMemorialDay). |
| naturalHazardTypeInArea | (naturalHazardTypeInArea ?AREA ?TYPE) means that in the GeographicArea ?AREA, Processes of ?TYPE occur with some frequency and may cause damage or danger to human lives and property. |
| naturalResourceTypeInArea | (naturalResourceTypeInArea ?REGION ?TYPE) means that the GeographicArea ?REGION has resources of the kind ?TYPE. |
| navigableForDraft | (navigableForDraft ?WATERWAY ?DRAFT) means that the Waterway ?WATERWAY can be transited by vessels up to the draft ?DRAFT. |
| navigableForShippingTonnage | (navigableForShippingTonnage ?WATERWAY ?TONNAGE) means that the Waterway ?WATERWAY can be transited by vessels up to the tonnage ?TONNAGE (in Dead Weight Tonnage). |
| nearOrientation | (nearOrientation ?OBJ1 ?OBJ2) means that ?OBJ1 has orientation Near to ?OBJ2 |
| needs | (needs ?AGENT ?OBJECT) とは、?AGENT の継続的な存在 のために ?OBJECT が物理的に必要であることを意味する。 |
| neighbor | (neighbor ?PERSON1 ?PERSON2) means that ?PERSON1 is a neighbor of ?PERSON2, i.e. ?PERSON1 and ?PERSON2 have their homes Near one another. |
| nephew | (nephew ?NEPHEW ?PERSON) means that ?NEPHEW is the son of a sibling of ?PERSON. |
| netAmount | The amount due the supplier after commissions have been deducted. |
| niece | (niece ?NIECE ?PERSON) means that ?NIECE is the daughter of a sibling of ?PERSON. |
| numberAdultOccupant | (numberAdultOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of HumanAdult that will be fulfilling the reservation |
| numberOfAprons | (numberOfRunways ?AA ?N) means that Airport ?AA has Integer ?N number of Aprons. |
| numberChildOccupant | (numberChildOccupant ?RESERVE ?NUM) means tht the HotelReservation ?RESERVE indicates Integer ?NUM of HumanChild is included in the reservation |
| numberOfCPUs | (numberOfCPUs ?COMPUTER ?INTEGER) means that the number of CPUs for the host ?COMPUTER is equal to INTEGER. |
| numberOfCustomers | (numberOfCustomers ?NUM ?RESERVE) refers to the number of patrons the reservation is for. |
| numberOfFloors | (numberOfFloors ?BLDG ?NUM) means that Building ?BLDG has Integer ?NUM number of BuildingLevel |
| numberOccupant | (numberOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of Human that will potentially be staying in the TravelerAccommodation |
| numberOfRunways | (numberOfRunways ?A ?N) means that Airport ?A has Integer ?N number of Runways. |
| numberSeniorOccupant | (numberSeniorOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of HumanAdult that has age greaterThanOrEqualTo 60 |
| numberOfTaxiways | (numberOfTaxiways ?A ?N) means that Airport ?A has Integer ?N number of Taxiways. |
| objectOfBid | A CaseRole of Bidding identifying the instance of Physical being bid on. |
| 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. |
| occupation | (occupation ?PERSON ?TYPE) means that the occupation of ?PERSON is ?TYPE. This predicate is most often used in combination with the function OccupationFn, e.g. (occupation PoliceOfficerWilkins (OccupationFn LawEnforcement)). |
| offers | (offers ?AGENT ?CATALOG) means that ?AGENT offers items of ?CATALOG to its customers |
| conventionalLongName | (conventionalLongName ?NAME ?THING) means that the string ?NAME is the long form of the name conventionally used for ?THING. |
| older | (older ?OBJ1 ?OBJ2) means that ?OBJ1 is older than ?OBJ2, i.e. the age of ?OBJ1 is greaterThan the age of ?OBJ2. |
| onOrientation | (onOrientation ?OBJ1 ?OBJ2) means that ?OBJ1 has orientation On ?OBJ2 |
| onboard | (onboard ?OBJ ?VEHICLE) means that the SelfConnectedObject ?OBJ is inside the Vehicle ?VEHICLE. |
| operator | (operator ?OBJECT ?AGENT) means that ?AGENT determines how ?OBJECT is used, either by directly or indirectly operating it. |
| oppositeDirection | (oppositeDirection ?DIR1 ?DIR2) means that the PositionalAttribute ?DIR1 points in the compass direction opposite to the DirectionalAttribute ?DIR2. |
| optimalGrindSizeForMakingCoffee | |
| optionHolder | (optionHolder ?Option ?Agent) means that ?Agent is the holder of the option. |
| optionSeller | (optionSeller ?Option ?Agent) means that ?Agent is the writer of the option. |
| 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. |
| organizationProductType | (organizationProductType ?BUSINESS ?TYPE) means that the Organization ?BUSINESS produces products of the kind ?TYPE. |
| organizationServiceType | (organizationServiceType ?BUSINESS ?TYPE) means that the Organization ?BUSINESS provides services of the kind ?TYPE. |
| orgStaff | (orgStaff ?ORG ?POS) means that Agent ?ORG employs Human with Attribute ?POS |
| organizationalObjective | (organizationalObjective ?AGENT ?FOCUS) means that the AutonomousAgent ?AGENT has significant aims and concerns characterized by the AreaOfConcern ?FOCUS. |
| originalBalance | (originalBalance ?ACCOUNT ?BALANCE) means that ?BALANCE is the balance of the account at the time the account is opened. |
| originalExpressedInLanguage | (originalExpressedInLanguage ?PROP ?LANG) means that Proposition ?PROP, the first time it was ever realized in a LinguisticExpression, was first expressed in Language ?LANG. |
| otherLandUseArea | This predicate is used to represent information from the CIA World Fact Book. (otherLandUseArea ?REGION ?AMOUNT) means that in the GeographicArea ?REGION, the ?AMOUNT of land has some use other than planting seasonal or permanent crops. See also arableLandArea and permanentLandArea. |
| outOfTheMoney | A call option is out of the money if the stock price is below its strike price. A put option is out of the money if the stock price is above its strike price. |
| overlapsPartially | (overlapsPartially ?OBJ1 ?OBJ2) とは、 ?OBJ1 と ?OBJ2 には共通の部分があるが、?OBJ1 も ?OBJ2 も他の part ではない。 |
| overlapsTemporally | (overlapsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeIntervals ?INTERVAL1 と ?INTERVAL2 が共通の部分として TimeInterval を持っていることを意味する。 |
| oxygenSaturation | A measurement of the oxygen saturation in Human Blood, expressed as a percentage of red blood cells that are fully oxygenated. This is often measured by a PuleOximeter. |
| paidPropertyAmenity | (paidPropertyAmenity ?AGENT ?PHYS) means that AutonomousAgent ?AGENT provides Physical ?PHYS at additional cost |
| paidRoomAmenity | (paidRoomAmenity ?ROOM ?PHYS) means that there is a fee associated with the use of an object or the rendering of a service |
| parallel | (parallel ?LINE1 ?LINE2) means that the StraightLine ?LINE1 and ?LINE2 are parallel to one another, i.e. they are equidistant from one another at every point. |
| parasite | (parasite ?ORGANISM1 ?ORGANISM2) means that there is a parasitic relationship between ?ORGANISM1 and ?ORGANISM2, i.e. ?ORGANISM1 inhabits and obtains nourishment from ?ORGANISM2 in such a way that ?ORGANISM2 is injured. |
| parasitic | A BinaryPredicate that is the counterpart to parasite, but for classes rather than instances. |
| parent | The general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD. |
| part | 基本的な数学的関係。 他のすべての単なる関係は、この関係 で定義される。 (part ?PART ?WHOLE) とは、単にObject ?PARTは Object ?WHOLEの一部、という意味である。 注:part が ReflexiveRelation のため、すべての Object はそれ自体の一部である。 |
| abstractPart | A meronymy relation similar to part, but for abstract rather than physical things. |
| partTypes | (partTypes ?PART_TYPE ?WHOLE_TYPE) means that every instance of ?PART_TYPE is parts of an instance of ?WHOLE_TYPE. |
| partialOrderingOn | BinaryRelation は、SetOrClass 上の 部分的な順序付けで、 AntisymmetricRelation と TransitiveRelation の両方である場合にのみ、 関係が SetOrClass で reflexiveOn である。 |
| partlyLocated | (partlyLocated ?OBJ1 ?OBJ2) とは、 Physical ?OBJ1 のインスタンスが少なくとも部分的に ?OBJ2 に配置されたことを意味する。 例: イスタンブールは Asia に部分的に位置し、一部は Europe に位置している。 注:partlyLocated は最も基本的なローカリゼーション関係である: located は即時の partlyLocated の subrelation で、exactlyLocated は即時の located の subrelation である。 |
| partyToAgreement | (partyToAgreement ?AGENT ?PROP) means that the AutonomousAgent ?AGENT has committed to the agreement ?PROP. |
| passengerCapacityMaxNumber | (passengerCapacityMaxNumber ?TRANSPORT ?NUMBER) means that the TransportationDevice ?TRANSPORT has a safe carrying capacity for ?NUMBER of passengers. |
| paternalAunt | In Arabic: Eam~ap. Father's sister, paternal aunt. |
| paternalUncle | In Arabic: Eam~. Father's brother, paternal uncle. |
| pathInSystem | (pathInSystem ?PATH ?SYSTEM) means that the Physical thing ?PATH consists of one or more connected routes in the PhysicalSystem ?SYSTEM. |
| pathLength | BinaryPredicate は、GraphPath の長さ (GraphNodes 数で) を指定する。 (pathLength ?PATH ?NUMBER)とは、GraphPath ?PATH に ?NUMBER ノードがあることを意味する。 |
| pathologicSideEffect | A predicate that is used to specify a side effect of a substance used in a medical treatment. (pathologicSideEffect ?SUBSTANCE ?SYNDROME) means that the BiologicallyActiveSubstance ?SUBSTANCE has the side effect of type ?SYNDROME. |
| pathologicSymptom | A symptom that is a possible manifestation of a particular PathologicProcess. |
| pathologyCandidate | |
| patientMedical | The relation of receiving medical care from a recognized medical practitioner. (patientMedical ?PATIENT ?DOCTOR) means that ?PATIENT is the patient of ?DOCTOR. Note that argument type restriction on the second argument is CognitiveAgent to allow for cases where someone is the patient of an Organization, viz. a CareOrganization. |
| perCapitaGDP | (perCapitaGDP ?AREA ?AMOUNT) means that the Gross Domestic Product, on a per capita basis, for the GeopoliticalArea ?AREA is ?AMOUNT, calculated in U.S. dollars on a purchasing power parity basis. See PPPBasedEconomicValuation. |
| permanentCropLandArea | (permanentCropLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has ?AMOUNT of land under cultivation with crops that are not replanted after each harvest. This includes orchards, vineyards, coffee and rubber plantations. Cf. permanentCropLandArea. |
| permits | A relation between an AutonomousAgent and Formula that it will not deter from becoming true. Note that permitting something does not entail that the AutonomousAgent necessarily desires it. It does entail that the AutonomousAgent would have power, at least to some degree, to prohibit it. For example, a government may permit smoking marijuana under some conditions (such as being of a certain ageOfMajority) without saying that it encourages its use, and it could at another time prohibit its use (if the voters approve a law making its use Illegal). Like punishes it also is an institutional relation. When an AutonomousAgent permits something it entails a Stating that it will not punish those who do what it permits. |
| personTransportCapability | (personTransportCapability ?PV ?I) means that the PassengerVehicle ?PV is able to carry ?I Humans. |
| 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. |
| phMeasure | |
| phoneNumber | (phoneNumber ?Phone ?Agent) holds if ?Phone is a phone number corresponding to the Telephone ?Phone. |
| allRoomsPhysicalAmenity | (allRoomsPhysicalAmenity ?INV ?OBJ) means that all rooms in RoomInventory ?INV have roomAmenity ?OBJ |
| someRoomsPhysicalAmenity | (someRoomsPhysicalAmenity ?INV ?OBJ) means that there are rooms in RoomInventory ?INV that have roomAmenity ?OBJ |
| physicalAmplitude | A relation between a periodic motion and the distance between the physical extremes of the period. |
| physicalEnd | A notion of an indeterminate portion at the end of an Object that has a LongAndThin ShapeAttribute. |
| physicalInclusion | (physicalInclusion ?PACKAGE ?OBJ) means that the resource ?OBJ is available for the guest's use or consumption |
| piece | Substances の任意のパーツの専門常識の概念の部分。 準同義語:チャンク、ハンク、ビット、など。 part のもう1つの下位関係である component と比較 する。 |
| pin | (pin ?PIN ?Card) means that ?PIN is a personal identification number linked to the ?Card. |
| pistonStroke | The maximum distance that a piston travels during normal operation of the Engine. |
| pointOfFigure | (pointOfFigure ?POINT ?FIGURE) means that the GeometricPoint ?POINT is part of the GeometricFigure ?FIGURE. |
| policyInclusion | (policyInclusion ?PACKAGE ?POLICY) means that ?POLICY is applicable |
| policyLocationCoverage | (policyLocationCoverage ?Policy ?GeographicArea) creates a relationship for policies that are restricted to certain areas or location. This relation means that ?Policy enforcement is confined to ?%&GeographicArea |
| policyOwner | (policyOwner ?Organization ?Policy) describes how ?Policy is adopted and enforced by ?Organization |
| politicalPartyOfCountry | (politicalPartyOfCountry ?PARTY ?AREA) means that the PoliticalParty ?PARTY participates in politics in the GeopoliticalArea ?AREA. |
| populationFractionBelowPovertyLine | (populationFractionBelowPovertyLine ?AREA ?FRACTION) means that in the GeopoliticalArea ?AREA, the segment of the population living below the (locally defined) poverty line is ?FRACTION. Note that the definition of the poverty line varies internationally. |
| portNumber | (portNumber ?PROGRAM ?NUMBER) holds if ?NUMBER identifies a protocol port, i.e. a TCP-IP software abstraction used to distinguish different applications providing services within a single destination computer. The different ports on a host are identified by a positive 16-bit number. |
| 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. |
| potentialCustomer | (potentialCustomer ?CUST ?AGENT) means that it is a possibility for ?CUST to participate in a financial transaction with ?AGENT in exchange for goods or services |
| potentialOfHydrogen | (potentialOfHydrogen ?SOLUTION ?NUMBER) means that the Solution ?SOLUTION has a pH value of ?NUMBER. The ph varies between 0 and 14, and it is a measure of the acidity or alkalinity of ?SOLUTION. More precisely, and it is the logarithm of the reciprocal of the quantity of AtomGrams of Hydrogen ions. |
| powerComponent | (powerComponent ?GENERATOR ?THING) means that the Device ?GENERATOR is the power source for the Artifact ?THING. |
| 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 のインスタンスが存在できる ことを意味する。 |
| premise | (premise ?ARGUMENT ?PROPOSITION) means that the Proposition ?PROPOSITION is an explicit assumption of the Argument ?ARGUMENT. |
| premium | Total price of an option. |
| prevents | 非常に一般的な Predicate。(prevents ?PROC1 ?PROC2) とは、?PROC1のインスタンスが ?PROC2 の発生を防ぐことを意味する。 注:この関係と preventsSubclass の違いは、インスタンスクラスではなくクラスに関連している。 |
| preventsSubclass | 非常に一般的な Predicate。 (preventsSubclass ?PROC1 ?PROC2) とは、?PROC1が?PROC2の発生をサブクラスに防止することを意味 する。つまり、?PROC1が特定の時間と場所で発生している場合、?PROC2は同時に発生することはできない。 例:サブクラスを罹患から防ぐための接種をする。 注:これは、インスタンス間ではなく、Process タ イプ間の関係である。 |
| 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. |
| primaryGeopoliticalSubdivisionType | (primaryGeopoliticalSubdivisionType ?COUNTRY ?TYPE) means that the first-order administrative divisons of ?COUNTRY are of the type ?TYPE. |
| voltageRatingPrimary | voltageRatingPrimary is a PrimaryPredicate which maps the MeasurementAttribute, VoltageRatingPrimary of an ElectricTransmission to a value of FunctionQuantity it can receive (input). |
| primeInterestRate | The interest rate that commercial banks charge their most creditworthy borrowers, such as large corporations. The prime rate is a lagging indicator. |
| principalAmount | (principalAmount ?ACCOUNT ?BALANCE) means that ?BALANCE is the amount borrowed, or the part of the amount borrowed which remains unpaid (excluding interest). |
| priority | (priority ?SYSTEM ?QUANTITY) means that the priority of the ?SYSTEM is characterized by a PriorityAttribute, such as HighPriority or LowPriority. |
| processAborted | (processAborted ?Abort ?Process) means that the ComputerProcess ?Process is aborted as the result of ?Abort. |
| processInclusion | (processInclusion ?PACKAGE ?SVC) means that the guest can be the experiencer of serviceRecipient of ?SVC |
| processID | (processID ?PROCESS ?NUMBER) holds if ?NUMBER is a unique number generated by the operating system and used to refer to the ComputerProcess ?PROCESS. There is usually no significance to the numbers as they are reused as old processes die and new processes are created. |
| produced | (produced ?A ?R) Human ?A is responsible for all decision-making processes that resulted in Recording ?R |
| producedOn | (producedOn ?R ?TP) refers to the date that a Recording was finalized into a final copy that is ready for release. |
| productBrand | (productBrand ?BRAND ?OBJ) means that the perception associated with Brand ?BRAND is reflected on Physical ?OBJ |
| profit | The positive gain from an investment or business operation after subtracting for all expenses. |
| programRunning | (programRunning ?Process ?Program) means that the ComputerProcess ?Process is executing the ComputerProgram ?Program. |
| prohibitedItem | (prohibitedItem ?Object ?SITE means that ?ITEM is not allowed to be sold on WebSite ?SITE. |
| prohibits | A relation between an AutonomousAgent and Formula that it wants to keep from becoming true. Note that prohibiting something generally also inhibits it, but the reverse is not true. Like punishes it also is an institutional relation. When an AutonomousAgent prohibits something it entails a Stating that it punishes those who do what it prohibits. |
| property | この Predicate は、E と A のインスタンスの間に 保持される。(property ?ENTITY ?ATTR) とは、?ENTITY が Attribute ?ATTR を有する、という 意味である。 |
| propertyAmenity | (propertyAmenity ?AGENT ?PHYS) means that &AutonomousAgent ?AGENT provides Physical ?PHYS on its property |
| propertyPolicy | (propertyPolicy ?AGENT ?POLICY) means that ?POLICY is a Policy with policyLocationCoverage that covers all elements of PropertyFn ?AGENT |
| propositionOwner | (propositionOwner ?AGENT ?PROP) means that CognitiveAgent ?AGENT was the one who conceptualized or created the Proposition ?PROP |
| protocolForConnector | |
| protonNumber | (protonNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER. |
| providesDestination | (providesDestination ?TC ?REG) means TransportationCompany, ?TC, provides possible Transportation to Region ?REG. |
| publishes | (publishes ?ORG ?TEXTCLASS) means that ?ORG publishes all instances of ?TEXTCLASS. For example, Bantam Books publishes Agatha Christie's Murder-on-the-Orient-Express. |
| punishes | A relation between two Agents where the first represents some Organization, and is authorized by it to take some action against the second AutonomousAgent. Note that this does not include cases where one individual simply takes action against another individual, such as a parent punishing a child for misbehavior. It also must be a response to some real or perceived action, rather than spontaneous negative action. The Organization must in some sense want the punishment to be given, either collectively or simply because the punisher is an authorized representative who decides on the punishment. Note that one agent could both punish and reward another agent. |
| qualifiedExperiment | (qualifiedExperiment ?EXPERIMENT ?HUMAN means that ?HUMAN has the capabilty of being the experimentalSubject of ?EXPERIMENT |
| qualifiedPageView | (qualifedPageView ?EXPERIMENT ?ACCESSING) represents that the patient of AccessingWebPage ?ACCESSING is a treatedPage in ?EXPERIMENT |
| qualifiedTreatment | (qualifiedTreatment ?TREATMENT ?HUMAN) means that ?HUMAN has capability to be put into Experimenting track ?TREATMENT |
| quarter | (quarter ?QUART ?WHOLE) means that ?QUART is a quarter of ?WHOLE. |
| radius | (radius ?CIRCLE ?LENGTH) は、Circle ?CIRCLEの半径 が ?LENGTHの長さを有することを意味する。 |
| radiusOfMaximumWind | |
| rainySeasonInArea | (rainySeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the rainy or wet season occurs during the TimeInterval ?INTERVAL. For example, (rainySeasonInArea Angola (RecurringTimeIntervalFn November April)). |
| range | 関数の範囲を提供。 言い換えれば、(range ?FUNCTION ?CLASS) とは、?FUNCTIONによって割り当てられたすべての値は?CLASSの instances である、という 意味である。 |
| rangeSubclass | (rangeSubclass ?FUNCTION ?CLASS) とは、 FUNCTIONによって割り当てられた値はすべて、?CLASSの subclass である、という意味である。 |
| rateDetail | (rateDetail ?RESERVE ?FORMULA) gives the price detail associated with each item in the reservation |
| pricePolicy | (pricePolicy ?SCHEME ?POLICY) describes the Policy ?POLICY attached to the given rate with the ?SCHEME |
| ratingsAgent | (ratingsAgent ?RATING ?AGENT) means that ?AGENT went through some Classifying process in order to create RatingAttribute ?RATING. |
| realGrowthRateOfGDP | (realGrowthRateOfGDP ?AREA ?RATE) means that the annual rate of growth in the Gross Domestic Product (GDP) for the GeopoliticalArea ?AREA is the fraction ?RATE, adjusted for inflation, with GDP calculated on a purchasing power parity basis. See PPPBasedEconomicValuation. |
| record | (record ?OBJ ?PHYS), a more specific relationship than represents, means that some Physical ?PHYS is captured and interpreted into a ContentBearingObject that is stored in some DataStorageDevice |
| recordForAgreement | This is a relation between a document or an action that records the propositional content of an Agreement. This could be a written document or a verbal promise as verbal promises are also legally binding under some legal systems. Note that this is a stronger relationship than refers or containsInformation since it entails that the record is the full content of the Proposition and that the Proposition must have the Attribute of being an Agreement, as opposed to some other Proposition. |
| recordingCompany | (recordingCompany ?R ?C) means that RecordCompany ?C is responsible for the distribution and production of Recording ?R. |
| recordingLength | (recordingLength ?R ?T) indicates that playing the complete Recording ?R from start to finish lasts TimeDuration ?T. |
| refers | (refers ?OBJ1 ?OBJ2) とは、?OBJ1 が O2 への参照に言 及または含むことがあることを意味する。 注:%refersは、おそらく何かがこの他の事を参照している場合に のみ何かを表すことができるので、%refers は represents よりも一般的な意味である。 例:石油価格 の最近の変化をトピックにした記事は、他の多くのことを指すかもしれない。 経済の一般的な状態、カリ フォルニアの天候、地球温暖化の見通し、代替エネルギー源のオプション、様々な石油会社の株価など。 |
| reflexiveOn | BinaryRelation は、SetOrClass のすべての インスタンスがそれ自体との関係を持つ場合にのみ、SetOrClass に対して再帰的である。 |
| regionalIssue | (regionalIssue ?AREA ?ISSUE) means that the AreaOfConcern ?ISSUE is relevant to a problem in the GeographicArea ?AREA. |
| registeredItem | (registeredItem ?DOCUMENT ?ITEM) means that the Text ?DOCUMENT contains an official record of the Physical thing ?ITEM. The registered item could be an object or an event, e.g., an automobile, a ship, a marriage, an adoption. |
| registeredUser | (registedUser ?AGENT ?SITE) means that ?AGENT is a registered user at the WebSite ?SITE - i.e. ?AGENT hasAccount a UserAccount and that UserAccount is an accountAtSite ?SITE. This also means that there is a part of the userDatabase of ?SITE that represents the ?AGENT. |
| relatedEvent | (relatedEvent ?EVENT1 ?EVENT2) とは、Process ?EVENT1 がプロセス ?EVENT2 に関連していることを意味lする。関係は、イベントとそのサブプロセスでは なく、個別間のイベントである。一方、2つの同じ包括的なイベントの subProcesses は relatedEvent であってもよい。引数の順序は、一時的な順序という結果になるわけではない。 |
| relatedInternalConcept | 2つの引数がSUMO内の関連する概念、と いう意味である。例えば、それらの間での意味にはかなりの類似性がある。SUMO概念と別のソースからの概念 間の意味関係を示すには述語 relatedExternalConcept を使用する。 |
| relative | (relative ?O1 ?O2) means that ?O1 and ?O2 are relatives, whether through common ancestry (consanguinity), someone's marriage (affinity), or someone's adoption. This definition is intentionally broad, so as to capture a wide array of `familial' relations. The notion of who counts as `family' also varies between cultures, but that aspect of meaning is not addressed here. |
| relativeHumidity | (relativeHumidity ?AREA ?AMOUNT) means that the amount of moisture in the air at ?AREA is ?AMOUNT. Relative humidity expresses the amount of moisture as a percentage, or ratio, between the actual moisture saturation of the air compared to the potential moisture saturation of the air. At full (potential) saturation, precipitation would occur. |
| religiousAffiliationOfOrganization | (religiousAffiliationOfOrganization ?ORG ?BELIEF) means that one of the goals of ?ORG is to advance the religious teachings of the BeliefGroup ?BELIEF. |
| represents | 非常に一般的な記号論 Predicate。 (represents ?THING ?ENTITY) とは、?THING が何らかの方法で?ENTITYに対して示し、表現、意味、 描写、記述などすることを意味する。 Predicates containsInformation と realization は represents の サブリファリレーションである。 注:represents は、refers の サブリレー ションである。それがこの他のものを参照している場合にのみ何かが他のものを表すことができるのからであ る。names のドキュメント文字列を参照。 |
| requestRate | (requestRate ?Request ?Period) means that ?Period is the period at which the user sends its ?Request. |
| reservationChannel | (reservationChannel ?ENTITY ?RESERVE) means that ?ENTITY was used by the reservingEntity in order to create the reservation, like an intermediary agent. |
| reservationEnd | (reservationEnd ?TIME ?RESERVE) means that the use of a resource or consumption of a service which is the object of ?RESERVE is expected to end at ?TIME |
| reservationStart | (reservationStart ?TIME ?RESERVE) means that the use of a resource or consumption of a service which is the object of ?RESERVE starts at ?TIME |
| reservePrice | (reservePrice ?AUCTION ?AMOUNT) means that if an Auctioning was won (i.e. has a destination) then the buyer bid higher than ?AMOUNT. |
| reservedPackage | (reservedPackage ?RESERVE ?PACKAGE) means that the customer has reserved for the HotelPackage ?PACKAGE |
| reservedRoom | (reservedRoom ?RESERVE ?ROOMTYPE) means that the &$HotelUnit ?ROOMTYPE is the requested room type for the hotel stay indicated by HotelReservation ?RESERVE |
| reservingEntity | (reservingEntity ?ENTITY ?RESERVE) means that ?ENTITY is the AutonomousAgent reserving a particular resource indicated by ?RESERVE |
| resonantFrequency | The natural resonancy frequency of a system. A system that is undamped or underdamped will oscillate at this frequency, at least for a while, after a force is applied. |
| resourceExhausted | (resourceExhausted ?PROCESS ?RESOURCE) とは、?RESOURCE が ?PROCESS の開始時に存在し、?PROCESS によって使用され、その結果、?PROCESS に よって完全に使い古されたことを意味する。 例:燃料は、次の命題で使用される resourceExhausted で ある: 飛行機は燃料を使い果たし、海に不時着した。 |
| resourceUsed | (resourceUsed ?Process ?Resource) means that the ComputerProcess ?Process has access to the ComputerResource ?Resource. |
| responseRate | (responseRate ?Response ?Period) means that ?Period is the period at which the computer sends its ?Response. |
| responseTime | The time it takes for the computer to comply with a user's request, such as looking up a customer record. |
| restingBreathingRate | The breathing rate at rest of a human, in beats per minute. |
| restingHeartRate | The heart rate at rest of a human, in beats per minute. |
| resultType | (resultType ?PROCESS ?TYPE) means that the Process ?PROCESS produces some result(s) of the type ?TYPE. |
| rewards | A relation between two Agents where the first represents some Organization, and is authorized by it to take some action for the second AutonomousAgent. Note that this does not include cases where one individual simply takes action for another individual, such as a parent rewarding a child for good behavior. It also must be a response to some real or perceived action, rather than spontaneous positive action. The Organization must in some sense want the reward to be given, either collectively or simply because the rewarder is an authorized representative who decides on the reward. Note that one agent could both punish and reward another agent. |
| riskLevel | Relates an instance of Investing to the level of risk associated with the investment. |
| riskTolerance | |
| rMProgramOf | (rMProgramOf ?RM ?SYSTEM) means that ?RM is the resource management program of the SoftwareSystem ?SYSTEM. |
| roastedToTemperature | roastedToTemperature is a BinaryRelation linking the temperature in Celsius of the Object that are roasted to. |
| roomAmenity | (roomAmenity ?ROOM ?PHYS) means that TravelerAccommodation provides Physical ?PHYS in HotelUnit ?ROOM |
| roomAttribute | (roomAttribute ?ROOM ?ATTR) means that all instances of HotelUnit ?ROOM has attribute ?ATTR |
| roomPolicy | (roomPolicy ?ROOM ?POLICY) means that Policy ?POLICY is applied to the HotelUnit ?ROOM |
| someRoomsPolicy | (someRoomsPolicy ?INV ?POLICY) means some rooms in RoomInventory ?INV have roomPolicy ?POLICY |
| allRoomsPolicy | (allRoomsPolicy ?INV ?POLICY) means that all rooms in RoomInventory ?INV have roomPolicy ?POLICY |
| roomTempState | |
| routeEnd | (routeEnd ?REGION ?SYSTEM) means that within the given ?SYSTEM the given ?REGION is connected to only one other Region. |
| routeInSystem | (routeInSystem ?PART ?SYSTEM) means that the Transitway ?PART is an established route of the TransportationSystem ?SYSTEM. |
| routeStart | (routeStart ?REGION ?SYSTEM) means that within the given ?SYSTEM the given ?REGION is connected to only one other Region. |
| runningOn | (runningOn ?Program ?Computer) holds if the ComputerProgram ?Program is being executed on ?Computer. |
| runsOn | (runsOn ?Program ?Computer) means that ?Program is capable of running on ?Computer with its current configuration of installed software. |
| says | A basic predicate of Communicating that also entails that the agent is aware of the Formula he or she is communicating. This excludes talking in one's sleep, brain stimulation that causes an utterance, or unconscious parroting of some word or phrase. This can also include writing or gesturing. |
| screenOfGUIE | (screenOfGUIE ?GUIE ?SCREEN) means that the GUIElement, ?GUIE, is displayed on, or at least logically assigned to be displayed on the ComputerScreen, ?SCREEN. |
| 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. |
| searchQueryRewrite | (SearchQueryRewrite ?QUERY1 ?QUERY2) means that the SearchQuery ?QUERY2 occured before the &SearchQuery ?QUERY1, and they both represent the same SearchAttempt. |
| searchResult | (searchResult ?RESULT ?SA) relates a WebListing to a SearchAttempt where the listing is in the SRPResults. |
| seatsInOrganizationCount | (seatsInOrganizationCount ?ORG ?NUMBER) means that there is a total ?NUMBER of seats in the Organization ?ORG. |
| voltageRatingSecondary | voltageRatingSecondary is a BinaryPredicate which maps the MeasurementAttribute, VoltageRatingSecondary of an ElectricalTransformer to a value of FunctionQuantity it distribute (output). |
| secretesSubstance | (secretesSubstance ?OBJ ?STUFF) means that the subclass of OrganicObject (either Organism or BodyPart) ?OBJ produces the subclass of Substance ?STUFF. |
| secretesToxin | (secretesToxin ?ORGANISM ?TOXIN) means that the subclass of Organism ?ORGANISM produces the subclass of Toxin ?TOXIN. |
| securedBy | Assets pledged by a borrower to secure a loan or other credit, and subject to seizure in the event of FinancialDefault. |
| sendRate | (sendRate ?Program ?Period) holds if ?Period is the period at which the ComputationalSystem ?System sends data reports. |
| sententialObject | (sententialObject ?OBJECT ?SENTENCE) means that the NounPhrase ?OBJECT is the object of the Sentence ?SENTENCE. |
| sententialSubject | (sententialSubject ?SUBJECT ?SENTENCE) means that the NounPhrase ?SUBJECT is the subject of the Sentence ?SENTENCE. |
| allRoomsServiceAmenity | (allRoomsServiceAmenity ?INV ?SVC) means that all rooms in RoomInventory ?INV have roomAmenity ?SVC |
| someRoomsServiceAmenity | (someRoomsServiceAmenity ?INV ?SVC) means that there are rooms in RoomInventory ?INV that have roomAmenity ?SVC |
| 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. |
| settlingTime | (settlingTime ?PROGRAM ?TIME) says that ?TIME represents seconds to delay after an action was taken with respect to QoS. |
| shape | (shape ?OBJECT ?SHAPE) means that the shape of ?OBJECT is ?SHAPE. |
| shareHolder | (shareHolder ?Stock ?Agent) means that ?Agent possesses shares of Stock in a corporation or mutual fund. |
| shareOf | |
| shutdownOf | (shutdownOf ?SHUTDOWN ?PROGRAM) holds just in case an instance of ShutdownBlock ?SHUTDOWN specifies a set of instructions to end ?PROGRAM. |
| 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. |
| side | (side ?SIDE ?OBJECT) とは、?SIDE が top または %bottom ではなくオブジェクトの側であることを意味する。 |
| sideEffect | A predicate that is used to specify a side effect of a substance used in a medical treatment. (sideEffect ?SUBSTANCE ?SYNDROME) means that the BiologicallyActiveSubstance ?SUBSTANCE has the side effect ?SYNDROME. |
| sideOfFigure | (sideOfFigure ?SIDE ?FIGURE) means that the OneDimensionalFigure ?POINT is a side of the GeometricFigure ?FIGURE. |
| signedBy | (signedBy ?Instrument ?Agent) means that ?Instrument has been signed by ?Agent. |
| simpleDeadline | (simpleDeadline ?PATH ?TIME)holds if ?TIME is the maximum end-to-end path latency during a cycle of a continuous or quasicontinuous path or during the activation of a transient path. |
| siteCatalog | (siteCatalog ?DATABASE ?WEBSITE) relates a Database and a WebSite, and signifies that ?DATABASE has a part which represents a Collection of Physicals which have the capability of being the patient of a Buying where ?WEBSITE is the eCommerceSite of the Buying. |
| siteForContact | (siteForContact ?ContactSite ?AutonomousAgent) means that the Human or Organization ?AutonomousAgent can be reached at or via the point of contact ?ContactSite. |
| sliceOfFigure | (sliceOfFigure ?SLICE ?FIGURE) indicates that ?SLICE is a 2-d section of the 3-d figure ?FIGURE. Or, more formally, ?SLICE is 2-d figure formed by the intersection of a plane with the 3-d figure ?FIGURE. |
| slidingWindowSize | (slidingWindowSize ?PATH ?N) holds if PATH has a realtime QoS sliding window size of ?N measured samples. |
| slopeGradient | (slopeGradient ?AREA ?SLOPE) means that in the LandArea ?AREA there is an incline of ?slope, where ?SLOPE is the percent of vertical rise over horizontal distance. slopeGradient gives an approximate value for nonzero slope over ?AREA, without regard to orientation. For example, (slopeGradient ?AREA 0.10) means that there is a 10% incline across the area, without specifying the orientation in which the land rises or falls. Also see slopeGradientTowardsOrientation. |
| smaller | (smaller ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 より もすべての LengthMeasure に対して小さいことを意味する。 |
| softwarePath | (softwarePath ?SYSTEM ?PATH) means that ?PATH is a computer path for the instance of SoftwareSystem ?SYSTEM. |
| someRoomsAttribute | (someRoomsAttribute ?INV ?ATTR) means some rooms in RoomInventory ?INV have RelationalAttribute ?ATTR |
| son | The general relationship of being a son. (son ?CHILD ?PARENT) means that ?CHILD is the biological son of ?PARENT. |
| songArtist | (songArtist ?MR ?A) means that CognitiveAgent ?A was the agent in recording MusicRecording ?MR |
| soundFrequency | A relation between a Process of MusicalTone and the fundamental frequency of that tone. |
| speaksLanguage | (speaksLanguage ?AGENT ?LANGUAGE) means that the SentientAgent ?AGENT is capable of understanding and/or generating the Language ?LANGUAGE. |
| sphereRadius | (sphereRadius ?OBJECT ?LENGTH) means the radius of the spherical Object, ?OBJECT, is ?LENGTH. |
| standardErrorDevice | (standardErrorDevice ?PROGRAM ?DEVICE) holds just in case the DEVICE is the predefined error channel with which the running version of this program is initialised. |
| standardInputDevice | (standardInputDevice ?PROCESS ?DEVICE) holds just in case the DEVICE is the predefined input channel with which the running version of the program PROCESS is initialised. |
| standardOutputDevice | (standardOutputDevice ?PROGRAM ?DEVICE) holds just in case the DEVICE is the predefined output channel with which the running version of this program is initialised. |
| standardRetailHours | (%&standardRetailHours ?TIMEINT ?AGENT) means that an ?AGENT engages in Selling processes with customers only within the time specified by ?TIMEINT |
| startsDuring | (startsDuring ?INTERVAL1 ?INTERVAL2) means that the end point of ?INTERVAL1 starts during ?INTERVAL2. |
| startupOf | (startupOf ?STARTUP ?PROGRAM) holds just in case an instance of StartupBlock ?STARTUP specifies a set of instructions to start the ?PROGRAM. |
| startupTimeDelay | (startupTimeDelay ?PROGRAM ?TIME) says that ?TIME is the time to delay after the previous application was started before starting the application ?PROGRAM. |
| stateOfProcess | (stateOfProcess ?PROCESS ?STATE) says that ?STATE is a state of the ComputerProcess ?PROCESS. |
| statementAccount | (statementAccount ?Statement ?Account) means that ?Account is the account of the BankStatement ?Statement. |
| statementInterest | (statementInterest ?Statement ?Amount) holds if ?Amount is the interest amount as shown on the BankStatement ?Statement. |
| statementPeriod | (statementPeriod ?Statement ?Period) means that ?Period is the time period of the BankStatement ?Statement. |
| 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. |
| status | (status ?PROCESS ?STATUS) holds if ?STATUS is the current status of ?PROCESS. |
| stays | The relation between a Human and a TemporaryResidence of the Human. |
| stepfather | (stepfather ?PERSON ?FATHER) means that ?FATHER is the stepfather of ?PERSON, i.e. ?FATHER is the spouse of the mother of ?PERSON, without also being the father of ?PERSON. |
| stepmother | (stepmother ?PERSON ?MOTHER) means that ?MOTHER is the stepmother of ?PERSON, i.e. ?MOTHER is the spouse of the father of ?PERSON, without also being the mother of ?PERSON. |
| stockHolder | (stockHolder ?Stock ?Agent) means that ?Agent possesses the Stock ?Stock. |
| stockSymbol | A unique symbol assigned to a security. NYSE and AMEX listed stocks have symbols of three characters or less. NASDAQ_listed securities have four or five characters. |
| 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. |
| stranger | (stranger ?H1 ?H2) means that ?H1 has not met ?H2, or, in other words, (not (acquaintance ?H1 ?H2)). Statements made with stranger should be temporally specified with holdsDuring. Note that stranger is not symmetric, meaning that ?H2 might know ?H1. For the symmetric version, see mutualStranger. |
| streamOutfall | (streamOutfall ?WATER ?RIVER) means that the WaterArea ?MOUTH is the outfall of the River ?RIVER. |
| strictness | (strictness ?System ?Attribute) holds if the StrictnessAttribute ?Attribute describes the RealtimeSystem ?System. |
| strikePrice | The specified price on an option contract at which the contract may be exercised, whereby a call option buyer can buy the underlier or a put option buyer can sell the underlier. |
| stringLength | (stringLength ?NonnegativeInteger ?SymbolicString) means that the number of Characters in ?SymbolicString is ?NonnegativeInteger. Example: (stringLength 14 "Charles Darwin"), which is a True Sentence. |
| student | (student ?AGENT ?ORG) means that ?AGENT is enrolled in the EducationalOrganization ?ORG. |
| subAttribute | 2番目の引数が、最初の引数が割り当てられているす べてのものに割り当てられる、という意味である。 |
| subCollection | (subCollection ?COLL1 ?COLL2) とは Collection ?COLL1が、Collection ?COLL2C2の適切な部分、という意味である。 |
| subEchelon | A subEchelon is a relationship between named organizational unit types in which a unit of one type is a subOrganization of the other. |
| subGraph | 一方の Graph がもう一方の Graph の一部である 場合の2つの Graph の関係。 (subGraph ?GRAPH1 ?GRAPH2) とは、?GRAPH1が ?GRAPH2の一部である ことを意味する。 |
| subLanguage | (subLanguage ?Language-1 ?Language-2) means that ?Language-1 is included in, or subsumed by, ?Language-2. Since subLanguage is a ReflexiveRelation, every Language is a subLanguage of itself. |
| subList | (subList ?LIST1 ?LIST2) とは、?LIST1 が ?LIST2 のサブリスト、すなわち ?LIST2 であることを意味する。?LIST1 のすべての要素は ?LIST2 の要素であり、 両方の List に共通する要素は両方の List で同じ順序である。両方のリストに共通で、一方のリストで 連続している要素も、もう一方のリストで連続している必要がある。(したがって- 10より小さい素数の リスト[1 2 3 5 7]は、10[1 2 3 5 6 7 8 9]より小さい自然数のサブリストではない。 |
| subProcess | (subProcess ?SUBPROC ?PROC) は、?SUBPROC が ?PROC のサブプロセスであることを意味する。サブプロセスは、 Process の一時的に区別された部分(適切 かどうか)として理解されている。 |
| subProposition | (subProposition ?PROP1 ?PROP2) とは、 ?PROP1が Proposition で、Proposition ?PROP2 の適切な部分である、という意味である。言い換え れば、subProposition は、大量の抽象的なコンテンツの properPart の類似体である。 |
| subString | (subString ?SymbolicString-1 ?SymbolicString-2) means that ?SymbolicString-1 is part of ?SymbolicString-2. ?SymbolicString-2 includes all the same Characters as ?SymbolicString-1 and in the same order, but ?SymbolicString-2 may include more Characters than ?SymbolicString-1. See also inString. |
| subSystem | (subSystem ?SUB ?SYSTEM) とは、PhysicalSystem ?SUB が PhysicalSystem ?SYSTEM の一部である、という意味である。 |
| subBrand | (subBrand ?BRAND1 ?BRAND2) means that Brand ?BRAND2 uses the identity and reputation propagated by ?BRAND1 but is applied to a more specific set of objects |
| subclass | (subclass ?CLASS1 ?CLASS2) とは、?CLASS1 が?CLASS2の subclass である、という意味である。例えば、?CLASS1のすべての instance も?CLASS2 の instance である。 |
| subrelation | (subrelation ?REL1 ?REL2) とは、?REL1 の すべてのタプルは ?REL2 のタプルでもある、という意味である。 言い換えれば、Relation ?REL1 は いくつかの引数 arg_1、 arg_2 ... arg_n、 に対して保持される。 そして Relation ?REL2 は同じ 引数を保持する。 この結果、Relation とそのサブリレーションが同じ valence でなければなら ない。 |
| subset | (subset ?SET1 ?SET2) は、Set ?SET1のelement も Set ?SET2 の element の場合に備えて当てはまる。 |
| substanceElement | A relation from a kind of Substance to the CorpuscularObjects that make up the substance. For example, the substance Blood has elements RedBloodCell, WhiteBloodCell etc. |
| subsumesContentClass | BinaryPredicate は、 ContentBearingPhysical の2つのサブクラスを関連付ける 。(subsumesContentClass ?CLASS1 ?CLASS2) とは、?CLASS2の各インスタンスによって表されるコンテンツも ?CLASS1の各インスタンスによっ て表される。 例:詩とそのスタンザの1つまたは本とその章の間の関係。 注1:これはインスタンスでは なく、ContentBearingObject のサブクラス間の関係である。インスタンスを関連付けたい場合は、 Predicate subsumesContentInstance を使用できる。 注2:多くの場合、subsumesContentClass が必要である。例えば、聖書のジェームズ王版とその創世記との関係を考えてみる。このリレーションシップは、 単一のインスタンスだけでなく、このエディションのすべてのコピーに対して当てはまる。 |
| subsumesContentInstance | BinaryPredicate は、 ContentBearingPhysical の2つのインスタンスに関連する。(subsumesContentInstance ?OBJ1 ?OBJ2) とは、?OBJ2によって表されるコンテンツが?OBJ1によって表されるコンテンツの一部であることを意味する。 例として、手書きの詩とそのスタンザの関係である。 注:これは、Classes ではなく、インスタンス間の 関係である。 Classes 間のコンテンツリレーションシップをアサートする場合、(例えば、知的な仕事の バージョンとその作業の一部の間など)関係 subsumesContentClass を使用する必要がある。 |
| successorAttribute | (successorAttribute ?ATTR1 ?ATTR2) とは、 それらが共有する規模で?ATTR2は、?ATTR1の直後にあるAttribute、という意味である。 |
| successorAttributeClosure | successorAttribute の推移的 閉鎖。 (successorAttributeClosure ?ATTR1 ?ATTR2) とは、?ATTR1と?ATTR2を接続する successorAttribute アサーションのチェーンがる、という意味である。 |
| successorClass | 次のクラスは、曜日などのクラスのシーケンスであ る。最初の引数は、2番目の引数の 「前」 である。 |
| successorOrganization | (successorOrganization ?OLD ?NEW) means that the Organization ?OLD was transformed or merged into, or otherwise succeeded by, the Organization ?NEW. |
| suffrageAgeMaximum | (suffrageAgeMaximum ?POLITY ?AGE) means that in the Organization or GeopoliticalArea ?POLITY, a person must be ?AGE or younger in order to vote in the elections of ?POLITY. |
| suffrageAgeMinimum | (suffrageAgeMinimum ?POLITY ?AGE) means that in the Organization or GeopoliticalArea ?POLITY, a person must be ?AGE or older in order to vote in the elections of ?POLITY. |
| superficialPart | (superficialPart ?OBJ1 ?OBJ2) とは、 ?OBJ1 は ?OBJ2 の内部部分を持たない部分という意味である。 (または、直感的には、?OBJ2 の単なる補数 と外部的に接続されている ?OBJ2 の部分としか重なっていない)。これも MereologicalSumFn と MereologicalProductFn 下の閉ざされた推移的な関係である。 |
| suppliesBlood | A relation between a class of Artery and a class of BodyPart that that indicates blood is supplied through the artery to the part in a normal and healthy version of an organism. |
| surface | (surface ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 の 最大接続 superficialPart であることを意味する。 注:一部の SelfConnectedObjects には複数 の表面がある。例:テニスボールのような中空の物体は、内側と外側の両方の面を持っている。 |
| surfaceWindDirection | (surfaceWindDirection ?PLACE ?DIRECTION) means that at ?PLACE the wind is coming from the compass point ?DIRECTION. For example, (surfaceWindDirection SanFranciscoBay Northwest) means that the wind in San Francisco Bay is coming from the Northwest. The wind is within 500 feet of Earth's surface. |
| surfaceWindSpeed | (surfaceWindSpeed ?PLACE ?RATE) means that the speed of the surface Wind at the GeographicArea ?PLACE is ?RATE. Wind speed may be expressed in knots (KnotUnitOfSpeed) or as any distance per time unit (using (SpeedFn ?DISTANCE ?TIME)). Surface wind is found at the surface of the planet, everyday wind. Technically, Winds moving through the atmosphere up to an altitude of 500 feet. |
| systemBehavior | (systemBehavior ?System ?Attribute) holds if ?Attribute is a SystemBehaviorAttribute which describes the RealtimeSystem ?System. |
| systemMeasured | (systemMeasured ?Event ?System) means that ?Event is an event of measuring the performance of the ComputationalSystem ?System. |
| systemPart | (systemPart ?PART ?SYSTEM) とは、Physical事 ?PARTが PhysicalSystem の SystemElement であることを意味する。 |
| systolicBloodPressure | The systole is the part of the cardiac cycle during which some chambers of the heart muscle contract after refilling with blood. Systolic pressure is the highest pressure in the arteries during this period. [from Wikipedia]. |
| tangent | (tangent ?LINE ?CIRCLE) means that the straight line ?LINE is tangent to the curve of figure ?CIRCLE, i.e. ?LINE touches ?CIRCLE without intersecting it. |
| targetInAttack | This relation identifies the patient in the event that is the object of the attack. |
| task | (task ?Process ?Task) means that ?Task is a function to be performed by the ComputerProcess ?Process. |
| taskRelation | (taskRelation ?System ?Attribute) holds if ?Attribute is a TaskRelationAttribute which describes the RealtimeSystem ?System. |
| teacher | (teacher ?AGENT ?ORG) means that ?AGENT is a teacher at the EducationalOrganization ?ORG. |
| 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 |
| temporalPart | 空間 part 述部の時間アナログ。(temporalPart ?POS1 ?POS2) とは、TimePosition ?POS1が TimePosition ?POS2 の一部であることを意味する。 注:temporalPart はすべての TimePostion の ReflexiveRelation であるため、それ自体の TimePostion である。 |
| tenant | (tenant ?PERSON ?UNIT) means that ?PERSON is a tenant of the Residence ?UNIT, i.e. he or she is renting the unit. |
| terrainInArea | (terrainInArea ?AREA ?ATTRIBUTE) means that the GeographicArea ?AREA is or includes a region with the features of TerrainArea ?ATTRIBUTE. |
| third | (third ?THIRD ?WHOLE) means that ?THIRD is one third of ?WHOLE. |
| thresholdOf | |
| time | この関係は、前者の一時的な寿命が後者を含む場合に備えて、 Physical のインスタンスと TimePosition のインスタンスの間に保持されます。言い換えれば、 (time ?THING ?TIME) とは、?THING が ?TIME に存在していたか、または ?TIME で起こったことを意味 する。 注:holdsDuring が Formula のインスタンスに対して行うことを time もインスタンスに 対して行う。 定数 located と time は、それぞれ基本的な空間および時間の述語である。 |
| titles | A BinaryPredicate used to indicate the title of a ContentBearingPhysical. Note that the second argument type restriction is a subclass, rather than an instance, of ContentBearingPhysical. Thus, the title Murder-on-the-Orient-Express corresponds to a large class of Books, and not just to a single copy of the book. |
| top | (top ?TOP ?OBJECT) とは、?TOP が ?OBJECT の最も高い 表面的な部分であることを意味する。 |
| topSpeed | The maximum speed under normal conditions for a vehicle. For a RoadVehicle this would be on level ground, no headwind or tailwind, 70 degrees F, standard recommended fuel etc. For an Aircraft this would mean level flight out of ground effect. Because of the number of external factors on top speed, all that can be said formally is that higher speeds are unlikely. |
| total | A binaryPredicate which relates a class of Quantities to their sum. |
| totalArea | (totalArea ?REGION ?AMOUNT) means that the total area of ?REGION is the AreaMeasure ?AMOUNT. |
| totalBalance | The initial balance of a loan, which is the amount borrowed. |
| totalBiomass | (totalBiomass ?PLACE ?MASS) means that the total amount (in weight or volume) of living matter in the Region ?PLACE is ?MASS. |
| totalCoastline | (totalCoastline ?AREA ?COASTLENGTH) means that the total length of all boundaries between the GeographicArea ?AREA and the ocean is the LengthMeasure ?COASTLENGTH. The coastline counted may be discontinuous and may even be along different oceans (as in Columbia). A totalCoastline of zero indicates a LandlockedArea. Note that only Ocean coastlines are counted, not any shores with inland waters. |
| totalLandBoundary | (totalLandBoundary ?REGION ?LENGTH) means that the GeographicArea ?REGION has a total LengthMeasure ?LENGTH of land boundaries between it and other countries. Note that the boundaries included in the total length may be discontinuous, as when interrupted by stretches of Seacoast. |
| totalLengthOfHighwaySystem | (totalLengthOfHighwaySystem ?AREA ?LENGTH) means that the total length of the highway system in the GeographicArea ?AREA is ?LENGTH. The figure includes both paved and unpaved roads. |
| totalLengthOfRailwaySystem | (totalLengthOfRailwaySystem ?AREA ?LENGTH) means that the sum length of all railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH. |
| totalLengthOfWaterways | (totalLengthOfWaterways ?AREA ?LENGTH) means that the total length of navigable Waterways in the GeographicArea ?AREA is the LengthMeasure ?LENGTH. |
| totalOrderingOn | BinaryRelation ?REL は、SetOrClass に 対する合計順序付けが、SetOrClass 内のすべての?INST1および?INST2に対する (?REL ?INST1 ?INST2) または (?REL ?INST2 ?INST1) のどちらかの部分順序である場合のみである。 |
| totalPipelineInArea | (totalPipelineInArea ?AREA ?LENGTH) means that the GeopoliticalArea ?AREA has ?LENGTH of Pipelines. |
| totalGDP | (totalGDP ?AREA ?AMOUNT) means that the value of all final goods and services produced within the GeopoliticalArea ?AREA is ?AMOUNT, in U.S. dollars, calculated on a purchasing power parity basis. This represents Gross Domestic Product (GDP). See PPPBasedEconomicValuation. |
| trackWidth | The distance between the two rails of a Railway. |
| trafficableForTrafficType | (trafficableForTrafficType ?WAY ?TYPE) means that Objects of ?TYPE can move along the Transitway ?WAY. |
| transactionAmount | (transactionAmount ?TRANSACTION ?AMOUNT) は、?AMOUNT が FinancialTransaction ?TRANSACTION に取り出されている CurrencyMeasure のインスタンスであることを意味する。 |
| transformerCapacity | |
| transported | (transported ?EVENT ?OBJ) means that ?OBJ is transported (carried/moved to a different physical location) in the Transportation ?EVENT. |
| traverses | (traverses ?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2を 横切るか、または延長することを意味する。 注:crosses と penetrates は traverses のサブ リレーションである。 |
| treatedPage | BinaryPredicate tying pages to an experiment. (treatedPage ?WEBPAGE ?EXPERIMENT) means that an agent of AccessingWebPage where the WebPage ?WEBPAGE is the destination will be the experiencer of a Process which is a member of the QualifyingEventsFn of the Experimenting ?EXPERIMENT. |
| treatedPageDefinition | (treatedPageDefinition ?EXPERIMENT ?FORMULA) means that if the the Formula ?FORMULA refers to a WebPage, that WebPage is a treatedPage in the context of the Experimenting ?EXPERIMENT. |
| treatedUser | (treatedUser ?VISITOR ?EXPERIMENT) means that ?VISITOR experienced a Qualifying Event of ?EXPERIMENT. |
| treatmentGroup | (treatmentGroup ?COLLECTION ?EXPERIMENT) means that ?COLLECTION is the group of all agents who have experienced an experimentalVariableProcess of ?EXERIMENT, where ?EXPERIMENT is an instance of Experimenting. |
| tributary | A Relation between two areas of Fluid where one flows into the other and the first argument is an area of smaller width or flow rate. |
| trichotomizingOn | A BinaryRelation ?REL は、SetOrClass のすべてのインスタンス?INST1と?INST2に対して、(?REL ?INST1 ?INST2) (?REL ?INST2 ?INST1)または(?INST1 ?INST2と等しい) のいずれかを保持している場合にのみ、 SetOrClass 三分される。 |
| trustedDevice | A particular Computer is listed on a UserAccount as being trusted. This is a common security protocol that typically makes logging in to the device easier, while adding some extra procedure, such as two_factor authentication, for a device not registered with the account. |
| truth | The BinaryPredicate that relates a Sentence to its TruthValue. |
| typicalAction | (typicalAction ?PROCESS ?CLASS) means that instances of the class ?AGENT are typically an active determinant of instances of the Process class ?PROCESS. |
| typicalBloodVolume | The typical, approximate volume of Blood for the given class of Mammal. |
| typicalPart | An instance of the first argument is typically found as part of an instance of the second argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such wholes typically have such parts. |
| typicalTemporalPart | An instance of the first argument is typically a temporal part of an instance of the second argument. This is a class_level relation roughly corresponding to temporalPart. Note that this does not imply that such wholes typically have such parts. |
| typicallyContainsPart | An instance of the second argument typically contains an instance of the first argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such parts typically have such wholes. |
| typicallyContainsTemporalPart | An instance of the second argument typically contains an instance of the first argument. This is a class_level relation roughly corresponding to part. Note that this does not imply that such parts typically have such wholes. |
| udaCanSignify | (udaCanSignify ?DIRECT_ACTION_TYPE ?SIGNIFIED_ACTION_TYPE) means that an instance of the UserDirectAction ?DIRECT_ACTION can signify to a program an instance of the UserSignifiedAction ?SIGNIFIED_ACTION_TYPE. |
| uncle | (uncle ?UNCLE ?PERSON) means that ?UNCLE is the brother of a parent of ?PERSON. |
| underageUser | (underageUser ?HUMAN ?SITE) means that ?HUMAN is a webVisitor of ?SITE but is under 18 years old. |
| underlier | (underlier ?Option ?Instrument) means that ?Instrument is a security which is subject to delivery upon exercise of ?Option. |
| unemploymentRateOfArea | (unemploymentRateOfArea ?AREA ?RATE) means that the unemployment rate in the GeographicalArea ?AREA is ?RATE. |
| uniqueIdentifier | Entity のインスタンスを一意に識別する name のクラス。 uniqueIdentifier の例としては、データベース アプリケーションのテーブルのキー と ISBN (国際標準書籍番号) がある。 |
| unitMeasuringPerformance | (unitMeasuringPerformance ?COMPONENT ?UNIT) holds in case ?UNIT is an instance of UnitOfMeasure which is used to measure the performance of ?COMPONENT. |
| unitNumber | (unitNumber ?STR ?PLACE) means that ?STR represents the particular unit or space within the building that a PostalPlace is located |
| unpaidItem | (unpaidItem ?ITEM ?AGENT) means that ?AGENT Promised to buy ?ITEM, but did not. |
| unratifiedSignatoryToAgreement | (unratifiedSignatoryToAgreement ?AGENT ?PROP) means that the AutonomousAgent ?AGENT has signed a document to begin the process of committing to the Agreement ?PROP, but that a ratification process required to complete the commitment has not yet occurred. |
| urlString | The SymbolicString form of a UniformResourceLocator. |
| webPageURL | The UniformResourceLocator at which a particular WebPage may be found. Note that this is a relation since the same page may be found at different locations. |
| userDatabase | (userDatabase ?DATABASE ?WEBSITE) relates a Database and a WebSite, and signifies that ?DATABASE has a part which represents the Collection of users of the ?WEBSITE - i.e. members of this collection are Agents who are agents of an AccessingWebPage where the patient of the accessing is component of ?WebSite. |
| userFeedbackScore | (userFeedbackScore ?ACCOUNT ?SCORE) associates a UserAccount with a RealNumber which represents the scored feedback on that account by other users on the same site. |
| userIDString | (userIDString ?STRING ?ACCOUNT) Associates an Identifer ?STRING to a UserAccount ?ACCOUNT. The ?STRING represents the user which hasAccount ?ACCOUNT. Every UserAccount has a userIDString. They are likely to be unique. |
| uses | (uses ?OBJECT AGENT) とは、?OBJECTが ?AGENT によっ て不特定の Process の計測器として使用される、という意味である。 この Predicate は、その対応す る公理が示すように、 CaseRoles agent および instrument の組成物である。 |
| vaccine | |
| valence | 関連できる引数の数を指定する。 関係に引数の固定数が ない場合、それにはバレンスがなく、VariableArityRelation のインスタンスである。 |
| validFor | (validFor ?SCHEME ?AGENT) means that CurrencyMeasure that PricingScheme refers to applies to AutonomousAgent ?AGENT |
| validPaymentType | (validPaymentType ?SCHEME ?PAYMENT) means that the CurrencyMeasure that PricingScheme refers to is valid for the given Payment class |
| validityPeriod | (validityPeriod ?SCHEME ?TIMEINT) means that the CurrencyMeasure that PricingScheme refers to is valid for the given TimeInterval |
| vegetationType | (vegetationType ?area ?type) associates a particular GeographicArea with a type of Plant that is found there. |
| 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. |
| vesselDeadWeightTonnage | (vesselDeadWeightTonnage ?VESSEL ?AMOUNT) means that the WaterVehicle ?VESSEL has a carrying capacity when fully loaded of ?AMOUNT in LongTons. This is the Dead Weight Tonnage, or DWT, of the vessel, which is the total weight of cargo plus stores that the vessel can carry when immersed to the proper load line. |
| vesselDisplacement | (vesselDisplacement ?VESSEL ?AMOUNT) means that the displacement of WaterVehicle ?VESSEL is the PhysicalQuantity ?AMOUNT. The displacement of a vessel may be measured in LongTons (Dead Weight Tonnage, or DWT) or by volume (Gross Registered Tonnage, or GRT). |
| vesselGrossRegisteredTonnage | (vesselGrossRegisteredTonnage ?VESSEL ?AMOUNT) means that the WaterVehicle ?VESSEL has a carrying capacity when fully loaded of ?AMOUNT, where ?AMOUNT is the Gross Registered Tonnage (GRT) of the vessel, which is based on the total sheltered volume of the vessel measured in hundreds of cubic feet, and converted to gross tons at an equivalence of 100 cubic feet per ton. |
| viewType | (viewType ?REGION ?OBJ) means that a person in ?REGION can see ?OBJ |
| viewedListing | (viewedListing ?AGENT ?LISTING) means that there is an instance of AccessingWebPage where ?AGENT is the agent of the accessing and a component of the page is the WebListing ?LISTING |
| hearingAcuity | A Measuring of auditory acuity defined as the ability to hear frequencies from 250 to 8000 Hertz at a certain sound pressure level. |
| voltageMeasure | (voltageMeasure ?OBJ ?MEAS) describes how much electricity ?OBJ, a power source, generates |
| wants | (wants ?AGENT ?OBJECT) とは、?OBJECT が ?AGENT に よって望ましいことを意味する。 つまり、?AGENT は、OBJECT がその目標の1つを満たすと信じている。 注:エージェントが望むものがエージェントによって既に所有されていないという結果はない。 |
| warmSeasonInArea | (warmSeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the warm season occurs during the TimeInterval ?INTERVAL. |
| waterAreaOnly | (waterAreaOnly ?REGION ?MEASURE) means that the total area(s) of surface water within the GeographicArea ?REGION has the AreaMeasure ?AMOUNT. The pieces of water need not be continuous within the region. |
| waterDepth | (waterDepth ?AREA ?LENGTH) means that the depth of water at the Region ?AREA is ?LENGTH. |
| waveHeight | waveHeight is a BinaryPredicate. (waveHeight ?WW ?X) means that ?X is the LengthMeasure of the difference between the altitude of the crest and its leading trough of the BodyOfWater of where a ?WW (WaterWave) takes place. |
| wavelength | (wavelength ?RADIATION ?MEASURE) means that the instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE. |
| wears | (wears ?AGENT ?WI) means that ?AGENT is wearing the WearableItem item ?WI. |
| webSeller | (webSeller ?SELLER ?SITE) means that item is advertised on the WebSite ?SITE and ?SELLER desires there to be a selling (implicitly of that item) where ?SELLER is the agent. |
| webStoreAdvertisement | (webstoreAdvertisement ?ADVERT ?STORE) means that ?ADVERT is an an instance of Advertising which is a component of a WebPage which a member of the WebStore ?STORE. |
| webVisitor | (webvisitor ?HUMAN ?SITE) means that there exists an AccessingWebPage where ?HUMAN is the agent, and the page accessed is a component of ?SITE. |
| weddingAnniversary | (weddingAnniversary ?PHYSICAL ?TIME) means that ?TIME is the class of TimeIntervals which mark the anniversary of their weddingdate. |
| weight | (weight ?O ?MM) とは、地球上で SelfConnectedObject ?O が重量?MMを持っていることを意味する。 |
| width | BinaryPredicate は、最も広いスパンで Object のメ ジャーを左右に述えるために使用される。 |
| wife | (wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN. |
| windDrivenMotion | windDrivenMotion is an instance of BinaryPredicate. In (windDrivenMotion ?W ?WM), ?W is the Wind that causes the Motion of an object located in a Region wherethe wind blows. |
| 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. |
| workLocation | A Relation that specifies the typical or primary location where members of an Organization work. |
| workPhoneNumber | (workPhoneNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a Telephone at which ?AutonomousAgent can be contacted when at work, or for business purposes. |
| yearBuilt | (yearBuilt ?OBJ ?YEAR) means that the Making of Object ?OBJ was completed on Year ?YEAR |
| yearOfFounding | (yearOfFounding ?ORG ?NUMBER) means that the Organization ?ORG was founded in the year expressed in ?NUMBER. |
| yield | The annual rate of return on an investment, expressed as a percentage. For bonds and notes, it is the coupon rate divided by the market price. |
| yieldLevel | Relates a FinancialAccount to the yield level (i.e. the type of profit) which can be expected from the account. |