Relationships
|
|
|
|
Parents |
antisymmetric relation |
BinaryRelation ?REL is an AntisymmetricRelation if for distinct ?INST1 and ?INST2, (?REL ?INST1 ?INST2) implies not (?REL ?INST2 ?INST1). In other words, for all ?INST1 and ?INST2, (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST1) imply that ?INST1 and ?INST2 are identical. Note that it is possible for an AntisymmetricRelation to be a ReflexiveRelation.
|
|
irreflexive relation |
Relation ?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.
|
Children |
case role | The Class of Predicates relating the spatially distinguished parts of a Process. CaseRoles include, for example, the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain. |
| propositional attitude | The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition. |
Instances | acronym | (acronym ?STRING ?ENTITY) means that ?STRING consists of the initial (capitalized) letters of a multiword name for ?ENTITY. Example: IBM is an acronym identifying (naming) a company for which the full name is International Business Machines. |
| agent name | (agentName ?STRING ?OBJ) means that ?STRING is a full or partial name for the AutonomousAgent ?OBJ. |
| alias | (alias ?STRING ?AGENT) means that ?STRING is an alternate identifier for ?AGENT, and is likely being used to hide or obscure ?AGENT's true identity. |
| area of operation | An operational area defined by the joint force commander for land and naval forces. Areas of operation do not typically encompass the entire operational area of the joint force commander, but should be large enough for component commanders to accomplish their missions and protect their forces. Also called AO. See also area of responsibility, joint operations area, joint special operations area. |
| attribute | (attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red). |
| 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)). |
| 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. |
| can run on | A weaker relation than runOn that says merely that a properly configured computer should be able to run the given software. |
| cargo | (cargo ?EVENT ?OBJ) means that ?OBJ is transported as cargo in the Shipping event ?EVENT. |
| causes | The 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 subclass | The 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). |
| chamber of legislature | (chamberOfLegislature ?CHAMBER ?LEGISLATURE) means that ?CHAMBER is a legislative body within the ?LEGISLATURE. |
| citizen | (citizen ?PERSON ?NATION) means that the Human ?PERSON is a citizen of Nation ?NATION. |
| closed on | A 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. |
| completely fills | (completelyFills ?OBJ ?HOLE) means that some part of the Object ?OBJ fills the HoleRegion ?HOLE. Note that if (completelyFills ?OBJ1 ?HOLE) and (part ?OBJ1 ?OBJ2), then (completelyFills ?OBJ2 ?HOLE). A complete filler of (a part of) a hole is connected with everything with which (that part of) the hole itself is connected. A perfect filler of (a part of) a hole completely fills every proper part of (that part of) that hole. |
| contains | The 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 information | A 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. |
| crosses | (crosses ?OBJ1 ?OBJ2) means that Object ?OBJ1 traverses Object ?OBJ2, without being connected to it. |
| customer | A very general relation that exists whenever there is a FinancialTransaction between the two Agents such that the first is the destination of the FinancialTransaction and the second is the agent. |
| deceptive identifier | (deceptiveIdentifier ?OBJ ?AGENT) means that ?AGENT presents ?OBJ as a representation of ?AGENT's `true' identity, when in fact it is not. |
| dependent geopolitical area | (dependentGeopoliticalArea ?AREA1 ?AREA2) means that ?AREA1 is a geopolitical possession of the GeopoliticalArea ?AREA2 and is not a geopoliticalSubdivision of ?AREA2. For example, (dependentGeopoliticalArea Guam UnitedStates), because Guam is a territory of the UnitedStates, not one of the fifty U.S. states. Contrast primaryGeopoliticalSubdivision. |
| 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 telecom number | (deviceTelecomNumber ?TelecomNumber ?TelephonyDevice) means that ?TelephonyDevice is identified, and can be accessed, by ?TelecomNumber. |
| equivalence relation on | A BinaryRelation is an equivalenceRelationOn a Class only if the relation is reflexiveOn the Class and it is both a TransitiveRelation and a SymmetricRelation. |
| 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. |
| 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. |
| expressed in language | (expressedInLanguage ?EXPRESS ?LANG) means that the LinguisticExpression ?EXPRESS is part of the Language ?LANG. |
| 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. |
| fax number | (faxNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a FaxMachine at which ?AutonomousAgent can be contacted. |
| fills | Holes can be filled. (fills ?OBJ ?HOLE) means that the Object ?OBJ fills the HoleRegion ?HOLE. Note that fills here means perfectly filled. Perfect fillers and fillable entities have no parts in common (rather, they may occupy the same spatial region). |
| flows | (flows ?FLUID1 ?FLUID2) means that the Physical ?FLUID1 moves towards the Physical ?FLUID2, to which it is connected. |
| 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. |
| geographic subregion | (geographicSubregion ?PART ?WHOLE) means that the GeographicArea ?PART is part of the GeographicArea ?WHOLE. |
| geopolitical subdivision | (geopoliticalSubdivision ?AREA1 ?AREA2) means that ?AREA1 is any geopolitical part of ?AREA2, that is, ?AREA1 is an integral geographicSubregion of ?AREA2 (not a DependencyOrSpecialSovereigntyArea), having its own associated GovernmentOrganization which is subordinated to or constrained by the government of ?AREA2. Cf. dependentGeopoliticalArea. |
| 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. |
| grandparent | (grandparent ?YOUNGER ?OLDER) means that ?OLDER is a parent of ?YOUNGER's parent. |
| graph part | A basic relation for Graphs and their parts. (graphPart ?PART ?GRAPH) means that ?PART is a GraphArc or GraphNode of the Graph ?GRAPH. |
| GUI element covered by | (guiElementCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is completely covered by the GUIElement ?GUIE2. |
| GUI element partially covered by | (guiElementPartiallyCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is partially covered by the GUIElement ?GUIE2. |
| has account | (hasAccount ?User ?Account) holds if ?User is assigned the UserAccount ?Account. |
| has across variable | multipole pole has across variable |
| has purpose | This 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 through variable | multipole pole has through variable |
| 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. |
| high altitude wind speed | (highAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing above 25,000 feet at ?PLACE has a speed of ?RATE. |
| 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 obligation | Expresses a relationship between a Formula and a CognitiveAgent whereby the CognitiveAgent has the obligation to bring it about that the Formula is true. |
| holds right | Expresses a relationship between a Formula and a CognitiveAgent whereby the CognitiveAgent has the right to bring it about that the Formula is true. |
| hole | (hole ?HOLE ?OBJ) 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. |
| 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. |
| 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. |
| immediate instance | An object is an immediateInstance of a Class if it is an instance of the Class and it is not an instance of a proper subclass of Class. |
| immediate subclass | A 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. |
| inhabits | A very basic notion of living within something else. (inhabits ?ORGANISM ?OBJECT) means that ?OBJECT is the residence (either permanent or temporary), nest, etc. of ?ORGANISM. |
| insured | (insured ?Contract ?Org) means that ?Contract is insured by the ?Organization. |
| interior part | (interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2. |
| involved in event | (involvedInEvent ?EVENT ?THING) means that in the Process ?EVENT, the Entity ?THING plays some CaseRole. |
| 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. |
| 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. |
| legislative branch | (legislativeBranch ?BRANCH ?ORG) means that the Organization ?BRANCH is the legislative branch of the GeopoliticalArea or Organization ?ORG. |
| loss | The amount by which the cost of an investment or business operation exceeds its return, i.e. the negative quantity left after subtracting for all expenses. |
| 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)). |
| 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. |
| measure | A 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. |
| 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 temporally | (meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2. |
| member | A 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. |
| middle name | (middleName ?CHAR ?INDIV) means that the SymbolicString ?CHAR contains the middle name of the Human ?INDIV. |
| mobile phone number | (mobilePhoneNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a MobileCellPhone at which ?AutonomousAgent can be contacted. |
| modal attribute | A BinaryRelation that is used to state the normative force of a Proposition. (modalAttribute ?FORMULA ?PROP) means that the Proposition expressed by ?FORMULA has the NormativeAttribute ?PROP. For example, (modalAttribute (exists (?ACT ?OBJ) (and (instance ?ACT Giving) (agent ?ACT John) (patient ?ACT ?OBJ) (destination ?ACT Tom))) Obligation) means that John is obligated to give Tom something. |
| monetary value | A BinaryPredicate that associates an Object or Process with its value expressed as an instance of CurrencyMeasure. |
| 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. |
| 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. |
| operator | (operator ?OBJECT ?AGENT) means that ?AGENT determines how ?OBJECT is used, either by directly or indirectly operating it. |
| orbits | (orbits ?SATELLITE ?FOCUS) means that the Object ?SATELLITE revolves around the AstronomicalBody ?FOCUS. |
| organization name | (organizationName ?STRING ?OBJ) means that ?STRING is a full or partial name for the Organization ?OBJ. |
| parent | The general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD. |
| partial ordering on | A 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. |
| partially fills | (partiallyFills ?OBJ ?HOLE) means that ?OBJ completelyFills some part of ?HOLE. Note that if (partiallyFills ?OBJ1 ?HOLE) and (part ?OBJ1 ?OBJ2), then (partiallyFills ?OBJ2 ?HOLE). Note too that a partial filler need not be wholly inside a hole (it may stick out), which means that every complete filler also qualifies as (is a limit case of) a partial one. |
| password | (password ?Password ?Account) means that ?Password is the password associated with the UserAccount that the ComputerUser uses while logging onto a computer system. |
| penetrates | (penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimension (length, width or depth). |
| 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. |
| possesses | Relation 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. |
| 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). |
| precondition | A very general Predicate. (precondition ?PROC1 ?PROC2) means that an instance of ?PROC2 can exist only if an instance of ?PROC1 also exists. |
| 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. |
| process aborted | (processAborted ?Abort ?Process) means that the ComputerProcess ?Process is aborted as the result of ?Abort. |
| product model | (productModel ?Model ?Product) means that ?Model represents the type of the Product ?Product |
| profit | The positive gain from an investment or business operation after subtracting for all expenses. |
| program copy | (programCopy ?File ?Program) means that the ComputerFile ?File is one of the copies of the ComputerProgram ?Program. |
| proper part | (properPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 other than ?OBJ2 itself. This is a TransitiveRelation and AsymmetricRelation (hence an IrreflexiveRelation). |
| properly fills | (properlyFills ?OBJ ?HOLE)means that ?HOLE is properly (though perhaps incompletely) filled by ?OBJ, i.e. some part of ?HOLE is perfectly filled by ?OBJ. Note thatproperlyFills is the dual of completelyFills, and is so related to partiallyFills that ?OBJ properlyFills ?HOLE just in case ?OBJ partiallyFills every part of ?HOLE. (Thus, every perfect filler is both complete and proper in this sense). Every hole is connected with everything with which a proper filler of the hole is connected. Every proper part of a perfect filler of (a part of) a hole properly fills (that part of) that hole. |
| range | Gives the range of a function. In other words, (range ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are instances of ?CLASS. |
| realization | A subrelation of represents. (realization ?PROCESS ?PROP) means that ?PROCESS is a Process which expresses the content of ?PROP. Examples include a particular musical performance, which realizes the content of a musical score, or the reading of a poem. |
| reflexive on | A BinaryRelation is reflexive on a Class only if every instance of the Class bears the relation to itself. |
| 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. |
| runs on | (runsOn ?Program ?Computer) means that ?Program is capable of running on ?Computer with its current configuration of installed software. |
| 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. |
| 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. |
| site for contact | (siteForContact ?ContactSite ?AutonomousAgent) means that the Human or Organization ?AutonomousAgent can be reached at or via the point of contact ?ContactSite. |
| states | (holdsDuring ?T1 (states ?AGENT ?SENTENCE)) means that at time ?T1, ?AGENT is the agent of a LinguisticCommunication in which the patient is ?SENTENCE. Note that ?SENTENCE could be a Formula. |
| successor attribute | (successorAttribute ?ATTR1 ?ATTR2) means that ?ATTR2 is the Attribute that comes immediately after ?ATTR1 on the scale that they share. |
| successor organization | (successorOrganization ?OLD ?NEW) means that the Organization ?OLD was transformed or merged into, or otherwise succeeded by, the Organization ?NEW. |
| 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. |
| system measured | (systemMeasured ?Event ?System) means that ?Event is an event of measuring the performance of the ComputationalSystem ?System. |
| task | (task ?Process ?Task) means that ?Task is a function to be performed by the ComputerProcess ?Process. |
| 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 |
| terrain in area | (terrainInArea ?AREA ?ATTRIBUTE) means that the GeographicArea ?AREA is or includes a region with the features of TerrainArea ?ATTRIBUTE. |
| time | This 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. |
| total ordering on | A 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. |
| transported | (transported ?EVENT ?OBJ) means that ?OBJ is transported (carried/moved to a different physical location) in the Transportation ?EVENT. |
| trichotomizing on | A 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). |
| user name | (userName ?Name ?User) means that ?Name is the name the ComputerUser uses to identify himself or herself when logging onto a UserAccount on a computer system. |
| uses | (uses ?OBJECT AGENT) 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. |
| version | Some Artifacts have a life cycle with discrete stages or versions. (version ARTIFACT1 ARTIFACT2) means that ARTIFACT1 is a version of ARTIFACT2. Note that this Predicate relates subclasses of Artifact and not instances. |
| wavelength | (wavelength ?RADIATION ?MEASURE) means that the instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE. |
| wife | (wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN. |
| 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 phone number | (workPhoneNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a Telephone at which ?AutonomousAgent can be contacted when at work, or for business purposes. |