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

Formal Language: 



Sigma KEE - QuaternaryPredicate
KB Term: 
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
quaternary predicate
The Class of Predicates that require four arguments.
Relationships      
Parents 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'.
  quaternary relation QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction.
Instancesagreement clause(agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) means that Proposition ?PROP, which has modalAttribute ?ATTR, is part of Agreement ?AGREEMENT and, with CognitiveAgent ?AGENT being the one responsible to make the statement true
 before on path(betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3 on the path ?PATH. Note that this is a more specialized relation of between since any object that is between others with respect to a particular path is also simply between them.
 before on path(beforeOnPath ?OBJ1 ?OBJ2 ?PATH ?PROC) means that ?OBJ1 is spatially before ?OBJ2 on the path ?PATH with respect to a particular Transfer Process.
 capable at location(capableAtLocation ?EVENTTYPE ?ROLE ?OBJECT ?PLACE) means that ?OBJECT has the ability to play the CaseRole ?ROLE in Translocation of ?EVENTTYPE that occur at ?PLACE.
 capable during(capabilityDuring ?PROCESS ?ROLE ?OBJ ?TIMEINT) means that ?OBJ has the ability to play the role of ?ROLE in the process ?PROCESS during the time indicated by ?TIMEINT
 chief of diplomatic mission(chiefOfDiplomaticMission ?AGENT1 ?PERSON ?RANK ?AGENT2) means that the chief diplomatic representative sent by the AutonomousAgent ?AGENT1 to the AutonomousAgent ?AGENT2 is ?PERSON, whose official position is ?RANK.
 comparative area(comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2) means that the total area of GeographicArea ?REGION1 has the relation ?RELATION to the total area of GeographicArea ?REGION2 times ?FACTOR. For example, that France is (slightly) less than twice the size of Colorado is represented by (comparativeArea France lessThan 2.0 Colorado).
 concentrationThe concentration of a Substance in a Mixture.
 diplomatic representative in role(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?RANK ?AGENT2) means that the AutonomousAgent ?AGENT1 sends the individual ?PERSON with the Position ?RANK as its representative to the AutonomousAgent ?AGENT2. Note: it is possible for ?PERSON to be diplomatically accredited to more than one area. For example, currently the United States Ambassador to Papua New Guinea is also accredited to Vanuatu, and there is no embassy in Vanuatu.
 electricity fraction from source in period(electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) means that in the GeopoliticalArea ?AREA, ?SOURCE provides ?FRACTION of the total electricity production during the TimeInterval indicated by ?PERIOD.
 export partner by fraction in period(exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) means that the GeopoliticalArea ?AREA1 exports goods to GeopoliticalArea ?AREA2 and receives ?FRACTION of the exportTotalInPeriod of ?AREA1 in the TimeInterval ?PERIOD, based on U.S. dollar value of exports.
 export partner by rank in period(exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) means that the GeopoliticalArea ?AREA1 exports goods to GeopoliticalArea ?AREA2 and is the ?NTH most important export partner of ?AREA1, in the TimeInterval ?PERIOD, based on U.S. dollar value of exports.
 GMBThe total monetaryValue of all mechandise bought by a given AutonomousAgent from an Organization in a particular TimeInterval.
 GMVThe total monetaryValue of all mechandise sold by a given AutonomousAgent through an Organization in a particular TimeInterval.
 import partner by fraction in period(importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) means that the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea ?AREA2 and provides ?FRACTION of the importTotalInPeriod of ?AREA1 during the TimeInterval ?PERIOD, in U.S. dollar value of imports.
 import partner by rank in period(importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) means that the GeopoliticalArea ?AREA1 imports goods from GeopoliticalArea ?AREA2 is the ?NTH most important import partner of ?AREA1 during the TimeInterval ?PERIOD, based on U.S. dollar value of imports.
 labor force fraction by occupation in period(laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) means that in the GeopoliticalArea ?AREA, workers in the job area ?SECTOR make up ?FRACTION of the labor force, during the TimeInterval indicated by ?PERIOD. The unemployed are not included in these figures. Occupation may be indicated by an OccupationalRole or an IndustryAttribute.
 monetary wage(monetaryWage ?ORG ?PERSON ?TIME ?MONEY) means that the Organization employs ?PERSON and pays him/her the amount of money ?MONEY per TimeDuration ?TIME.
 observed at time in place(observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) means that during the time specified by ?TIME, ?OBJ is observed by ?AGENT to be in the location specified by ?PLACE. Note that in the implicit Seeing event, the physical distance between the patient ?OBJ and the agent ?AGENT might be great (e.g., a hunter using binoculars to spot Bighorn sheep on a distant mountainside). Therefore, ?PLACE denotes the specific location of ?OBJ at ?TIME, and not the possibly much more extensive region encompassed by the Seeing event.
 price range(priceRange ?OBJ ?MIN ?MAX ?AGENT) means that AutonomousAgent ?AGENT attaches range of possible productPrice for ?OBJ with minimum ?MIN and maximum ?MAX
 published price(publishedPrice ?ENT ?PRICE ?AGENT ?PS) means that the CurrencyMeasure ?PRICE is given by AutonomousAgent ?AGENT to Entity ?ENT, based on conditions outlined in PricingScheme ?PS
 rental price(rentalPrice ?OBJ ?PRICE ?AGENT ?PS) means that the CurrencyMeasure ?PRICE is paid for the use of Physical ?OBJ. CognitiveAgent ?AGENT sets this price with conditions stipulated in PricingScheme ?PS
 rents(rents ?CUST ?AGENT ?OBJ ?TI) means that for TimeInterval ?TI, CognitiveAgent ?CUST is Renting Object ?OBJ from CognitiveAgent ?AGENT
 sector composition of GDP in period(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) means that in the GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes the amount ?FRACTION to the Gross National Product during the TimeInterval indicated by ?PERIOD.
 sector value of GDP in period(sectorValueOfGDPInPeriod ?AREA ?SECTOR ?AMOUNT ?PERIOD) means that for the GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes ?AMOUNT to the Gross National Product during the TimeInterval indicated by ?PERIOD, evaluated in U.S. dollars on a purchasing power parity basis. See PPPBasedEconomicValuation.
 unit price(unitPrice ?ENT ?QUANT ?AGENT ?PS) is meant for objects that are not sold by the piece but by a certain unit of measure, for instance, vegetables that are sold by the pound. FunctionQuantity ?QUANT, in this case, refers to (PerFn CurrencyMeasure (MeasureFn RealNumber UnitOfMeasure)), which reads something like X amount of money per Y unit. This can be attached to a PricingScheme ?PS by CognitiveAgent ?AGENT
 vote fraction received(voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) means that in the Election ?ELECTION for ?POSITION, the AutonomousAgent ?CONTENDER received ?FRACTION of the votes cast. Contenders may be either persons or political parties.
 weather threatA weatherThreat is a Relation linking 4 arguments. (weatherThreat ?WP ?P ?A ?TI) means it is believed that an instance of a class of WeatherProcess ?WP will occur in GeographicArea ?A during TimeInterval ?TI and it is not desirable to a GroupOfPeople that it happens.


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


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