Data Dictionary

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  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  

pValue(pValue ?EXPERIMENT ?VALUE) is meant to represent the p-value of the conclusions of ?EXPERIMENT. ?VALUE is a number which represents the percentage of the confidence interval. It represents the ProbabilityFn of the results.[and full SUMO definition]
paidFunctionRoomAmenity(paidFunctionRoomAmenity ?RM ?PHY) means that the use of ?PHY provided by TravelerAccommodation to customers renting HotelFunctionRoom incurs charges[and full SUMO definition]
paidPropertyAmenity(paidPropertyAmenity ?AGENT ?PHYS) means that AutonomousAgent ?AGENT provides Physical ?PHYS at additional cost[and full SUMO definition]
paidRoomAmenity(paidRoomAmenity ?ROOM ?PHYS) means that there is a fee associated with the use of an object or the rendering of a service[and full SUMO definition]
parallel(parallel ?LINE1 ?LINE2) means that the OneDimensionalFigures ?LINE1 and ?LINE2 are parallel to one another, i.e. they are equidistant from one another at every point.[and full SUMO definition]
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.[and full SUMO definition]
parasiticA BinaryPredicate that is the counterpart to parasite, but for classes rather than instances.[and full SUMO definition]
parentThe general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.[and full SUMO definition]
parentcompanyThe general relationship between corporations where the parent company owns enough voting stock in the subsidiary firm to control management and operations (parentcompany ?SUBSIDIARY ?PARENT) means that ?PARENT is the controlling corporation of ?SUBSIDIARY.[and full SUMO definition]
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.[and full SUMO definition]
partTypes(partTypes ?PART_TYPE ?WHOLE_TYPE) means that every instance of ?PART_TYPE is parts of an instance of ?WHOLE_TYPE.[and full SUMO definition]
partialOrderingOnA 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.[and full SUMO definition]
partiallyFills(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.[and full SUMO definition]
partitionA partition of a Class C is a set of mutually disjoint classes (a subclass partition) which covers C. Every instance of C is an instance of exactly one of the subclasses in the partition.[and full SUMO definition]
partlyLocated(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.[and full SUMO definition]
partyToAgreement(partyToAgreement ?AGENT ?PROP) means that the AutonomousAgent ?AGENT has committed to the agreement ?PROP.[and full SUMO definition]
passengerThe CaseRole of being a passenger on a vehicle, rather than its driver or power source.[and full SUMO definition]
passengerCapacityMaxNumber(passengerCapacityMaxNumber ?TRANSPORT ?NUMBER) means that the TransportationDevice ?TRANSPORT has a safe carrying capacity for ?NUMBER of passengers.[and full SUMO definition]
password(password ?Password ?Account) means that ?Password is the password associated with the UserAccount that the ComputerUser uses while logging onto a computer system.[and full SUMO definition]
pastTenseThe past tense form of a concept when stated in the given language.[and full SUMO definition]
paternalAuntIn Arabic: Eam~ap. Father's sister, paternal aunt.[and full SUMO definition]
paternalUncleIn Arabic: Eam~. Father's brother, paternal uncle.[and full SUMO definition]
path(path ?MOTION ?PATH) means that ?PATH is a route along which ?MOTION occurs. For example, Highway 101 is the path in the following proposition: the car drove up Highway 101.[and full SUMO definition]
pathInSystem(pathInSystem ?PATH ?SYSTEM) means that the Physical thing ?PATH consists of one or more connected routes in the PhysicalSystem ?SYSTEM.[and full SUMO definition]
pathLengthA 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.[and full SUMO definition]
pathologicSideEffectA 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.[and full SUMO definition]
pathologicSymptomA symptom that is a possible manifestation of a particular PathologicProcess.[and full SUMO definition]
pathologyTreatment(pathologyTreatment ?DISEASE ?SUBSTANCE ?PROCESS) means that the BiologicallyActiveSubstance ?SUBSTANCE is effective in the treatment of the PathologicProcess ?DISEASE when administered via the Process ?PROCESS, i.e. it has been demonstrated (in a significant sample of patients) to cure the ?DISEASE or at least reduce the severity of symptoms associated with the ?DISEASE.[and full SUMO definition]
patient(patient ?PROCESS ?ENTITY) means that ?ENTITY is a participant in ?PROCESS that may be moved, said, experienced, etc. For example, the direct objects in the sentences 'The cat swallowed the canary' and 'Billy likes the beer' would be examples of patients. Note that the patient of a Process may or may not undergo structural change as a result of the Process. The CaseRole of patient is used when one wants to specify as broadly as possible the object of a Process.[and full SUMO definition]
patientMedicalThe 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.[and full SUMO definition]
paymentsPerPeriod(paymentsPerPeriod ?Account ?Amount ?Period) holds if ?Amount is the amount paid on the FinancialAccount ?Account during the time period ?Period.[and full SUMO definition]
penetrates(penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimension (length, width or depth).[and full SUMO definition]
perCapitaGDP(perCapitaGDP ?AREA ?AMOUNT) means that the Gross Domestic Product, on a per capita basis, for the GeopoliticalArea ?AREA is ?AMOUNT, calculated in U.S. dollars on a purchasing power parity basis. See PPPBasedEconomicValuation.[and full SUMO definition]
perCapitaGDPInPeriod(perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD) means that the Gross Domestic Product, on a per capita basis, for the GeopoliticalArea ?AREA is ?AMOUNT during the period indicated by ?PERIOD, calculated in U.S. dollars on a purchasing power parity basis. See PPPBasedEconomicValuation.[and full SUMO definition]
performanceResult(performanceResult ?EVENT ?COMPONENT ?NUMBER) holds if the performance of ?COMPONENT has a value ?NUMBER, measured by ?EVENT, an instance of MeasuringPerformance.[and full SUMO definition]
periodicPayment(periodicPayment ?Pay ?Amount ?Period) holds if ?Pay is one of the periodic payments for the amount ?Amount.[and full SUMO definition]
permanentCropLandArea(permanentCropLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has ?AMOUNT of land under cultivation with crops that are not replanted after each harvest. This includes orchards, vineyards, coffee and rubber plantations. Cf. permanentCropLandArea.[and full SUMO definition]
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.[and full SUMO definition]
perpetratorA agent of a CriminalAction. Note that for some crimes like manslaughter the agent may not necessarily want the outcome. Note also that this relationship entails guilt.[and full SUMO definition]
personTransportCapability(personTransportCapability ?PV ?I) means that the PassengerVehicle ?PV is able to carry ?I Humans.[and full SUMO definition]
personalPhoneNumber(personalPhoneNumber ?TelecomNumber ?Human) means that ?TelecomNumber identifies a Telephone at which ?Human can be contacted when not a work, or for purposes other than work.[and full SUMO definition]
phoneNumber(phoneNumber ?Phone ?Agent) holds if ?Phone is a phone number corresponding to the Telephone ?Phone.[and full SUMO definition]
physicalAmplitudeA relation between a periodic motion and the distance between the physical extremes of the period.[and full SUMO definition]
physicalDomainRelation that holds for pairs of physical dimensions that multiply up into a physical dimension of Power. The first is considered for across variable, the second for through variable.[and full SUMO definition]
physicalEndA notion of an indeterminate portion at the end of an Object that has a LongAndThin ShapeAttribute.[and full SUMO definition]
physicalInclusion(physicalInclusion ?PACKAGE ?OBJ) means that the resource ?OBJ is available for the guest's use or consumption[and full SUMO definition]
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.[and full SUMO definition]
pin(pin ?PIN ?Card) means that ?PIN is a personal identification number linked to the ?Card.[and full SUMO definition]
pistonStrokeThe maximum distance that a piston travels during normal operation of the Engine.[and full SUMO definition]
plaintiff(plaintiff ?ACTION ?AGENT) means that ?AGENT is responsible for initiating the LegalAction ?ACTION.[and full SUMO definition]
plantInAreaplantInArea is a BinaryRelation which associates the class of Plant to the area in which they grow.[and full SUMO definition]
platePlacesCountA number of plate places in a Dishwasher.[and full SUMO definition]
playsThe CaseRole of being a player of a game, as opposed to a judge or other supporting role.[and full SUMO definition]
playsRoleInEvent(playsRoleInEvent ?OBJ ?ROLE ?EVENT) means that the Object ?OBJ is involved in the Process ?EVENT in a way specified by the CaseRole predicate ?ROLE.[and full SUMO definition]
playsRoleInEventOfType(playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE) means that ?OBJ plays the role specified by ?ROLE in an instance of ?TYPE, which occurs at ?TIME and ?PLACE.[and full SUMO definition]
pointOfFigure(pointOfFigure ?POINT ?FIGURE) means that the GeometricPoint ?POINT is part of the GeometricFigure ?FIGURE.[and full SUMO definition]
pointOfIntersection(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.[and full SUMO definition]
policyClause(policyClause ?CLAUSE ?ATTR ?POL ?AGENT) means that Formula ?CLAUSE, which has modalAttribute ?ATTR, is part of Policy ?POL and was issued by CognitiveAgent ?AGENT[and full SUMO definition]
policyEffectiveDate(policyEffectiveDate ?POL ?TIME) means that the policy ?POL becomes effective on the date indicated by ?TIME.[and full SUMO definition]
policyInclusion(policyInclusion ?PACKAGE ?POLICY) means that ?POLICY is applicable[and full SUMO definition]
policyLocationCoverage(policyLocationCoverage ?Policy ?GeographicArea) creates a relationship for policies that are restricted to certain areas or location. This relation means that ?Policy enforcement is confined to ?%&GeographicArea[and full SUMO definition]
policyOwner(policyOwner ?Organization ?Policy) describes how ?Policy is adopted and enforced by ?Organization[and full SUMO definition]
politicalPartyOfCountry(politicalPartyOfCountry ?PARTY ?AREA) means that the PoliticalParty ?PARTY participates in politics in the GeopoliticalArea ?AREA.[and full SUMO definition]
populationFractionBelowPovertyLine(populationFractionBelowPovertyLine ?AREA ?FRACTION) means that in the GeopoliticalArea ?AREA, the segment of the population living below the (locally defined) poverty line is ?FRACTION. Note that the definition of the poverty line varies internationally.[and full SUMO definition]
populationFractionBelowPovertyLineInPeriod(populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD) means that in the GeopoliticalArea ?AREA, the segment of the population living below the (locally defined) poverty line is ?FRACTION during the TimeInterval indicated by ?PERIOD. Note that the definition of the poverty line varies internationally.[and full SUMO definition]
portNumber(portNumber ?PROGRAM ?NUMBER) holds if ?NUMBER identifies a protocol port, i.e. a TCP-IP software abstraction used to distinguish different applications providing services within a single destination computer. The different ports on a host are identified by a positive 16-bit number.[and full SUMO definition]
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.[and full SUMO definition]
postAddressText(postAddressText ?PostalAddressText ?PostalPlace) means that the ContactSite ?PostalPlace is identified by ?PostalAddressText.[and full SUMO definition]
postCity(postCity ?PostalPlace ?City) means that ?PostalPlace is located in ?City.[and full SUMO definition]
postContactSite(postContactSite ?PostalPlace ?AutonomousAgent) means that the Human or Organization ?AutonomousAgent can be contacted by post (mail) at the location ?PostalPlace.[and full SUMO definition]
postCountry(postCountry ?PostalPlace ?GeopoliticalArea) means that ?PostalPlace is located in the Nation or DependencyOrSpecialSovereigntyArea ?GeopoliticalArea.[and full SUMO definition]
postDistrict(postDistrict ?PostalPlace ?StateOrProvince) means that ?PostalPlace is located in ?StateOrProvince.[and full SUMO definition]
postNeighborhood(postNeighborhood ?PLACE ?NEIGHBORHOOD) means that ?PLACE is located in ?NEIGHBORHOOD[and full SUMO definition]
postPostOfficeBox(postPostOfficeBox ?SymbolicString ?PostalPlace) means that ?SymbolicString identifies the post office box of a ?PostalPlace. ?SymbolicString need not consist exclusively of DigitCharacters.[and full SUMO definition]
postPostcodeArea(postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?PostcodeArea.[and full SUMO definition]
postStreet(postStreet ?PostalPlace ?Roadway) means that ?PostalPlace is Adjacent to ?Roadway.[and full SUMO definition]
postStreetNumber(postStreetNumber ?SymbolicString ?PostalPlace) means that ?SymbolicString identifies the sub-city block or building level location of a ?PostalPlace. ?SymbolicString need not consist exclusively of DigitCharacters.[and full SUMO definition]
potentialCustomer(potentialCustomer ?CUST ?AGENT) means that it is a possibility for ?CUST to participate in a financial transaction with ?AGENT in exchange for goods or services[and full SUMO definition]
potentialLossThe maximum amount of money the AutonomousAgent can lose by choosing this type of Investment.[and full SUMO definition]
potentialOfHydrogen(potentialOfHydrogen ?SOLUTION ?NUMBER) means that the Solution ?SOLUTION has a pH value of ?NUMBER. The ph varies between 0 and 14, and it is a measure of the acidity or alkalinity of ?SOLUTION. More precisely, and it is the logarithm of the reciprocal of the quantity of AtomGrams of Hydrogen ions.[and full SUMO definition]
powerComponent(powerComponent ?GENERATOR ?THING) means that the Device ?GENERATOR is the power source for the Artifact ?THING.[and full SUMO definition]
precedesInString(precedesInString ?SymbolicString-1 ?SymbolicString-2 ?SymbolicString-3) means that ?SymbolicString-1 and ?SymbolicString-2 are subStrings of ?SymbolicString-3, and ?SymbolicString-1 occurs sequentially before ?SymbolicString-2 in ?SymbolicString-3. Example: (precedesInString "Johann" "Bach" "Johann Sebastian Bach").[and full SUMO definition]
precipitationAmount(precipitationAmount ?EVENT ?AMOUNT) means that in the Precipitation process ?EVENT, the quantity of precipitation that fell was ?AMOUNT.[and full SUMO definition]
precipitationRate(precipitationRate ?EVENT ?RATE) means that in the Precipitation ?EVENT, the precipitation falls at a rate of ?RATE.[and full SUMO definition]
precipitationState(precipitationState ?EVENT ?STATE) means that in the Precipitation ?EVENT, the stuff falling is in the PhysicalState ?STATE (e.g., Liquid or Solid ice).[and full SUMO definition]
preconditionA very general Predicate. (precondition ?PROC1 ?PROC2) means that an instance of ?PROC2 can exist only if an instance of ?PROC1 also exists.[and full SUMO definition]
prefers(prefers ?AGENT ?FORMULA1 ?FORMULA2) means that CognitiveAgent ?AGENT prefers the state of affairs expressed by ?FORMULA1 over the state of affairs expressed by ?FORMULA2 all things being equal.[and full SUMO definition]
premise(premise ?ARGUMENT ?PROPOSITION) means that the Proposition ?PROPOSITION is an explicit assumption of the Argument ?ARGUMENT.[and full SUMO definition]
premiumTotal price of an option.[and full SUMO definition]
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.[and full SUMO definition]
preventsSubclassA 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.[and full SUMO definition]
price(price ?Obj ?Money ?Agent) means that ?Agent pays the amount of money ?Money for ?Obj.[and full SUMO definition]
pricePolicy(pricePolicy ?SCHEME ?POLICY) describes the Policy ?POLICY attached to the given rate with the ?SCHEME[and full SUMO definition]
priceRange(priceRange ?OBJ ?MIN ?MAX ?AGENT) means that AutonomousAgent ?AGENT attaches range of possible productPrice for ?OBJ with minimum ?MIN and maximum ?MAX[and full SUMO definition]
primaryGeopoliticalSubdivision(primaryGeopoliticalSubdivision ?AREA ?COUNTRY) means that the GeopoliticalArea ?AREA is one of the first-order administrative divisions of the Nation ?COUNTRY. For example, in the United States, any of the fifty states. This does not include subordinate regions that have a lesser status, such as British Crown colonies, U.S. territories, or protectorates. See geopoliticalSubdivision.[and full SUMO definition]
primaryGeopoliticalSubdivisionType(primaryGeopoliticalSubdivisionType ?COUNTRY ?TYPE) means that the first-order administrative divisons of ?COUNTRY are of the type ?TYPE.[and full SUMO definition]
primeInterestRateThe interest rate that commercial banks charge their most creditworthy borrowers, such as large corporations. The prime rate is a lagging indicator.[and full SUMO definition]
principalAmount(principalAmount ?ACCOUNT ?BALANCE) means that ?BALANCE is the amount borrowed, or the part of the amount borrowed which remains unpaid (excluding interest).[and full SUMO definition]
priority(priority ?SYSTEM ?QUANTITY) means that the priority of the ?SYSTEM is characterized by a PriorityAttribute, such as HighPriority or LowPriority.[and full SUMO definition]
processAborted(processAborted ?Abort ?Process) means that the ComputerProcess ?Process is aborted as the result of ?Abort.[and full SUMO definition]
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.[and full SUMO definition]
processInclusion(processInclusion ?PACKAGE ?SVC) means that the guest can be the experiencer of serviceRecipient of ?SVC[and full SUMO definition]
processListThe arguments of this relation are data structures, each of which contains the information necessary for the process already loaded by the operating system to execute on a processor.[and full SUMO definition]
produced(produced ?A ?R) Human ?A is responsible for all decision-making processes that resulted in Recording ?R[and full SUMO definition]
producedOn(producedOn ?R ?TP) refers to the date that a Recording was finalized into a final copy that is ready for release.[and full SUMO definition]
productBrand(productBrand ?BRAND ?OBJ) means that the perception associated with Brand ?BRAND is reflected on Physical ?OBJ[and full SUMO definition]
productModel(productModel ?Model ?Product) means that ?Model represents the type of the Product ?Product[and full SUMO definition]
productPrice(productPrice ?ENT ?QUANT ?AGENT) means that CognitiveAgent ?AGENT sells items of type Entity ?ENT for CurrencyMeasure ?QUANT[and full SUMO definition]
profitThe positive gain from an investment or business operation after subtracting for all expenses.[and full SUMO definition]
programCopy(programCopy ?File ?Program) means that the ComputerFile ?File is one of the copies of the ComputerProgram ?Program.[and full SUMO definition]
programRunning(programRunning ?Process ?Program) means that the ComputerProcess ?Process is executing the ComputerProgram ?Program.[and full SUMO definition]
prohibitedItem(prohibitedItem ?Object ?SITE means that ?ITEM is not allowed to be sold on WebSite ?SITE.[and full SUMO definition]
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.[and full SUMO definition]
properPart(properPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 other than ?OBJ2 itself. This is a TransitiveRelation and AsymmetricRelation (hence an IrreflexiveRelation).[and full SUMO definition]
properlyFills(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.[and full SUMO definition]
propertyThis Predicate holds between an instance of Entity and an instance of Attribute. (property ?ENTITY ?ATTR) means that ?ENTITY has the Attribute ?ATTR.[and full SUMO definition]
propertyAmenity(propertyAmenity ?AGENT ?PHYS) means that &AutonomousAgent ?AGENT provides Physical ?PHYS on its property[and full SUMO definition]
propertyPolicy(propertyPolicy ?AGENT ?POLICY) means that ?POLICY is a Policy with policyLocationCoverage that covers all elements of PropertyFn ?AGENT[and full SUMO definition]
propositionOwner(propositionOwner ?AGENT ?PROP) means that CognitiveAgent ?AGENT was the one who conceptualized or created the Proposition ?PROP[and full SUMO definition]
prosecutorThe representative of the state in a criminal case. The goal of the prosecutor is an adversarial system is to convict the defendant.[and full SUMO definition]
protonNumber(protonNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER.[and full SUMO definition]
providesDestination(providesDestination ?TC ?REG) means TransportationCompany, ?TC, provides possible Transportation to Region ?REG.[and full SUMO definition]
publishedPrice(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[and full SUMO definition]
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.[and full SUMO definition]
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.[and full SUMO definition]
purchasesPerPeriod(purchasesPerPeriod ?Account ?Amount ?Period) holds if ?Amount is the amount of purchases added to the FinancialAccount ?Account during the time period ?Period.[and full SUMO definition]