Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term: 

  NayiniLanguage

Sigma KEE - BinaryPredicate
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
binary predicate
A Predicate relating two items - its valence is two.
Relationships      
Parents binary relation BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
  inheritable relation The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  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 binary relation extended to quantities
 case roleThe 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.
 shedding partThe 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.
Instancesabbreviation(abbreviation ?STRING ?THING) means that ?STRING is an abbreviation used to refer to ?THING. Abbreviations include acronyms and other abbreviated forms.
 absorbed doseThe amount of energy imparted by nuclear (or ionizing) radiation to unit mass of absorbing material. The unit is the rad.
 abstract counterpart(abstractCounterpart ?AB ?PHYS) relates a Physical entity to an Abstract one which is an idealized model in some dimension of the Physical entity. For example, an Abstract GraphNode could be stated to be the counterpart of an actual Computer in a ComputerNetwork.
 abstraction level
 accessible from menuThe property accessibleFromMenu relates a file, computer process, or submenu to a ComputerMenu from which the object can be accessed.
 accessible from menu item
 accommodations provider(accommodationProvider ?PKG ?ORG) means that ?ORG, which is a TravelerAccommodation business, will provide the accommodations for the HotelPackage ?PKG
 account at(accountAt ?Account ?Bank) means that ?Account is a FinancialAccount opened in the FinancialOrganization ?Bank.
 account at site(accountAtSite ?ACCT ?SITE) means that the UserAccount ?ACCT is associate with the WebSite ?SITE.
 account holder(accountHolder ?Account ?Agent) means that ?Agent is the account holder of the FinancialAccount ?Account.
 account informationThe UserAccount has some information associated with it, such as a birthdate or mailing address.
 account number
 account phone number
 account status(accountStatus ?Account ?Status) is true if ?Status describes the status of the account, such as ActiveAccount, LockedAccount, NewAccount or PendingAccount.
 accrued interestThe 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.
 acronym(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.
 acted in(actedIn ?ACTOR ?O) means that the Human ?ACTOR was in the Process that produced the entity ?O
 action tendencyA tendency of an emotion to cause a particular type of action.
 activity capability(activityCapability ?AGENT ?ACT) means that Process ?ACT can be located on the property owned by AutonomousAgent ?AGENT
 adjacent orientation(adjacentOrientation ?OBJ1 ?OBJ2) means that ?OBJ1 has orientation Adjacent to ?OBJ2
 administrative center(administrativeCenter ?CENTER ?REGION) means that ?CENTER is the City (or other area) from which the larger GeopoliticalArea ?REGION is administered.
 administrator
 advertised on(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.
 affiliated organization
 ageSimply relates an Object to a ConstantQuantity specifying the age of the Object.
 agent name(agentName ?STRING ?OBJ) means that ?STRING is a full or partial name for the AutonomousAgent ?OBJ.
 agent operates in area(agentOperatesInArea ?AGENT ?AREA) means that the individual or Organization ?AGENT operates in the GeographicArea ?AREA.
 agreement adoption date(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)))).
 agreement effective date(agreementEffectiveDate ?AGREEMENT ?TIME) means that ?AGREEMENT goes into effect at TimePoint ?TIME, and remains an ActiveAgreement for TimeDuration ?DURATION.
 agreement effective during(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.
 agreement period(agreementPeriod ?AGREEMENT ?DURATION) holds if ?DURATION specifies a TimeDuration, which is the length of time that the ?AGREEMENT is ActiveAgreement.
 agricultural product type(agriculturalProductType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA produces a crop or other agricultural product of ?TYPE.
 aim of organization(aimOfOrganization ?GROUP ?DESCRIPTION) means that the Organization ?GROUP has the purpose ?DESCRIPTION, formulated as a quoted text.
 air quality indexThe 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/
 air temperature(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.
 album artist(albumArtist ?A ?P) means that Album ?A features CognitiveAgent ?P as one of its main contributors
 album cover(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.
 album length(albumLength ?A ?T) means that TimeDuration ?T is the time it takes to view / listen to all Recording in Album ?A
 album release(albumRelease ?A ?T) means that by TimePoint ?T, (AlbumCopiesFn ?A ?DS) was releaseForSale in some location.
 album track(albumTrack ?A ?T) means that Recording ?T is part of Album ?A
 album type(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.
 Alma Mater(almaMater ?PERSON ?ORG) means that ?PERSON enrolled for a higher degree at insititution ?ORG, in principle to complete an academic degree.
 amount charged(amountCharged ?Fee ?Amount) means that ?Amount is the amount of the fee charged.
 ancestorThe 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.
 ancestor organization(ancestorOrganization ?ORG1 ?ORG2) means that the Organization ?ORG1 descended from the Organization ?ORG2.
 angle of figure(angleOfFigure ?ANGLE ?FIGURE) means that the TwoDimensionalAngle ?ANGLE is part of the GeometricFigure ?FIGURE.
 angular measure(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.
 annual electricity consumption(annualElectricityConsumption ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA uses ?AMOUNT of electricity (measured in KilowattHours) annually.
 annual electricity export(annualElectricityExport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA exported the total ?AMOUNT of electricity (measured in KilowattHours) annually.
 annual electricity import(annualElectricityImport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA imported the total ?AMOUNT of electricity (measured in KilowattHours) annually.
 annual electricity production(annualElectricityProduction ?AREA ?AMOUNT) means that the amount of electricity generated annually in the GeographicalArea ?AREA is ?AMOUNT, measured in KilowattHours.
 annual expenditures of area(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.
 annual export total(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.
 annual import total(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.
 annual revenues of area(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.
 antagonist musclesA 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.
 applicable relationA 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.
 appraised value
 approves(approves ?AGENT1 ?AGENT2) means that ?AGENT1 is satisfied that ?AGENT2 has met some requirement or proposition, and publicly declares such
 approximate diameterThe diameter of an object if it were a perfect sphere of the same volume
 approximate valueA relation that specifies two numbers are equal or nearly so.
 arable land area(arableLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has ?AMOUNT of land under cultivation with crops that are replanted after each harvest. Cf. permanentCropLandArea.
 arc lengtharcLength is the geometricDistance between two GeometricPoints of a CircularArc.[Wikipedia]
 arc weightThis predicate indicates the value of a GraphArc in a Graph. This could map to the length of a road in a road network or the flow rate of a pipe in a plumbing system.
 area of operationAn 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.
 associate in organization(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.
 associated functionality(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.
 at the moneyA term that describes an option with a strike price that is equal to the current market price of the underlying stock.
 atomic number(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.
 attorneyThe 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) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (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.
 averageA partial function that relates a List to a RealNumber, provided that the List only has list elements that are RealNumbers. The RealNumber associated with the List is equal to the mathematical average of the RealNumbers in the List divided by the total number of list elements.
 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.
 bank account(bankAccount ?Type ?Bank) holds if ?Type is a type of the financial accounts offered by the bank.
 baptizedmdate(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.
 barometric pressure(barometricPressure ?AREA ?PRESSURE) means that the atmospheric pressure measured at ?AREA is ?PRESSURE. Barometric pressure is typically expressed in units of InchMercury or MmMercury. For example, standard sea level pressure is 29.92 inches (760 mm) of mercury: (barometricPressure SeaLevel (MeasureFn 29.92 InchMercury)).
 batch inter arrival(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.
 batch latency(batchLatency ?PATH ?TIME)holds if ?TIME is the maximum allowed latency for all cycles of a quasicontinuous path.
 before or equal(beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.
 believesThe epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.
 benchmarkA 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.
 bid amountA CaseRole of Bidding identifying the CurrencyMeasure of the bid.
 BinaryPredicate(crossFunctionalTeamFocus ?FOCUS ?TEAM) means that ?FOCUS is inScopeOfInterest of each member of CrossFunctionalTeam ?TEAM.
 biochemical agent delivery(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.
 biochemical agent syndromeRelates a subclass of BiochemicalAgent to a DiseaseOrSyndrome that is caused by or often associated with the BiochemicalAgent.
 bioindicator for habitat(bioindicatorForHabitat ?AREA ?SPECIES) means that the health of the individuals in ?SPECIES indicates the condition of their habitat in the GeographicArea ?AREA.
 biological agent carrier(biologicalAgentCarrier ?AGENT ?ORGANISM) means that the subclass of Organism ?ORGANISM is a carrier of the subclass of BiologicalAgent ?AGENT.
 birth date(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.
 blood volumeThe 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.
 boiling pointThe temperature at which a PureSubstance changes state from a Liquid to a Gas.
 bond ratingA 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) holds if ?BOTTOM is the lowest or deepest maximal superficial part of ?OBJECT.
 brand icon(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.
 burn_in period(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.
 business hours(businessHours ?TIMEINT ?AGENT) means that an ?AGENT conducts business_related activities during ?TIMEINT
 business unitA 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.
 call dateDate, prior to maturity, on which a callable bond may be redeemed.
 can run onA 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.
 capital city(capitalCity ?CITY ?REGION) means that the City ?CITY is the capital of the GeopoliticalArea ?REGION.
 capital expenditures of area(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.
 card account(cardAccount ?Card ?Account) means that ?Account is the FinancialAccount linked to a BankCard ?Card.
 card code(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.
 cargo type(cargoType ?DEVICE ?TYPE) means that the TransportationDevice ?DEVICE typically carries cargo of the kind ?TYPE.
 carrier frequencyThe frequency of the carrier signal encoded as frequency modulation (FM)
 carries(carries ?AGENT ?OBJECT) means that an AutonomousAgent ?AGENT transfers an Object ?OBJECT from one point to another
 catalog item(catalogItem ?OBJ ?CATALOG) means that an instance of ?OBJ is a member of ?CATALOG
 category identifier string(categoryID ?STRING ?CAT) Associates an Identifer ?STRING to a WebListingCategory ?CAT. They are likely to be unique.
 category ofA BinaryPredicate which relates a WeblistingCategory to a WebSite that uses that category to organize its listings.
 causesThe causation relation between instances of Process.(causes ?PROCESS1 ?PROCESS2) means that the instance of Process ?PROCESS1 brings about the instance of Process ?PROCESS2.
 causes proposition(causesProposition ?FORMULA1 ?FORMULA2) means that the state of affairs described by ?FORMULA1 causes, or mechanistically brings about, the state of affairs described by ?FORMULA2. Note that unlike entails, the time during which ?FORMULA2 holds cannot precede the time during which ?FORMULA1 holds, although ?FORMULA1 and ?FORMULA2 can hold simultaneously. Note, also, that causesProposition is a predicate, not a truth function. The following rule (contraposition) does not hold: (=> (causesProp ?FORMULA1 ?FORMULA2) (causesProp (not ?FORMULA2) (not ?FORMULA1))).
 causes subclassThe causation relation between subclasses of Process. (causesSubclass ?PROCESS1 ?PROCESS2) means that the subclass of Process ?PROCESS1 brings about the subclass of Process ?PROCESS2, e.g. (causesSubclass Killing Death).
 cell shapeBacteria (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]
 chamber of legislature(chamberOfLegislature ?CHAMBER ?LEGISLATURE) means that ?CHAMBER is a legislative body within the ?LEGISLATURE.
 check account(checkAccount ?Check ?Account) means that ?Account is the FinancialAccount from which the amount specifed on the check is paid.
 check numberThe number associated with a check.
 check-in time(checkInTime ?HOTEL ?TIME) means that TravelerAccomodation ?HOTEL only starts CheckInService after ?TIME
 check-out time(checkOutTime ?HOTEL ?TIME) means that TravelerAccommodation ?HOTEL expects guests to CheckOutService before ?TIME
 chief of state type(chiefOfStateType ?NATION ?ROLE) means that the chiefOfState of the GeopoliticalArea ?NATION holds the Position ?ROLE in its government.
 chromosome numberchromosomeNumber 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.
 claimed territory(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'.
 climate type in area(climateTypeInArea ?REGION ?TYPE) means that all or part of the GeographicArea ?REGION is of the Attribute of ClimateZone ?TYPE.
 closed onA BinaryFunction is closed on a Class if it is defined for all instances of the Class and its value is always an instance of the Class.
 cloud cover fraction(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
 codingA 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.
 coil countThe number of windings in a WireCoil.
 cold season in area(coldSeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the cold season occurs during the TimeInterval ?INTERVAL.
 collect rate(collectRate ?System ?Period) holds if ?Period is the period at which ComputationalSystem ?System collects data.
 colocated business(colocatedAgent ?ORG1 ?ATTR1) means that an Organization with Attribute ?ATTR1 is colocated with ?ORG1
 color
 command line arguments(commandLineArguments ?PROGRAM ?LIST) means that the application ?PROGRAM requires command line arguments, as specified in ?LIST.
 command rank of echelonThe typical MilitaryRank of the leader of an instance of the given MilitaryEchelon.
 commemorates date(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.
 componentA specialized common sense notion of part for heterogeneous parts of complexes. (component ?COMPONENT ?WHOLE) means that ?COMPONENT is a component of ?WHOLE. Examples of component include the doors and walls of a house, the states or provinces of a country, or the limbs and organs of an animal. Compare piece, which is also a subrelation of part.
 composer(composer ?AGENT ?COMPOSITION) means that CognitiveAgent ?AGENT created MusicalComposition ?COMPOSITION
 compression ratioThe 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.
 computer response to(computerResponseTo ?Response ?Request) means that ?Response is a ComputerResponse to the UserRequest ?Request.
 computer running(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.
 confidence interval(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.
 confidence interval(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.
 confirmation number
 confirmed registed user(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) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2.
 connectedA Relation between Classes of parts of a Healthy Animal that are connected.
 connected downstream(connectedDownstream ?OBJ1 ?OBJ2) means that ?OBJ1 is connected, remotely or immediately, with ?OBJ2 along a directed system such as a RiverSystem.
 connected peripheralA 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) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?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.
 construction period(constructionPeriod ?OBJECT ?INTERVAL) means that some StationaryArtifact ?OBJECT was built over TimeInterval ?INTERVAL
 containsThe relation of spatial containment for two separable objects. When the two objects are not separable (e.g. an automobile and one of its seats), the relation of part should be used. (contains ?OBJ1 ?OBJ2) means that the SelfConnectedObject ?OBJ1 has a space (i.e. a HoleRegion) which is at least partially filled by ?OBJ2.
 contains formulaThe 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.
 contains informationA subrelation of represents. This predicate relates a ContentBearingPhysical to the Proposition that is expressed by the ContentBearingPhysical. Examples include the relationships between a physical novel and its story and between a printed score and its musical content.
 contest organizer(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.
 contrast ratioThe 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)
 control group(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) means that the Object or Process ?THING1 occurs at the same time as, together with, or jointly with the Object or Process ?THING2. This covers the following temporal relations: is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with.
 cool season in area(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
 copyrelates an Object to an exact copy of the Object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/or temporal location.
 core body tempCore 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]
 coupon interest(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.
 coversA 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
 credit limit(creditLimit ?ACCOUNT ?AMNT) holds if ?AMNT is the maximum amount of credit that a bank or other lender will extend to a customer.
 credit ranking(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.
 criticality level(criticalityLevel ?PROGRAM ?INTEGER) holds just in case ?INTEGER indicates the relative priority of ?PROGRAM with respect to other applications within the SoftwareSystem.
 currency code(currencyCode ?CODE ?UNIT) means that ?CODE is the InternationalOrganizationForStandardization (ISO) 4217 alphabetic currency code for the national CurrencyMeasure ?UNIT.
 currency exchange perUS dollar(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.
 currency exchange rate(currencyExchangeRate ?UNIT ?AMOUNT) means that the currency denomination ?UNIT is worth ?AMOUNT (which is in another CurrencyMeasure).
 currency type(currencyType ?AREA ?UNIT) means that the official currency used in the GeopoliticalArea ?AREA is the UnitOfMeasure ?UNIT.
 currency valueThe 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.
 customerA 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.
 cylinder boreThe diameter of a cylindrical HoleRegion.
 damping ratio(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].
 data processedThe data being processed during a ComputerProcess.
 data stream slack(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.
 dateA BinaryPredicate that specifies a TimePosition in absolute calendar time, at the resolution of one day, for a particular Object or Process.
 date dissolved(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)))).
 date established(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)))).
 date of statement(dateOfStatement ?Statement ?Date) holds if ?Date is the date when BankStatement was issued.
 date opened for signature(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.
 daughterThe general relationship of daughterhood. (daughter ?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT.
 day phone(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.
 deceptive identifier(deceptiveIdentifier ?OBJ ?AGENT) means that ?AGENT presents ?OBJ as a representation of ?AGENT's `true' identity, when in fact it is not.
 decreases likelihoodOne of the basic ProbabilityRelations. (decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.
 default maximum heightA BinaryPredicate that states the assumed maximum height of an Object
 default maximum lengthA BinaryPredicate that states the assumed maximum length of an Object
 default maximum measureA BinaryPredicate that states the assumed maximum measure of an Object
 default maximum sphere radiusA BinaryPredicate that states the assumed maximum sphereRadius of a spherical Object
 default maximum widthA BinaryPredicate that states the assumed maximum width of an Object
 default measureA BinaryPredicate that states the assumed measure of an Object
 default minimum heightA BinaryPredicate that states the assumed minimum height of an Object
 default minimum lengthA BinaryPredicate that states the assumed minimum length of an Object
 default minimum measureA BinaryPredicate that states the assumed minimum measure of an Object
 default minimum sphere radiusA BinaryPredicate that states the assumed minimum sphereRadius of a spherical Object
 default minimum widthA BinaryPredicate that states the assumed minimum width of an Object
 default network(defaultNetwork ?SYSTEM ?NET) holds if ?NET is the default network of the HardwareSystem ?SYSTEM.
 delivery region(deliveryRegion ?AGENT ?REGION ?DELIVERY) means that ?AGENT only does a DeliveryService if the destination is within ?REGION
 dependency delayif 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.
 dependency type(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
 design pattern(designPattern ?System ?Attribute) holds if ?Attribute is a DesignPatternAttribute which describes the RealtimeSystem ?System.
 desires(desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that there is no implication that what is desired by the agent is not already true. Note too that desires is distinguished from wants only in that the former is a PropositionalAttitude, while wants is an ObjectAttitude.
 developmental form(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.
 device accountA 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.
 device state(deviceState ?DEVICE ?STATE) means that the Object ?DEVICE is in the DeviceStateAttribute ?STATE.
 device telecom number(deviceTelecomNumber ?TelecomNumber ?TelephonyDevice) means that ?TelephonyDevice is identified, and can be accessed, by ?TelecomNumber.
 diameter(diameter ?CIRCLE ?LENGTH) means that the diameter of the Circle ?CIRCLE has a length of ?LENGTH.
 diastolic blood pressureThe 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].
 diplomatic relations(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
 directory of(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.
 disease candidateA summary predicate for a modal statement. This means that some Agent believes that a given Human may have a DiseaseOrSyndrome.
 disease mortality(diseaseMortality ?DISEASE ?NUMBER) means that DiseaseOrSyndrome ?DISEASE has a Mortality rate of ?NUMBER.
 disease symptom(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.
 disease treatmentA reasonable treatment for the given DiseaseOrSyndrome is the given TherapeuticProcess.
 disjointClasses are disjoint only if they share no instances, i.e. just in case the result of applying IntersectionFn to them is empty.
 disjoint relationThis predicate relates two Relations. (disjointRelation ?REL1 ?REL2) means that the two relations have no tuples in common.
 disk type for drive(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.
 displayed upon(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.
 distance on path(distanceOnPath ?DIST ?PATH) means that for a given path (which is a pathInSystem) that the distance of the route is the measurement ?DIST.
 distributesA BinaryFunction ?FUNCTION1 is distributive over another BinaryFunction ?FUNCTION2 just in case (?FUNCTION1 ?INST1 (?FUNCTION2 ?INST2 ?INST3)) is equal to (?FUNCTION2 (?FUNCTION1 ?INST1 ?INST2) (?FUNCTION1 ?INST1 ?INST3)), for all ?INST1, ?INST2, and ?INST3.
 domestic partner(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.
 down paymentThe part of the purchase price paid in cash up front, reducing the amount of the loan or mortgage.
 dress code(dressCode ?CODE ?AGENT) means that ?AGENT obligates his customers to wear at the minimum clothes that fulfill ?CODE
 dry season in area(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) means that the duration of the TimeInterval ?POS is ?TIME. Note that this Predicate can be used in conjunction with the Function WhenFn to specify the duration of any instance of Physical.
 during(during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2.
 earlier(earlier ?INTERVAL1 ?INTERVAL2) means that the TimeInterval ?INTERVAL1 ends before the TimeInterval ?INTERVAL2 begins.
 earth altitudeThe altitude of an object above the sea level of PlanetEarth
 economic aid donated(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).
 economic aid received net(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.
 economy type(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.
 effective dose(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).
 effective rangeModels 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).
 election for organization(electionForOrganization ?ELECTION ?GROUP) means that in the Election ?ELECTION, candidates run for election to the organization ?GROUP.
 election for position(electionForPosition ?ELECTION ?POSITION) means that in the Election ?ELECTION, candidates run for election to the role(s) ?POSITION.
 electron number(electronNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER.
 element(element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the Set ?SET. An Entity can be an element of another Entity only if the latter is a Set.
 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.
 email address(emailAddress ?Address ?Agent) means that ?Address denotes a VirtualPlace at which ?Agent can be contacted.
 emotion tendencyA 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.
 engine cylindersThe number of EngineCylinders in a particular Engine.
 engine displacementThe total VolumeMeasure of all the EngineCylinders.
 engine idle speedThe 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.
 engineering subcomponent(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.
 ennervatesA 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.
 entailsThe operator of logical entailment. (entails ?FORMULA1 ?FORMULA2) means that ?FORMULA2 can be derived from ?FORMULA1 by means of the proof theory of SUO-KIF.
 entranceentrance 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.
 environment attributes(environmentAttributes ?Program ?Attribute) holds if ?Attribute is an EnvironmentSoftwareAttribute which describes the ComputerProgram ?Program.
 environmental problem type in area(environmentalProblemTypeInArea ?AREA ?PROBLEM) means that objects or processes of type ?PROBLEM is an environmental problem in the GeographicArea ?AREA.
 equipment type(equipmentType ?THING ?TYPE) means that the Artifact ?THING has a component or attachment of Device ?TYPE. See also equipmentTypeCount.
 equivalence relation onA BinaryRelation is an equivalenceRelationOn a Class only if the relation is reflexiveOn the Class and it is both a TransitiveRelation and a SymmetricRelation.
 equivalent content classA BinaryPredicate that relates two subclasses of ContentBearingPhysical. (equivalentContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS1 is also expressed by each instance of ?CLASS2, and vice versa. An example would be the relationship between English and Russian editions of Agatha Christie's 'Murder on the Orient Express'. Note that (equivalentContentClass ?CLASS1 ?CLASS2) implies (subsumesContentClass ?CLASS1 ?CLASS2) and (subsumesContentClass ?CLASS2 ?CLASS1).
 equivalent content instanceA BinaryPredicate relating two instances of ContentBearingPhysical. (equivalentContentInstance ?OBJ1 ?OBJ2) means that the content expressed by ?OBJ1 is identical to the content expressed by ?OBJ2. An example would be the relationship between a handwritten draft of a letter to one's lawyer and a typed copy of the same letter. Note that (equivalentContentInstance ?OBJ1 ?OBJ2) implies (subsumesContentInstance ?OBJ1 ?OBJ2) and (subsumesContentInstance ?OBJ2 ?OBJ2).
 evening phone(eveningPhone ?Phone ?Agent) means that ?Phone is a phone number corresponding to the phone at which the ?Agent can be reached during the evening.
 exactly locatedThe actual, minimal location of an Object. This is a subrelation of the more general Predicate located.
 exclusive(successEvent ?EXP ?PROC) specifies that Process ?PROC is a SuccessEvent of Experimenting - i.e. that it is used as the dependent variable being tracked.
 exclusive(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.
 executive branch(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)).
 experiment identifier string(experimentID ?STRING ?EXP) Associates an Identifer ?STRING to a Experimenting ?EXP. They are likely to be unique.
 experimental control (process)(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.
 experimental treatmentA BinaryPredicate specifying the the collection of Processes which are experimentalVariableProcesses of an Experimenting.
 experimental variable (process)(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
 expiration date(agreementExpirationDate ?AGREEMENT ?ENDDATE) means that ?ENDDATE is the date on which ?AGREEMENT is no longer ActiveAgreement.
 exploits(exploits ?OBJ ?AGENT) means that ?OBJ is used by ?AGENT as a resource in an unspecified instance of Process. This Predicate, as its corresponding axiom indicates, is a composition of the relations agent and resource.
 export commodity type(exportCommodityType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA exports the commodity ?TYPE.
 export partner(exportPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 exports goods to the AutonomousAgent ?AGENT2.
 expressed in language(expressedInLanguage ?EXPRESS ?LANG) means that the LinguisticExpression ?EXPRESS is part of the Language ?LANG.
 external debt(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.
 external imageA link between an Entity and a URL that represents or exemplifies the term in some way.
 face of figure(faceOfFigure ?FACE ?FIGURE) means that the two TwoDimensionalFigure ?FACE is a face of GeometricFigure ?FIGURE.
 face valueThe 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
 family name(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.
 family relationA very general Predicate for biological relationships. (familyRelation ?ORGANISM1 ?ORGANISM2) means that ?ORGANISM1 and ?ORGANISM2 are biologically derived from a common ancestor.
 fatherThe general relationship of fatherhood. (father ?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD.
 fathers brothers daughterIn Arabic: binot AlEam~. Female cousin on the father side, daughter of father's brother .
 fathers brothers sonIn Arabic: Aibon AlEam~. Son of father's brother.
 fathers brothers wifeIn Arabic: zawojap AlEam~. Wife of father's brother.
 fathers sisters daughterIn Arabic: binot AlEam~ap. Daughter of father's sister.
 fathers sisters husbandIn Arabic: zawoj AlEam~ap. Husband of father's sister.
 fathers sisters sonIn Arabic: Aibon AlEam~ap. Son of father's sister.
 fax number(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.
 filenameA 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.
 final experiment report(finalExperimentReport ?CBP ?EXPERIMENT) means that ?CBP is a ContentBearingPhysical which containsInformation about the result of ?EXPERIMENT.
 final price
 financial accountA 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.
 financial assetA 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.
 financial response to(financialResponseTo ?Response ?Request) means that ?Response is a FinancialResponse to the FinancialRequest ?Request.
 finishes during(finishesDuring ?INTERVAL1 ?INTERVAL2) means that the end point of ?INTERVAL1 ends during ?INTERVAL2.
 first instance createdThe time when the first instance of the given class was created. Note that this can refer to Processes as well as Objects.
 fiscal year periodThe 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.
 fit for military service(fitForMilitaryService ?AGENT ?PROCESS) means that ?AGENT is capable of carrying out the MilitaryProcess ?PROCESS as the agent of the ?PROCESS.
 fixed interest rate(fixedInterestRate ?Account ?Rate) holds if ?Rate is the interest rate that does not change during the entire term of the account.
 flag description(flagDescription ?AREA ?DESCRIPTION) means that the SymbolicString ?DESCRIPTION is a verbal description of the flag of the GeopoliticalArea ?AREA.
 flag image(flagImage ?AREA ?POINTER) means that an image of the flag of the GeopoliticalArea ?AREA is found at the location given in the SymbolicString ?POINTER.
 flag state(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.
 fleet dead weight tonnage(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.
 fleet gross registered tonnage(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.
 Fleet Size(fleetSize ?AGENT ?NUM) means the AutonomousAgent ?AGENT has a fleet size of an Integer ?NUM. The Fleet can consists of any type of Vehicle
 floor code(floorCode ?STR ?PLACE) means that ?STR represents the BuildingLevel that a particular PostalPlace can be found at
 floor loanA minimum amount that a lender is willing to loan
 flow currentThe 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.
 form of adaptation(formOfAdaptation ?System ?Attribute) holds if ?Attribute is a FormOfAdaptationAttribute which describes the RealtimeSystem ?System.
 former name(formerName ?NAME ?THING) means that the string ?NAME is a name formerly used for ?THING.
 free function room amenity(freeFunctionRoomAmenity ?RM ?PHY) means that the use of ?PHY provided by TravelerAccommodation to customers renting HotelFunctionRoom does not incur charges
 free function room amenity(paidFunctionRoomAmenity ?RM ?PHY) means that the use of ?PHY provided by TravelerAccommodation to customers renting HotelFunctionRoom incurs charges
 free property amenity(freePropertyAmenity ?AGENT ?PHYS) means that AutonomousAgent ?AGENT provides Physical ?PHYS at no additional cost
 free room amenity(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) means that the Process type of ?PROC recurs after every interval of ?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.
 fulfilling entity(fulfillingEntity ?ENTITY ?RESERVE) means that ?ENTITY is the AutonomousAgent who will execute the agreement
 full name(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.
 full name index order(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.
 function room amenity(functionRoomAmenity ?RM ?PHYS) means that Physical ?PHYS is available for people who Renting HotelFunctionRoom ?RM
 gardenplantInArea is a BinaryRelation which associates the class of Plant to the area in which they grow.
 gear tooth countgearToothCount is an instance of a BinaryPredicate. (gearToothCount ?GEAR ?INTEGER) means that there are ?INTEGER number of GearTooth that are part of the Gear ?GEAR.
 genetic substrate of virus(geneticSubstrateOfVirus ?VIRUS ?MOL) relates the virus ?VIRUS to the molecule ?MOL that contains its genetic information.
 geographic subregion(geographicSubregion ?PART ?WHOLE) means that the GeographicArea ?PART is part of the GeographicArea ?WHOLE.
 geometric part(geometricPart ?PART ?WHOLE) means that the GeometricFigure ?PART is part of the GeometricFigure ?WHOLE.
 given name(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.
 government type(governmentType ?BODY ?FORM) means that the GeopoliticalArea or Organization ?BODY has a government with characteristic(s) of the type ?FORM.
 governor speedThe 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.
 grain sizegrainSize is a BinaryRelation describing the diameter measure of a particle.
 grammatical relation(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.
 granularityGranularity 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.
 graph measure(graphMeasure ?GRAPH ?MEAS) fixes a UnitOfMeasure that is used for the arcWeight of a given Graph. Stating such a relationship entails that the components of given graph are the abstractCounterparts of sets of Physical Entity(ies).
 graph partA basic relation for Graphs and their parts. (graphPart ?PART ?GRAPH) means that ?PART is a GraphArc or GraphNode of the Graph ?GRAPH.
 graspsThe state of grasping an Object. (grasps ?ANIMAL ?OBJ) means that the Animal ?ANIMAL is intentionally holding on to the Object ?OBJ.
 greater than(greaterThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than the Quantity ?NUMBER2.
 greater than or equal to(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than or equal to the Quantity ?NUMBER2.
 ground subsurface type(groundSubsurfaceType ?area ?subsoil) means that the predominant Substance in the subsoil or subsurface layer of the LandArea ?area is of type ?subsoil.
 ground surface type(%&groundSurfaceType ?area ?substance) means that the predominant Substance at the ground surface of the LandArea ?area is ?substance.
 group memberA subrelation of member, groupMember is used to relate a Human to a GroupOfPeople of which he/she is a member.
 guestguest refers to the customer living in a TemporaryResidence for the duration of his stay there
 GUI element covered(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.
 GUI element covered by(guiElementCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is completely covered by the GUIElement ?GUIE2.
 GUI element partially covered(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.
 GUI element partially covered by(guiElementPartiallyCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is partially covered by the GUIElement ?GUIE2.
 GUI element uncovered(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.
 habitat of organismA 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.
 haploid numberhaploidNumber is a BinaryPredicate indicating the number of Chromosomes contained in the CellNuclues of a Gamete cell.
 has across variablemultipole pole has across variable
 has award(hasAward ?RECIPIENT ?AWARD) means the AutonomousAgent ?RECIPIENT recieved the Object ?AWARD as an award for some action they did.
 has dependency(hasDependency ?PROGRAM1 ?PROGRAM2) holds if ?PROGRAM1 is dependent on the application ?PROGRAM2.
 has dimensionmultipole quantity has certain dimension
 has expertise(hasExpertise ?PERSON ?FIELD) means that ?PERSON has studied the FieldOfStudy ?FIELD and is regarded as an expert.
 has GUE state(hasGUEState ?GUIE ?STATE) means that the GUIElement ?GUIE has the GUElementState, ?STATE.
 has molecular structural attribute(hasMolecularStructuralAttribute ?MOL ?ATT) means that ?MOL has the attribute ?ATT.
 has occupation(hasOccupation ?PERSON ?WORK) means that ?PERSON engages in activities of the class ?WORK as a means of earning a living.
 has purposeThis Predicate expresses the concept of a conventional goal, i.e. a goal with a neutralized agent's intention. Accordingly, (hasPurpose ?THING ?FORMULA) means that the instance of Physical ?THING has, as its purpose, the Proposition expressed by ?FORMULA. Note that there is an important difference in meaning between the Predicates hasPurpose and result. Although the second argument of the latter can satisfy the second argument of the former, a conventional goal is an expected and desired outcome, while a result may be neither expected nor desired. For example, a machine process may have outcomes but no goals, aimless wandering may have an outcome but no goal, a learning process may have goals with no outcomes, and so on.
 has skillSimilar to the capability Predicate with the additional restriction that the ability be practised/ demonstrated to some measurable degree.
 has through variablemultipole pole has through variable
 has uniform(hasUniform ?GRP ?UNIFORM) means that ?GRP is associated or identified by ?UNIFORM and members of ?GRP are expected to wear ?UNIFORM
 has variablemultipole quantity has certain variable
 hazardoushazardous 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.
 headingWRT compass north(headingWRTCompassNorth ?OBJ ?DEGREE) means that the front_to_back axis of the Object ?OBJ points in the direction ?DEGREE, according to the compass carried by ?OBJ.
 headingWRT magnetic north(headingWRTMagneticNorth ?OBJ ?DEGREE) means that the front_to_back axis of the Object ?OBJ points in the direction ?DEGREE, with respect to magnetic North.
 headingWRT true north(headingWRTTrueNorth ?OBJ ?DEGREE) means that the front_to_back axis of the Object ?OBJ points in the direction ?DEGREE, with respect to true North.
 headquarters of organization(headquartersOfOrganization ?ORG ?AREA) means that the Organization ?ORG is headquartered in ?AREA.
 heart beat rate(softwareHeartBeatRate ?Program ?Period) holds if ?Period is the period at which the ComputerProgram ?Program sends its heartbeat to a monitoring process.
 heightThe height of an Object is the distance between its top and its bottom.
 high altitude wind speed(highAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing above 25,000 feet at ?PLACE has a speed of ?RATE.
 highest decile share of household income(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).
 hindersA general Predicate, where (hinders ?PROC1 ?PROC2) means that an instance of ?PROC1 decreasesLikelihood of occurrence of ?PROC2. Compare with prevents which is stronger and hindersSubclass which relates classes of Processes.
 hinders subclassA very general Predicate. (hindersSubclass ?PROC1 ?PROC2) means that the Process ?PROC1 hindersSubclass or hinders the occurrence of the Process ?PROC2. For example, obstructing an object hindersSubclass moving it. Note that this is a relation between types of Processes, not between instances.
 holds during(holdsDuring ?TIME ?FORMULA) means that the proposition denoted by ?FORMULA is true in the time frame ?TIME. Note that this implies that ?FORMULA is true at every TimePoint which is a temporalPart of ?TIME.
 holds obligationExpresses a relationship between a Formula and a CognitiveAgent whereby the CognitiveAgent has the obligation to bring it about that the Formula is true.
 holds rightExpresses 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) means that ?HOLE is a HoleRegion in ?OBJ. A HoleRegion is a fillable body located at the surface an Object.
 holiday time in area(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.
 homeThe relation between a Human and a PermanentResidence of the Human.
 home address(holdsDuring ?T1 (homeAddress ?PLACE ?AGENT)) means that during the time specified by ?T1, the PostalPlace ?PLACE is ?AGENT's home.
 home phone number(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
 homologous chromosomeA 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]
 homologous chromosome pairhomologousChromosomePair 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.
 host jitterInterference 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.
 host of(hostOf ?SYSTEM ?COMPUTER) means that ?COMPUTER is the host of the computational system ?SYSTEM.
 host status(hostStatus ?Computer ?Status) means that ?Status describes the status of the Computer, such as HostDown, HostReady.
 hosted on(hostedOn ?LISTING ?SITE) means that the WebListing ?LISTING is a Component of a WebPage which is a Component of the WebSite ?SITE.
 hostile forces(hostileForces ?UNIT1 ?UNIT2) means that the MilitaryUnits ?UNIT1 and ?UNIT2 are, respectively, allied with GeopoliticalAreas that are at war with one another.
 hot season in area(hotSeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the hot season occurs during the TimeInterval ?INTERVAL. For example, (hotSeasonInArea Angola (RecurringTimeIntervalFn November April)).
 human capacity(humanCapacity ?CONSTRUCT ?NUMBER) means that the StationaryArtifact ?CONSTRUCT, e.g. a Building or a Room, can hold a maximum of ?NUMBER Humans without crowding.
 human name(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.
 identical list items(identicalListItems ?LIST1 ?LIST2) means that ?LIST1 and ?LIST2 have exactly the same items in their respective lists. Although ?LIST1 and ?LIST2 are required to share exactly the same items, they may order these items differently.
 identity elementAn object ?ID is the identity element for BinaryFunction ?FUNCTION just in case, for every instance ?INST, applying ?FUNCTION to ?INST and ?ID results in ?INST.
 ideological affiliation of organization(ideologicalAffiliationOfOrganization ?ORG ?GOV) means that one of the goals of ?ORG is to realize the FormOfGovernment ?GOV.
 illicit drug consumer
 illicit drug producer
 image resolutionThe degree of sharpness of a displayed or printed image.
 immediate subclassA Class ?CLASS1 is an immediateSubclass of another Class ?CLASS2 just in case ?CLASS1 is a subclass of ?CLASS2 and there is no other subclass of ?CLASS2 such that ?CLASS1 is also a subclass of it.
 implements protocolA Relation that specifies that a ComputerProgram impelements and conforms to a given ComputerProtocol.
 import commodity type(importCommodityType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA imports the commodity ?TYPE.
 import partner(importPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 imports goods from the AutonomousAgent ?AGENT2.
 in listThe analog of element and instance for Lists. (inList ?OBJ ?LIST) means that ?OBJ is in the List ?LIST. For example, (inList Tuesday (ListFn Monday Tuesday Wednesday)) would be true.
 in scope of interestA very general Predicate. (inScopeOfInterest ?AGENT ?ENTITY) means that ?ENTITY is within the scope of interest of ?AGENT. Note that the interest indicated can be either positive or negative, i.e. the ?AGENT can have an interest in avoiding or promoting ?ENTITY.
 in string(inString ?Character ?SymbolicString) means that ?Character is part of ?SymbolicString. See also subString.
 in the moneyA 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.
 included meal(includedMeal ?PLAN ?ATTR ?TIME) indicates that the ?ATTR type of Meal is available at ?TIME according to ?PLAN
 income distribution by gini index(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.
 increases likelihoodOne of the basic ProbabilityRelations. (increasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is more likely to be true if ?FORMULA1 is true.
 independence date(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)))).
 independent probabilityOne of the basic ProbabilityRelations. (independentProbability ?FORMULA1 ?FORMULA2) means that the probabilities of ?FORMULA1 and ?FORMULA2 being true are independent.
 industrial production growth rate(industrialProductionGrowthRate ?AREA ?RATE) means that in the GeopoliticalArea ?AREA, the annual percentage increase in industrial production is ?RATE.
 industry of area(industryOfArea ?AREA ?SECTOR) means that the GeopoliticalArea ?AREA produces goods or services in the economic area ?SECTOR.
 industry product type(industryProductType ?INDUSTRY ?TYPE) means that organizations with the IndustryAttribute ?INDUSTRY produce products of the kind ?TYPE.
 industry service type(industryServiceType ?INDUSTRY ?TYPE) means that organizations with the IndustryAttribute ?INDUSTRY provide services of the kind ?TYPE.
 inflation rate in countryThe annually percentage increase in the price of goods and services for the given Nation and TimeInterval.
 inflation rate of consumer prices
 ingredient(ingredient ?ING ?S) means that ?ING is a material that makes up ?S
 inhabitsA 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.
 inhibitsThe 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.
 initial list(initialList ?LIST1 ?LIST2) means that ?LIST1 is a subList of ?LIST2 and (ListOrderFn ?LIST1 ?NUMBER) returns the same value as (ListOrderFn ?LIST2 ?NUMBER) for all of the values of ?NUMBER over which (ListOrderFn ?LIST1 ?NUMBER) is defined.
 initial partEvery 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.
 initially contains partEvery 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.
 instanceAn object is an instance of a Class if it is included in that Class. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of instance about specificity or uniqueness.
 insured(insured ?Contract ?Org) means that ?Contract is insured by the ?Organization.
 intelligence quotient(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.
 international dispute
 internet country code(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.
 inverseThe inverse of a BinaryRelation is a Relation in which all the tuples of the original Relation are reversed. In other words, one BinaryRelation is the inverse of another if they are equivalent when their arguments are swapped.
 involved in event(involvedInEvent ?EVENT ?THING) means that in the Process ?EVENT, the Entity ?THING plays some CaseRole.
 ip address of(ipAddressOf ?HOST ?ADDRESS) holds if ?ADDRESS is the IPAddress of the computer ?HOST.
 IP of domainThe IPAddress of a given InternetDomain. Note that an ip address may have several different domain names.
 irrigated land area(irrigatedLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has the ?AMOUNT of irrigated land.
 issued by(issuedBy ?Certificate ?Agent) means that a Certificate ?Certificate is produced and offered by ?Agent.
 jailerA Relation between an agent of Imprisoning, which could be a Human or an Organization and the Human who is confined.
 judicial branch(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.
 key name(keyName ?S1 ?S2) means that ?S1 is the subString of ?S2 (i.e., the component name) typically used for alphabetical name indexing.
 knowsThe epistemic predicate of knowing. (knows ?AGENT ?FORMULA) means that ?AGENT knows the proposition expressed by ?FORMULA. Note that knows entails conscious awareness, so this Predicate cannot be used to express tacit or subconscious or unconscious knowledge.
 labor force total(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.
 laden draft(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.
 land area only(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.
 languageA 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) means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2.
 last renovation(lastRenovation ?OBJ ?YEAR) means that Object ?OBJ was last repaired on Year ?YEAR
 last statement(lastStatement ?Account ?Statement) means that ?Statement is the most recent monthly report sent to a debtor or bank depositor.
 last statement balance(lastStatementBalance ?Account ?Amount) holds if ?Amount is the balance shown on the last statement.
 leader(leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON.
 leader position(leaderPosition ?ORG ?ROLE) means that in the organization ?ORG, the leader is the person who holds the Position ?ROLE in the organization.
 legal guardian(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.
 legal relation(legalRelation ?AGENT1 ?AGENT2) means that ?AGENT1 and ?AGENT2 are relatives by virtue of a legal relationship. Some examples include marriage, adoption, etc.
 legal system type(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.
 legislative branch(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.
 lengthBinaryPredicate that is used to state the measure of an Object along its longest span.
 length of broad gauge railway(lengthOfBroadGaugeRailway ?AREA ?LENGTH) means that the sum length of broad gauge railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.
 length of crude oil pipeline(lengthOfCrudeOilPipeline ?AREA ?AMOUNT) means that in the GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of CrudeOilPipeline.
 length of dual gauge railway(lengthOfDualGaugeRailway ?AREA ?LENGTH) means that the sum length of dual gauge railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.
 length of electrified railway(lengthOfElectrifiedRailway ?AREA ?LENGTH) means that the sum length of all ElectrifiedRailway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.
 length of expressway system(lengthOfExpresswaySystem ?AREA ?LENGTH) means that the total length of Expressway in the GeographicArea ?AREA is ?LENGTH.
 length of multiple track railway(lengthOfMultipleTrackRailway ?AREA ?LENGTH) means that the sum length of all MultipleTrackRailway route in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.
 length of narrow gauge railway(lengthOfNarrowGaugeRailway ?AREA ?LENGTH) means that the sum length of narrow gauge railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.
 length of natural gas pipeline(lengthOfNaturalGasPipeline ?AREA ?AMOUNT) means that in the GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of NaturalGasPipeline.
 length of paved highway(lengthOfPavedHighway ?AREA ?LENGTH) means that the total length of SurfacedRoadway in the GeographicArea ?AREA is ?LENGTH.
 length of petroleum product pipeline(lengthOfPetroleumProductPipeline ?AREA ?AMOUNT) means that in the GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of PetroleumProductPipeline.
 length of standard gauge railway(lengthOfStandardGaugeRailway ?AREA ?LENGTH) means that the sum length of standard gauge railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.
 length of unclassified gauge railway(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.
 length of unpaved highway(lengthOfUnpavedHighway ?AREA ?LENGTH) means that the total length of UnsurfacedRoadway in the GeographicArea ?AREA is ?LENGTH.
 less than(lessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2.
 less than or equal to(lessThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than or equal to the Quantity ?NUMBER2.
 lethal dose(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).
 life stage achieved(lifeStageAchieved ?BDE ?ATTR) relates the BiologicalProcess ?BDE to the DevelopmentalAttribute that is realized as a result of ?BDE.
 limit price(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.
 line measure(lineMeasure ?LINE ?MEASURE) means that the straight line ?LINE has the LengthMeasure of ?MEASURE.
 linear extentBinaryPredicate that is used to state the measure of an Object from one point to another point along its surface. Note that the difference between the predicates length and distance is that the length is used to state the LengthMeasure of one of the dimensions of a single object, while distance is used to state the LengthMeasure that separates two distinct objects.
 liquidityDegree to which accounts can be easily converted to cash.
 list of viewed items(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
 listed onThe relation between a Stock and the exchange on which it is traded.
 listing bidder(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)
 listing buyer(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.
 listing seller(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.
 live experiment updateA BinaryPredicate used to convey that a ContentBearingPhysical conveys an update of an instance of Experimenting in progress.
 loadIn performance measurement, the current use of a system as a percentage of total capacity.
 loan fee amount(loanFeeAmount ?Loan ?Amount) means that ?Amount is the fee amount of the Loan ?Loan.
 loan for purchase(loanForPurchase ?ACCOUNT ?PRODUCT) means that ?ACCOUNT is a loan to finance the purchase of ?PRODUCT.
 loan interest
 local long name(localLongName ?NAME ?THING) means that the string ?NAME is the long form of the name used for ?THING in its local area or language.
 local short name(localShortName ?NAME ?THING) means that the string ?NAME is the short form of the name used for ?THING in its local area or language.
 location measuring list 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.
 lossThe 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
 low altitude wind speed(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)).
 lowest decile share of household income(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.
 managed by(managedBy ?OBJ ?AGENT) means that the agent Managing Object ?OBJ is ?AGENT. ?AGENT does not necessarily own ?OBJ.
 managed orthogonalA SymmetricRelation between two Collections of Experimentings signfying that experimentalSubjects can be shared between them.
 manner(manner ?PROCESS ?MANNER) means that the Process ?PROCESS is qualified by the Attribute ?MANNER. The Attributes of Processes are usually denoted by adverbs and include things like the speed of the wind, the style of a dance, or the intensity of a sports competition.
 manufacturerA relation between a class of Objects and an AutonomousAgent that is responsible for the Manufacture of that object.
 map of area(mapOfArea ?AREA ?POINTER) means that a map of the Region ?AREA can be found at the location ?POINTER.
 marine inventoryA relation between a MerchantMarine and a ShipRegister which is a member of that MerchantMarine
 maritime claim type(maritimeClaimType ?POLITY ?TYPE) means that the GeopoliticalArea ?POLITY claims rights over a MaritimeClaimArea of ?TYPE.
 maritime hazardmaritimeHazard is a subrelation of the BinaryRelation Hazardous which posts threat to WaterTransportation.
 material(material ?SUBSTANCE ?OBJECT) means that ?OBJECT is structurally made up in part of ?SUBSTANCE. This relation encompasses the concepts of 'composed of', 'made of', and 'formed of'. For example, plastic is a material of my computer monitor. Compare part and its subrelations, viz component and piece.
 maternal auntIn Arabic: xaAlap. Mother's sister, maternal aunt.
 maternal uncleIn Arabic: xaAl. Mother's brother, maternal uncle.
 maturity dateThe date on which the principal amount of the account becomes due and payable.
 max cylinder volumeThe volume of the CombustionChamber of the EngineCylinder at the maximum point of extension of the piston.
 maximum capacity(maxRoomCapacity ?ROOM ?NUM) means that TravelerAccommodation allows a maximum number of ?NUM people to stay in ?ROOM during one stay
 maximum device operating temperatureThe 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.
 maximum device storage temperatureThe 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.
 maximum payload capacity(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.
 maximum replications(maximumReplications ?PROGRAM ?INTEGER) means that ?INTEGER represents the maximum number of copies of this application which can be run during a process.
 meal plan inclusion(mealPlanInclusion ?PKG ?PLAN) means that the conditions in MealPlan ?PLAN is applicable to the consumer of the HotelPackage
 mean sea level(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).
 measureA very general Predicate for asserting that a particular Physical is measured by a particular PhysicalQuantity. In general, the second argument of this Predicate will be a term produced with the Function MeasureFn.
 measurement reading(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.
 measuring list duration
 measuring list interval
 measuring resultmeasuringResult 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.
 meat of animal(meatOfAnimal ?MEATCLASS ?ANIMALCLASS) means that every instance of ?MEATCLASS was once part of some instance of ?ANIMALCLASS.
 medical patientA relation between a Human and a CareOrganization that treats the patient.
 medicineA 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.
 medium altitude wind speed(mediumAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing between 10,000-25,000 feet at ?PLACE has a speed of ?RATE.
 meets spatially(meetsSpatially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are connected but that neither ?OBJ1 nor ?OBJ2 overlapsSpatially the other.
 meets temporally(meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2.
 melting pointThe 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.
 memberA specialized common sense notion of part for uniform parts of Collections. For example, each sheep in a flock of sheep would have the relationship of member to the flock.
 member count(memberCount ?ORG ?NUMBER) means that there is a total ?NUMBER of members in the Collection ?ORG.
 member type(memberType ?GROUP ?TYPE) means that all the members of the Collection ?GROUP belong to the Class ?TYPE.
 memory size(memorySize ?System ?Size) holds if ?Size is the required memory size for the ComputationalSystem ?System.
 middle name(middleName ?CHAR ?INDIV) means that the SymbolicString ?CHAR contains the middle name of the Human ?INDIV.
 military age(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.
 military expenditures fraction of GDP(militaryExpendituresFractionOfGDP ?AREA ?FRACTION) means that the estimated military spending of the GeopoliticalArea ?AREA is ?FRACTION of the gross domestic product (GDP) of that area.
 military expenditures in US dollars(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.
 military of area(militaryOfArea ?MILITARY ?AREA) denotes that ?MILITARY is a MilitaryOrganization serving in defense of the GeopoliticalArea ?AREA.
 mime typeA relation between ComputerData and the MIME type it is coded in, with respect to IETF RFC 2045.
 min cylinder volumeThe volume of the CombustionChamber of the EngineCylinder at the maximum point of compression of the cylinder.
 minimum device operating temperatureThe 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.
 minimum device storage temperatureThe 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.
 minimum replications(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.
 mixture partThe relation states that the given class of Substance is part of the given class of Mixture.
 mobile phone number(mobilePhoneNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a MobileCellPhone at which ?AutonomousAgent can be contacted.
 modal attributeA 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.
 modelsA relation signaling that certain model is convenient for modeling of certain class of devices.
 monetary valueA BinaryPredicate that associates an Object or Process with its value expressed as an instance of CurrencyMeasure.
 monitor application data(monitorApplicationData ?TIME ?APPLICATION) holds if the time stamp ?TIME specifies the time at which ?APPLICATION is running.
 monitor connectivity data(monitorConnectivityData ?TIME ?IPADDRESS) is a relation between a timestamp ?TIME and an ?IP address.
 monoploid numbermonoploidNumber is a BinaryPredicate indicating the number of unique Chromosomes contained in a complete MonoploidChromosomeSet in the CellNuclues of a EukaryoticCell.
 monthly income(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.
 motherThe general relationship of motherhood. (mother ?CHILD ?MOTHER) means that ?MOTHER is the biological mother of ?CHILD.
 mothers brothers daughterIn Arabic: binot AlxaAl. Female cousin on the mother's side, daughter of mother's brother.
 mothers brothers sonIn Arabic: Aibon AlxaAl. Male cousin on the mother's side, son of mother's brother.
 mothers brothers wifeIn Arabic: zawojap AlxaAl. Wife of mother's brother.
 mothers sisters daughterIn Arabic: binot AlxaAlap. Daughter of mother's sister.
 mothers sisters husbandIn Arabic: zawoj AlxaAlap. Husband of mother's sister.
 mothers sisters sonIn Arabic: Aibon AlxaAlap. Son of mother's sister.
 multiplicative factor(multiplicativeFactor ?NUMBER1 ?NUMBER2)means that ?NUMBER1 is a factor of ?NUMBER2, i.e. ?NUMBER1 can be multiplied by some Integer to give ?NUMBER2 as a result.
 muscle insertionThe 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]
 muscle originThe 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]
 music chart by(musicChartBy ?CHART ?A) means that CognitiveAgent ?A was responsible for the process of deciding which objects are included in MusicChart ?CHART.
 music chart period(musicChartPeriod ?CHART ?TIME) means that the the MusicChart ?CHART was analyzed using information from TimeInterval ?TIME
 music genre(musicGenre ?MR ?ATTR) relates the MusicGenre ?ATTR to the MusicRecording ?MR
 music interpretation(musicInterpretation ?MR ?MC) means that MusicRecording ?MR is a realization of Music ?MC
 music video(musicVideo ?M ?V) means that VideoRecording ?V is a video recording that represents MusicRecording ?M.
 mutual acquaintance(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.
 mutual stranger(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.
 mutually exclusive completely exhaustive(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.
 name index order(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) means that the thing ?ENTITY has the SymbolicString ?STRING as its name. Note that names and represents are the two immediate subrelations of refers. The predicate names is used when the referring item is merely a tag without connotative content, while the predicate represents is used for referring items that have such content.
 national celebration(nationalCelebration ?AREA ?HOLIDAY) means that the primary day of national celebration in the GeopoliticalArea ?AREA is ?HOLIDAY. For example, (nationalCelebration Afghanistan AfghanIndependenceDay).
 national holiday(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).
 natural hazard type in area(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.
 natural resource type in area(naturalResourceTypeInArea ?REGION ?TYPE) means that the GeographicArea ?REGION has resources of the kind ?TYPE.
 navigable for draft(navigableForDraft ?WATERWAY ?DRAFT) means that the Waterway ?WATERWAY can be transited by vessels up to the draft ?DRAFT.
 navigable for shipping tonnage(navigableForShippingTonnage ?WATERWAY ?TONNAGE) means that the Waterway ?WATERWAY can be transited by vessels up to the tonnage ?TONNAGE (in Dead Weight Tonnage).
 near orientation(nearOrientation ?OBJ1 ?OBJ2) means that ?OBJ1 has orientation Near to ?OBJ2
 needs(needs ?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?AGENT.
 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.
 net amountThe amount due the supplier after commissions have been deducted.
 niece(niece ?NIECE ?PERSON) means that ?NIECE is the daughter of a sibling of ?PERSON.
 number of adult occupants(numberAdultOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of HumanAdult that will be fulfilling the reservation
 number of aprons(numberOfRunways ?AA ?N) means that Airport ?AA has Integer ?N number of Aprons.
 number of child occupants(numberChildOccupant ?RESERVE ?NUM) means tht the HotelReservation ?RESERVE indicates Integer ?NUM of HumanChild is included in the reservation
 number of CPUs(numberOfCPUs ?COMPUTER ?INTEGER) means that the number of CPUs for the host ?COMPUTER is equal to INTEGER.
 number of customers(numberOfCustomers ?NUM ?RESERVE) refers to the number of patrons the reservation is for.
 number of floors(numberOfFloors ?BLDG ?NUM) means that Building ?BLDG has Integer ?NUM number of BuildingLevel
 number of occupants(numberOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of Human that will potentially be staying in the TravelerAccommodation
 number of runways(numberOfRunways ?A ?N) means that Airport ?A has Integer ?N number of Runways.
 number of senior occupants(numberSeniorOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of HumanAdult that has age greaterThanOrEqualTo 60
 number of taxiways(numberOfTaxiways ?A ?N) means that Airport ?A has Integer ?N number of Taxiways.
 object of biddingA CaseRole of Bidding identifying the instance of Physical being bid on.
 observes holiday(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
 official name(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.
 on orientation(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.
 opposite direction(oppositeDirection ?DIR1 ?DIR2) means that the PositionalAttribute ?DIR1 points in the compass direction opposite to the DirectionalAttribute ?DIR2.
 optimal grind size for making coffee
 option holder(optionHolder ?Option ?Agent) means that ?Agent is the holder of the option.
 option seller(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.
 organization name(organizationName ?STRING ?OBJ) means that ?STRING is a full or partial name for the Organization ?OBJ.
 organization product type(organizationProductType ?BUSINESS ?TYPE) means that the Organization ?BUSINESS produces products of the kind ?TYPE.
 organization service type(organizationServiceType ?BUSINESS ?TYPE) means that the Organization ?BUSINESS provides services of the kind ?TYPE.
 organization staff(orgStaff ?ORG ?POS) means that Agent ?ORG employs Human with Attribute ?POS
 organizational objective(organizationalObjective ?AGENT ?FOCUS) means that the AutonomousAgent ?AGENT has significant aims and concerns characterized by the AreaOfConcern ?FOCUS.
 original balance(originalBalance ?ACCOUNT ?BALANCE) means that ?BALANCE is the balance of the account at the time the account is opened.
 original expressed in language(originalExpressedInLanguage ?PROP ?LANG) means that Proposition ?PROP, the first time it was ever realized in a LinguisticExpression, was first expressed in Language ?LANG.
 other land use areaThis 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.
 out of the moneyA 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.
 overlap partially(overlapsPartially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 have part(s) in common, but neither ?OBJ1 nor ?OBJ2 is a part of the other.
 overlap temporally(overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a TimeInterval as a common part.
 oxygen saturationA 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.
 paid property amenity(paidPropertyAmenity ?AGENT ?PHYS) means that AutonomousAgent ?AGENT provides Physical ?PHYS at additional cost
 paid room amenity(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.
 parasiticA BinaryPredicate that is the counterpart to parasite, but for classes rather than instances.
 parentThe general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.
 partThe basic mereological relation. All other mereological relations are defined in terms of this one. (part ?PART ?WHOLE) simply means that the Object ?PART is part of the Object ?WHOLE. Note that, since part is a ReflexiveRelation, every Object is a part of itself.
 partA meronymy relation similar to part, but for abstract rather than physical things.
 part types(partTypes ?PART_TYPE ?WHOLE_TYPE) means that every instance of ?PART_TYPE is parts of an instance of ?WHOLE_TYPE.
 partial ordering onA BinaryRelation is a partial ordering on a Class only if the relation is reflexiveOn the Class, and it is both an AntisymmetricRelation, and a TransitiveRelation.
 partly located(partlyLocated ?OBJ1 ?OBJ2) means that the instance of Physical ?OBJ1 is at least partially located at ?OBJ2. For example, Istanbul is partly located in Asia and partly located in Europe. Note that partlyLocated is the most basic localization relation: located is an immediate subrelation of partlyLocated and exactlyLocated is an immediate subrelation of located.
 party to agreement(partyToAgreement ?AGENT ?PROP) means that the AutonomousAgent ?AGENT has committed to the agreement ?PROP.
 passenger capacity max number(passengerCapacityMaxNumber ?TRANSPORT ?NUMBER) means that the TransportationDevice ?TRANSPORT has a safe carrying capacity for ?NUMBER of passengers.
 paternal auntIn Arabic: Eam~ap. Father's sister, paternal aunt.
 paternal uncleIn Arabic: Eam~. Father's brother, paternal uncle.
 path in system(pathInSystem ?PATH ?SYSTEM) means that the Physical thing ?PATH consists of one or more connected routes in the PhysicalSystem ?SYSTEM.
 path lengthA BinaryPredicate that specifies the length (in number of GraphNodes) of a GraphPath. (pathLength ?PATH ?NUMBER) means that there are ?NUMBER nodes in the GraphPath ?PATH.
 pathologic side effectA 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.
 pathologic symptomA symptom that is a possible manifestation of a particular PathologicProcess.
 pathology candidate
 patient medicalThe 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.
 per capita GDP(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.
 permanent crop land area(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.
 permitsA 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.
 person transport capability(personTransportCapability ?PV ?I) means that the PassengerVehicle ?PV is able to carry ?I Humans.
 personal phone number(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.
 pH measure
 phone number(phoneNumber ?Phone ?Agent) holds if ?Phone is a phone number corresponding to the Telephone ?Phone.
 physical amenity in all rooms(allRoomsPhysicalAmenity ?INV ?OBJ) means that all rooms in RoomInventory ?INV have roomAmenity ?OBJ
 physical amenity in some rooms(someRoomsPhysicalAmenity ?INV ?OBJ) means that there are rooms in RoomInventory ?INV that have roomAmenity ?OBJ
 physical amplitudeA relation between a periodic motion and the distance between the physical extremes of the period.
 physical endA notion of an indeterminate portion at the end of an Object that has a LongAndThin ShapeAttribute.
 physical inclusion(physicalInclusion ?PACKAGE ?OBJ) means that the resource ?OBJ is available for the guest's use or consumption
 pieceA specialized common sense notion of part for arbitrary parts of Substances. Quasi-synonyms are: chunk, hunk, bit, etc. Compare component, another subrelation of part.
 pin(pin ?PIN ?Card) means that ?PIN is a personal identification number linked to the ?Card.
 piston strokeThe maximum distance that a piston travels during normal operation of the Engine.
 point of figure(pointOfFigure ?POINT ?FIGURE) means that the GeometricPoint ?POINT is part of the GeometricFigure ?FIGURE.
 policy inclusion(policyInclusion ?PACKAGE ?POLICY) means that ?POLICY is applicable
 policy location coverage(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
 policy owner(policyOwner ?Organization ?Policy) describes how ?Policy is adopted and enforced by ?Organization
 political party of country(politicalPartyOfCountry ?PARTY ?AREA) means that the PoliticalParty ?PARTY participates in politics in the GeopoliticalArea ?AREA.
 population fraction below poverty line(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.
 port number(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.
 possessesRelation that holds between an AutonomousAgent and an Object when the AutonomousAgent has ownership of the Object. Note that this is distinct from having the right to use or be located at a particular object, for example, by Renting.
 post address text(postAddressText ?PostalAddressText ?PostalPlace) means that the ContactSite ?PostalPlace is identified by ?PostalAddressText.
 post city(postCity ?PostalPlace ?City) means that ?PostalPlace is located in ?City.
 post contact site(postContactSite ?PostalPlace ?AutonomousAgent) means that the Human or Organization ?AutonomousAgent can be contacted by post (mail) at the location ?PostalPlace.
 post country(postCountry ?PostalPlace ?GeopoliticalArea) means that ?PostalPlace is located in the Nation or DependencyOrSpecialSovereigntyArea ?GeopoliticalArea.
 post district(postDistrict ?PostalPlace ?StateOrProvince) means that ?PostalPlace is located in ?StateOrProvince.
 post neighborhood(postNeighborhood ?PLACE ?NEIGHBORHOOD) means that ?PLACE is located in ?NEIGHBORHOOD
 post post office box(postPostOfficeBox ?SymbolicString ?PostalPlace) means that ?SymbolicString identifies the post office box of a ?PostalPlace. ?SymbolicString need not consist exclusively of DigitCharacters.
 post postcode area(postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?PostcodeArea.
 post street(postStreet ?PostalPlace ?Roadway) means that ?PostalPlace is Adjacent to ?Roadway.
 post street number(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.
 potential customer(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
 potential of hydrogen(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.
 power component(powerComponent ?GENERATOR ?THING) means that the Device ?GENERATOR is the power source for the Artifact ?THING.
 precipitation amount(precipitationAmount ?EVENT ?AMOUNT) means that in the Precipitation process ?EVENT, the quantity of precipitation that fell was ?AMOUNT.
 precipitation rate(precipitationRate ?EVENT ?RATE) means that in the Precipitation ?EVENT, the precipitation falls at a rate of ?RATE.
 precipitation state(precipitationState ?EVENT ?STATE) means that in the Precipitation ?EVENT, the stuff falling is in the PhysicalState ?STATE (e.g., Liquid or Solid ice).
 preconditionA very general Predicate. (precondition ?PROC1 ?PROC2) means that an instance of ?PROC2 can exist only if an instance of ?PROC1 also exists.
 premise(premise ?ARGUMENT ?PROPOSITION) means that the Proposition ?PROPOSITION is an explicit assumption of the Argument ?ARGUMENT.
 premiumTotal price of an option.
 preventsA very general Predicate. (prevents ?PROC1 ?PROC2) means that an instance of ?PROC1 prevents the occurrence of ?PROC2. Note the difference between this relation and preventsSubclass, which is relating classes and not instance-class.
 prevents subclassA very general Predicate. (preventsSubclass ?PROC1 ?PROC2) means that ?PROC1 preventsSubclass the occurrence of ?PROC2. In other words, if ?PROC1 is occurring in a particular time and place, ?PROC2 cannot occur at the same time and place. For example, innoculating preventsSubclass contracting disease. Note that this is a relation between types of Processes, not between instances.
 primary geopolitical subdivision(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.
 primary geopolitical subdivision type(primaryGeopoliticalSubdivisionType ?COUNTRY ?TYPE) means that the first-order administrative divisons of ?COUNTRY are of the type ?TYPE.
 primary voltage ratingvoltageRatingPrimary is a PrimaryPredicate which maps the MeasurementAttribute, VoltageRatingPrimary of an ElectricTransmission to a value of FunctionQuantity it can receive (input).
 prime interest rateThe interest rate that commercial banks charge their most creditworthy borrowers, such as large corporations. The prime rate is a lagging indicator.
 principal amount(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.
 process aborted(processAborted ?Abort ?Process) means that the ComputerProcess ?Process is aborted as the result of ?Abort.
 process inclusion(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
 produced on(producedOn ?R ?TP) refers to the date that a Recording was finalized into a final copy that is ready for release.
 product brand(productBrand ?BRAND ?OBJ) means that the perception associated with Brand ?BRAND is reflected on Physical ?OBJ
 profitThe positive gain from an investment or business operation after subtracting for all expenses.
 program running(programRunning ?Process ?Program) means that the ComputerProcess ?Process is executing the ComputerProgram ?Program.
 prohibited item(prohibitedItem ?Object ?SITE means that ?ITEM is not allowed to be sold on WebSite ?SITE.
 prohibitsA 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.
 propertyThis Predicate holds between an instance of Entity and an instance of Attribute. (property ?ENTITY ?ATTR) means that ?ENTITY has the Attribute ?ATTR.
 property amenity(propertyAmenity ?AGENT ?PHYS) means that &AutonomousAgent ?AGENT provides Physical ?PHYS on its property
 property policy(propertyPolicy ?AGENT ?POLICY) means that ?POLICY is a Policy with policyLocationCoverage that covers all elements of PropertyFn ?AGENT
 proposition owner(propositionOwner ?AGENT ?PROP) means that CognitiveAgent ?AGENT was the one who conceptualized or created the Proposition ?PROP
 protocol for connector
 proton number(protonNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER.
 provides destination(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.
 punishesA 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.
 qualified experiment(qualifiedExperiment ?EXPERIMENT ?HUMAN means that ?HUMAN has the capabilty of being the experimentalSubject of ?EXPERIMENT
 qualified page view(qualifedPageView ?EXPERIMENT ?ACCESSING) represents that the patient of AccessingWebPage ?ACCESSING is a treatedPage in ?EXPERIMENT
 qualified treatment(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) means that the radius of the Circle ?CIRCLE has a length of ?LENGTH.
 radius of maximum wind
 rainy season in area(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)).
 rangeGives the range of a function. In other words, (range ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are instances of ?CLASS.
 range subclass(rangeSubclass ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are subclasses of ?CLASS.
 rate detail(rateDetail ?RESERVE ?FORMULA) gives the price detail associated with each item in the reservation
 rate policy(pricePolicy ?SCHEME ?POLICY) describes the Policy ?POLICY attached to the given rate with the ?SCHEME
 ratings agent(ratingsAgent ?RATING ?AGENT) means that ?AGENT went through some Classifying process in order to create RatingAttribute ?RATING.
 real growth rate of GDP(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
 record for agreementThis 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.
 recording company(recordingCompany ?R ?C) means that RecordCompany ?C is responsible for the distribution and production of Recording ?R.
 recording length(recordingLength ?R ?T) indicates that playing the complete Recording ?R from start to finish lasts TimeDuration ?T.
 refers(refers ?OBJ1 ?OBJ2) means that ?OBJ1 mentions or includes a reference to ?OBJ2. Note that refers is more general in meaning than represents, because presumably something can represent something else only if it refers to this other thing. For example, an article whose topic is a recent change in the price of oil may refer to many other things, e.g. the general state of the economy, the weather in California, the prospect of global warming, the options for alternative energy sources, the stock prices of various oil companies, etc.
 reflexive onA BinaryRelation is reflexive on a Class only if every instance of the Class bears the relation to itself.
 regional issue(regionalIssue ?AREA ?ISSUE) means that the AreaOfConcern ?ISSUE is relevant to a problem in the GeographicArea ?AREA.
 registered item(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.
 registered user(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.
 related event(relatedEvent ?EVENT1 ?EVENT2) means that the Process ?EVENT1 is related to the Process ?EVENT2. The relationship is between separate individual events, not events and their subprocesses. On the other hand, two subProcesses of the same overarching event may be relatedEvents. The argument order does not imply temporal ordering.
 related internal conceptMeans that the two arguments are related concepts within the SUMO, i.e. there is a significant similarity of meaning between them. To indicate a meaning relation between a SUMO concept and a concept from another source, use the Predicate 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.
 relative humidity(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.
 religious affiliation of organization(religiousAffiliationOfOrganization ?ORG ?BELIEF) means that one of the goals of ?ORG is to advance the religious teachings of the BeliefGroup ?BELIEF.
 representsA very general semiotics Predicate. (represents ?THING ?ENTITY) means that ?THING in some way indicates, expresses, connotes, pictures, describes, etc. ?ENTITY. The Predicates containsInformation and realization are subrelations of represents. Note that represents is a subrelation of refers, since something can represent something else only if it refers to this other thing. See the documentation string for names.
 request rate(requestRate ?Request ?Period) means that ?Period is the period at which the user sends its ?Request.
 reservation channel(reservationChannel ?ENTITY ?RESERVE) means that ?ENTITY was used by the reservingEntity in order to create the reservation, like an intermediary agent.
 reservation end(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
 reservation start(reservationStart ?TIME ?RESERVE) means that the use of a resource or consumption of a service which is the object of ?RESERVE starts at ?TIME
 reserve Price(reservePrice ?AUCTION ?AMOUNT) means that if an Auctioning was won (i.e. has a destination) then the buyer bid higher than ?AMOUNT.
 reserved package(reservedPackage ?RESERVE ?PACKAGE) means that the customer has reserved for the HotelPackage ?PACKAGE
 reserved room(reservedRoom ?RESERVE ?ROOMTYPE) means that the &$HotelUnit ?ROOMTYPE is the requested room type for the hotel stay indicated by HotelReservation ?RESERVE
 reserving entity(reservingEntity ?ENTITY ?RESERVE) means that ?ENTITY is the AutonomousAgent reserving a particular resource indicated by ?RESERVE
 resonant frequencyThe 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.
 resource exhausted(resourceExhausted ?PROCESS ?RESOURCE) means that ?RESOURCE is present at the beginning of ?PROCESS, is used by ?PROCESS, and as a consequence is completely used up by the ?PROCESS. For example, fuel is a resourceExhausted in the following proposition: the plane run out of fuel and ditched in the sea.
 resource used(resourceUsed ?Process ?Resource) means that the ComputerProcess ?Process has access to the ComputerResource ?Resource.
 response rate(responseRate ?Response ?Period) means that ?Period is the period at which the computer sends its ?Response.
 response timeThe time it takes for the computer to comply with a user's request, such as looking up a customer record.
 resting breathing rateThe breathing rate at rest of a human, in beats per minute.
 resting heart rateThe heart rate at rest of a human, in beats per minute.
 result type(resultType ?PROCESS ?TYPE) means that the Process ?PROCESS produces some result(s) of the type ?TYPE.
 rewardsA 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.
 risk levelRelates an instance of Investing to the level of risk associated with the investment.
 risk tolerance
 rM program_of(rMProgramOf ?RM ?SYSTEM) means that ?RM is the resource management program of the SoftwareSystem ?SYSTEM.
 roasted to temperatureroastedToTemperature is a BinaryRelation linking the temperature in Celsius of the Object that are roasted to.
 room amenity(roomAmenity ?ROOM ?PHYS) means that TravelerAccommodation provides Physical ?PHYS in HotelUnit ?ROOM
 room attribute(roomAttribute ?ROOM ?ATTR) means that all instances of HotelUnit ?ROOM has attribute ?ATTR
 room policy(roomPolicy ?ROOM ?POLICY) means that Policy ?POLICY is applied to the HotelUnit ?ROOM
 room policy in all rooms(someRoomsPolicy ?INV ?POLICY) means some rooms in RoomInventory ?INV have roomPolicy ?POLICY
 room policy in all rooms(allRoomsPolicy ?INV ?POLICY) means that all rooms in RoomInventory ?INV have roomPolicy ?POLICY
 room temperature state
 route end(routeEnd ?REGION ?SYSTEM) means that within the given ?SYSTEM the given ?REGION is connected to only one other Region.
 route in system(routeInSystem ?PART ?SYSTEM) means that the Transitway ?PART is an established route of the TransportationSystem ?SYSTEM.
 route start(routeStart ?REGION ?SYSTEM) means that within the given ?SYSTEM the given ?REGION is connected to only one other Region.
 running on(runningOn ?Program ?Computer) holds if the ComputerProgram ?Program is being executed on ?Computer.
 runs on(runsOn ?Program ?Computer) means that ?Program is capable of running on ?Computer with its current configuration of installed software.
 saysA 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.
 screen of GUIE(screenOfGUIE ?GUIE ?SCREEN) means that the GUIElement, ?GUIE, is displayed on, or at least logically assigned to be displayed on the ComputerScreen, ?SCREEN.
 sea surface temperature(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.
 search query rewrite(SearchQueryRewrite ?QUERY1 ?QUERY2) means that the SearchQuery ?QUERY2 occured before the &SearchQuery ?QUERY1, and they both represent the same SearchAttempt.
 search result(searchResult ?RESULT ?SA) relates a WebListing to a SearchAttempt where the listing is in the SRPResults.
 seats in organization count(seatsInOrganizationCount ?ORG ?NUMBER) means that there is a total ?NUMBER of seats in the Organization ?ORG.
 seconary voltage ratingvoltageRatingSecondary is a BinaryPredicate which maps the MeasurementAttribute, VoltageRatingSecondary of an ElectricalTransformer to a value of FunctionQuantity it distribute (output).
 secretes substance(secretesSubstance ?OBJ ?STUFF) means that the subclass of OrganicObject (either Organism or BodyPart) ?OBJ produces the subclass of Substance ?STUFF.
 secretes toxin(secretesToxin ?ORGANISM ?TOXIN) means that the subclass of Organism ?ORGANISM produces the subclass of Toxin ?TOXIN.
 secured byAssets pledged by a borrower to secure a loan or other credit, and subject to seizure in the event of FinancialDefault.
 send rate(sendRate ?Program ?Period) holds if ?Period is the period at which the ComputationalSystem ?System sends data reports.
 sentential object(sententialObject ?OBJECT ?SENTENCE) means that the NounPhrase ?OBJECT is the object of the Sentence ?SENTENCE.
 sentential subject(sententialSubject ?SUBJECT ?SENTENCE) means that the NounPhrase ?SUBJECT is the subject of the Sentence ?SENTENCE.
 service amenity in all rooms(allRoomsServiceAmenity ?INV ?SVC) means that all rooms in RoomInventory ?INV have roomAmenity ?SVC
 service amenity in some rooms(someRoomsServiceAmenity ?INV ?SVC) means that there are rooms in RoomInventory ?INV that have roomAmenity ?SVC
 service provider(serviceProvider ?EVENT ?AGENT) means that ?AGENT is the supplier of the service provided in ?EVENT.
 service recipient(serviceRecipient ?EVENT ?AGENT) means that ?AGENT is the receiver of the service provided in ?EVENT.
 settling time(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.
 share holder(shareHolder ?Stock ?Agent) means that ?Agent possesses shares of Stock in a corporation or mutual fund.
 share of
 shutdown of(shutdownOf ?SHUTDOWN ?PROGRAM) holds just in case an instance of ShutdownBlock ?SHUTDOWN specifies a set of instructions to end ?PROGRAM.
 siblingThe 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) means that ?SIDE is a side of the object, as opposed to the top or bottom.
 side effectA 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.
 side of figure(sideOfFigure ?SIDE ?FIGURE) means that the OneDimensionalFigure ?POINT is a side of the GeometricFigure ?FIGURE.
 signed by(signedBy ?Instrument ?Agent) means that ?Instrument has been signed by ?Agent.
 simple deadline(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.
 site catalog(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.
 site for contact(siteForContact ?ContactSite ?AutonomousAgent) means that the Human or Organization ?AutonomousAgent can be reached at or via the point of contact ?ContactSite.
 slice of figure(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.
 sliding window size(slidingWindowSize ?PATH ?N) holds if PATH has a realtime QoS sliding window size of ?N measured samples.
 slope gradient(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) means that ?OBJ1 is smaller, with respect to all LengthMeasures, than ?OBJ2.
 software path(softwarePath ?SYSTEM ?PATH) means that ?PATH is a computer path for the instance of SoftwareSystem ?SYSTEM.
 some rooms attribute(someRoomsAttribute ?INV ?ATTR) means some rooms in RoomInventory ?INV have RelationalAttribute ?ATTR
 sonThe general relationship of being a son. (son ?CHILD ?PARENT) means that ?CHILD is the biological son of ?PARENT.
 song artist(songArtist ?MR ?A) means that CognitiveAgent ?A was the agent in recording MusicRecording ?MR
 sound frequencyA relation between a Process of MusicalTone and the fundamental frequency of that tone.
 speaks language(speaksLanguage ?AGENT ?LANGUAGE) means that the SentientAgent ?AGENT is capable of understanding and/or generating the Language ?LANGUAGE.
 sphere radius(sphereRadius ?OBJECT ?LENGTH) means the radius of the spherical Object, ?OBJECT, is ?LENGTH.
 standard error device(standardErrorDevice ?PROGRAM ?DEVICE) holds just in case the DEVICE is the predefined error channel with which the running version of this program is initialised.
 standard input device(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.
 standard output device(standardOutputDevice ?PROGRAM ?DEVICE) holds just in case the DEVICE is the predefined output channel with which the running version of this program is initialised.
 standard retail hours(%&standardRetailHours ?TIMEINT ?AGENT) means that an ?AGENT engages in Selling processes with customers only within the time specified by ?TIMEINT
 starts during(startsDuring ?INTERVAL1 ?INTERVAL2) means that the end point of ?INTERVAL1 starts during ?INTERVAL2.
 startup of(startupOf ?STARTUP ?PROGRAM) holds just in case an instance of StartupBlock ?STARTUP specifies a set of instructions to start the ?PROGRAM.
 startup time delay(startupTimeDelay ?PROGRAM ?TIME) says that ?TIME is the time to delay after the previous application was started before starting the application ?PROGRAM.
 state of process(stateOfProcess ?PROCESS ?STATE) says that ?STATE is a state of the ComputerProcess ?PROCESS.
 statement account(statementAccount ?Statement ?Account) means that ?Account is the account of the BankStatement ?Statement.
 statement interest(statementInterest ?Statement ?Amount) holds if ?Amount is the interest amount as shown on the BankStatement ?Statement.
 statement period(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.
 staysThe 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.
 stock holder(stockHolder ?Stock ?Agent) means that ?Agent possesses the Stock ?Stock.
 stock symbolA 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.
 stream outfall(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.
 strike priceThe 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.
 string length(stringLength ?NonnegativeInteger ?SymbolicString) means that the number of Characters in ?SymbolicString is ?NonnegativeInteger. Example: (stringLength 14 &quot;Charles Darwin&quot;), which is a True Sentence.
 student(student ?AGENT ?ORG) means that ?AGENT is enrolled in the EducationalOrganization ?ORG.
 sub attributeMeans that the second argument can be ascribed to everything which has the first argument ascribed to it.
 sub collection(subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2.
 sub echelonA subEchelon is a relationship between named organizational unit types in which a unit of one type is a subOrganization of the other.
 sub graphThe relation between two Graphs when one Graph is a part of the other. (subGraph ?GRAPH1 ?GRAPH2) means that ?GRAPH1 is a part of ?GRAPH2.
 sub language(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.
 sub list(subList ?LIST1 ?LIST2) means that ?LIST1 is a sublist of ?LIST2, i.e. every element of ?LIST1 is an element of ?LIST2 and the elements that are common to both Lists have the same order in both Lists. Elements that are common to both Lists and are consecutive in one list must also be consecutive in the other list. (Therefore - the list of prime numbers smaller than 10 [1 2 3 5 7] is not a subList of the natural numbers smaller than 10 [1 2 3 4 5 6 7 8 9]).
 sub process(subProcess ?SUBPROC ?PROC) means that ?SUBPROC is a subprocess of ?PROC. A subprocess is here understood as a temporally distinguished part (proper or not) of a Process.
 sub proposition(subProposition ?PROP1 ?PROP2) means that ?PROP1 is a Proposition which is a proper part of the Proposition ?PROP2. In other words, subProposition is the analogue of properPart for chunks of abstract content.
 sub string(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.
 sub system(subSystem ?SUB ?SYSTEM) means that the PhysicalSystem ?SUB is a part of the PhysicalSystem ?SYSTEM.
 sub-brand(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) means that ?CLASS1 is a subclass of ?CLASS2, i.e. every instance of ?CLASS1 is also an instance of ?CLASS2. A Class may have multiple superclasses and subclasses.
 subrelation(subrelation ?REL1 ?REL2) means that every tuple of ?REL1 is also a tuple of ?REL2. In other words, if the Relation ?REL1 holds for some arguments arg_1, arg_2, ... arg_n, then the Relation ?REL2 holds for the same arguments. A consequence of this is that a Relation and its subrelations must have the same valence.
 subset(subset ?SET1 ?SET2) is true just in case the elements of the Set ?SET1 are also elements of the Set ?SET2.
 substance elementA relation from a kind of Substance to the CorpuscularObjects that make up the substance. For example, the substance Blood has elements RedBloodCell, WhiteBloodCell etc.
 subsumes content classA BinaryPredicate that relates two subclasses of ContentBearingPhysical. (subsumesContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS2 is also expressed by each instance of ?CLASS1. Examples include the relationship between a poem and one of its stanzas or between a book and one of its chapters. Note that this is a relation between subclasses of ContentBearingObject, rather than instances. If one wants to relate instances, the Predicate subsumesContentInstance can be used. Note that subsumesContentClass is needed in many cases. Consider, for example, the relation between the King James edition of the Bible and its Book of Genesis. This relation holds for every copy of this edition and not just for a single instance.
 subsumes content instanceA BinaryPredicate relating two instances of ContentBearingPhysical. (subsumesContentInstance ?OBJ1 ?OBJ2) means that the content expressed by ?OBJ2 is part of the content expressed by ?OBJ1. An example is the relationship between a handwritten poem and one of its stanzas. Note that this is a relation between instances, rather than Classes. If one wants to assert a content relationship between Classes, e.g. between the version of an intellectual work and a part of that work, the relation subsumesContentClass should be used.
 successor attribute(successorAttribute ?ATTR1 ?ATTR2) means that ?ATTR2 is the Attribute that comes immediately after ?ATTR1 on the scale that they share.
 successor attribute closureThe transitive closure of successorAttribute. (successorAttributeClosure ?ATTR1 ?ATTR2) means that there is a chain of successorAttribute assertions connecting ?ATTR1 and ?ATTR2.
 successor classThe next class is a sequence of classes, such as days of the week. The first argument is 'prior' to the second argument.
 successor organization(successorOrganization ?OLD ?NEW) means that the Organization ?OLD was transformed or merged into, or otherwise succeeded by, the Organization ?NEW.
 suffrage age maximum(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.
 suffrage age minimum(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.
 superficial part(superficialPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 that has no interior parts of its own (or, intuitively, that only overlaps those parts of ?OBJ2 that are externally connected with the mereological complement of ?OBJ2). This too is a transitive relation closed under MereologicalSumFn and MereologicalProductFn.
 supplies bloodA 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) means that ?OBJ1 is a maximally connected superficialPart of ?OBJ2. Note that some SelfConnectedObjects have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface.
 surface wind direction(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.
 surface wind speed(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.
 system behavior(systemBehavior ?System ?Attribute) holds if ?Attribute is a SystemBehaviorAttribute which describes the RealtimeSystem ?System.
 system measured(systemMeasured ?Event ?System) means that ?Event is an event of measuring the performance of the ComputationalSystem ?System.
 system part(systemPart ?PART ?SYSTEM) means that the Physical thing ?PART is a SystemElement in the PhysicalSystem ?SYSTEM.
 systolic blood pressureThe 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.
 target in attackThis 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.
 task relation(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.
 telecom area code(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.
 telecom code2(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.
 telecom contact device(telecomContactDevice ?TelephonyDevice ?AutonomousAgent) means that ?TelephonyDevice is a ContactSite for the Human or Organization ?AutonomousAgent.
 telecom core number(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.
 telecom country code(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.
 telecom extension(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.
 telephone number(%&telephoneNumber ?NUMBER ?AGENT) means that ?AutonomousAgent identifies a TelecomeNumber at which ?AutonomousAgent can be contacted
 temporal partThe temporal analogue of the spatial part predicate. (temporalPart ?POS1 ?POS2) means that TimePosition ?POS1 is part of TimePosition ?POS2. Note that since temporalPart is a ReflexiveRelation every TimePostion is a temporalPart of itself.
 tenant(tenant ?PERSON ?UNIT) means that ?PERSON is a tenant of the Residence ?UNIT, i.e. he or she is renting the unit.
 terrain in area(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.
 threshold of
 timeThis relation holds between an instance of Physical and an instance of TimePosition just in case the temporal lifespan of the former includes the latter. In other words, (time ?THING ?TIME) means that ?THING existed or occurred at ?TIME. Note that time does for instances of time what holdsDuring does for instances of Formula. The constants located and time are the basic spatial and temporal predicates, respectively.
 titlesA 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) means that ?TOP is the highest maximal superficial part of ?OBJECT.
 top speedThe 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.
 totalA binaryPredicate which relates a class of Quantities to their sum.
 total area(totalArea ?REGION ?AMOUNT) means that the total area of ?REGION is the AreaMeasure ?AMOUNT.
 total balanceThe initial balance of a loan, which is the amount borrowed.
 total biomass(totalBiomass ?PLACE ?MASS) means that the total amount (in weight or volume) of living matter in the Region ?PLACE is ?MASS.
 total coastline(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.
 total land boundary(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.
 total length of highway system(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.
 total length of railway system(totalLengthOfRailwaySystem ?AREA ?LENGTH) means that the sum length of all railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.
 total length of waterways(totalLengthOfWaterways ?AREA ?LENGTH) means that the total length of navigable Waterways in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.
 total ordering onA BinaryRelation ?REL is a total ordering on a Class only if it is a partial ordering for which either (?REL ?INST1 ?INST2) or (?REL ?INST2 ?INST1) for every ?INST1 and ?INST2 in the Class.
 total pipeline in area(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.
 track widthThe distance between the two rails of a Railway.
 trafficable for traffic type(trafficableForTrafficType ?WAY ?TYPE) means that Objects of ?TYPE can move along the Transitway ?WAY.
 transaction amount(transactionAmount ?TRANSACTION ?AMOUNT) means that ?AMOUNT is an instance of CurrencyMeasure being exhanged in the FinancialTransaction ?TRANSACTION.
 transformer capacity
 transported(transported ?EVENT ?OBJ) means that ?OBJ is transported (carried/moved to a different physical location) in the Transportation ?EVENT.
 traverses(traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2. Note that crosses and penetrates are subrelations of traverses.
 treated pageBinaryPredicate 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.
 treated page definition(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.
 treated user(treatedUser ?VISITOR ?EXPERIMENT) means that ?VISITOR experienced a Qualifying Event of ?EXPERIMENT.
 treatment group(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.
 tributaryA 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.
 trichotomizing onA BinaryRelation ?REL is trichotomizing on a Class only if, for all instances ?INST1 and ?INST2 of the Class, at least one of the following holds: (?REL ?INST1 ?INST2), (?REL ?INST2 ?INST1) or (equal ?INST1 ?INST2).
 trusted deviceA 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.
 truthThe BinaryPredicate that relates a Sentence to its TruthValue.
 typical action(typicalAction ?PROCESS ?CLASS) means that instances of the class ?AGENT are typically an active determinant of instances of the Process class ?PROCESS.
 typical blood volumeThe typical, approximate volume of Blood for the given class of Mammal.
 typical partAn 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.
 typical temporal partAn 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.
 typically contains partAn 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.
 typically contains temporal partAn 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.
 uda can signify(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.
 underage user(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.
 unemployment rate of area(unemploymentRateOfArea ?AREA ?RATE) means that the unemployment rate in the GeographicalArea ?AREA is ?RATE.
 unique identifierThe class of names that uniquely identify an instance of Entity. Some examples of uniqueIdentifiers are the keys of tables in database applications and the ISBN (International Standard Book Number).
 unit measuring performance(unitMeasuringPerformance ?COMPONENT ?UNIT) holds in case ?UNIT is an instance of UnitOfMeasure which is used to measure the performance of ?COMPONENT.
 unit number(unitNumber ?STR ?PLACE) means that ?STR represents the particular unit or space within the building that a PostalPlace is located
 unpaid item(unpaidItem ?ITEM ?AGENT) means that ?AGENT Promised to buy ?ITEM, but did not.
 unratified signatory to agreement(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.
 urlThe SymbolicString form of a UniformResourceLocator.
 urlThe 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.
 user database(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.
 user feedback score(userFeedbackScore ?ACCOUNT ?SCORE) associates a UserAccount with a RealNumber which represents the scored feedback on that account by other users on the same site.
 user identifier string(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) means that ?OBJECT is used by ?AGENT as an instrument in an unspecified Process. This Predicate, as its corresponding axiom indicates, is a composition of the CaseRoles agent and instrument.
 vaccine
 valenceSpecifies the number of arguments that a relation can take. If a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of VariableArityRelation.
 valid for(validFor ?SCHEME ?AGENT) means that CurrencyMeasure that PricingScheme refers to applies to AutonomousAgent ?AGENT
 valid payment type(validPaymentType ?SCHEME ?PAYMENT) means that the CurrencyMeasure that PricingScheme refers to is valid for the given Payment class
 validity period(validityPeriod ?SCHEME ?TIMEINT) means that the CurrencyMeasure that PricingScheme refers to is valid for the given TimeInterval
 vegetation type(vegetationType ?area ?type) associates a particular GeographicArea with a type of Plant that is found there.
 versionSome 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.
 vessel dead weight tonnage(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.
 vessel displacement(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).
 vessel gross registered tonnage(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.
 view type(viewType ?REGION ?OBJ) means that a person in ?REGION can see ?OBJ
 viewed listing(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
 visual acuityA Measuring of auditory acuity defined as the ability to hear frequencies from 250 to 8000 Hertz at a certain sound pressure level.
 voltage measure(voltageMeasure ?OBJ ?MEAS) describes how much electricity ?OBJ, a power source, generates
 wants(wants ?AGENT ?OBJECT) means that ?OBJECT is desired by ?AGENT, i.e. ?AGENT believes that ?OBJECT will satisfy one of its goals. Note that there is no implication that what is wanted by an agent is not already possessed by the agent.
 warm season in area(warmSeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the warm season occurs during the TimeInterval ?INTERVAL.
 water area only(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.
 water depth(waterDepth ?AREA ?LENGTH) means that the depth of water at the Region ?AREA is ?LENGTH.
 wave heightwaveHeight 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.
 web seller(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.
 web store advertisement(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.
 web visitor(webvisitor ?HUMAN ?SITE) means that there exists an AccessingWebPage where ?HUMAN is the agent, and the page accessed is a component of ?SITE.
 wedding anniversary(weddingAnniversary ?PHYSICAL ?TIME) means that ?TIME is the class of TimeIntervals which mark the anniversary of their weddingdate.
 weight(weight ?O ?MM) means that on planet earth the SelfConnectedObject ?O has the weight ?MM.
 widthBinaryPredicate that is used to state the measure of an Object from side to side at its widest span.
 wife(wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN.
 wind driven motionwindDrivenMotion 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.
 wind relative position(windRelativePosition ?OBJECT ?POSITION) means that the Wind blows at ?OBJECT from the relative vector ?POSITION. E.g., Crosswind, Headwind, Tailwind.
 work address(holdsDuring ?T1 (workAddress ?AGENT ?ADDRESS)) means that during the time specified by ?T1, ?ADDRESS identifies one of the locations at which ?AGENT works.
 work locationA Relation that specifies the typical or primary location where members of an Organization work.
 work phone number(workPhoneNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a Telephone at which ?AutonomousAgent can be contacted when at work, or for business purposes.
 year built(yearBuilt ?OBJ ?YEAR) means that the Making of Object ?OBJ was completed on Year ?YEAR
 year of founding(yearOfFounding ?ORG ?NUMBER) means that the Organization ?ORG was founded in the year expressed in ?NUMBER.
 yieldThe 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.
 yield levelRelates a FinancialAccount to the yield level (i.e. the type of profit) which can be expected from the account.


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners