| Term | Doc |
|---|
|
dailyLimit | (dailyLimit ?Account ?TransactionType ?Amount) means that ?Amount is the daily limit of the ?Account for the type of FinancialTransactions ?TransactionType.[and full SUMO definition] |
|
dampingRatio | (dampingRation ?SYSTEM ?NUM) is a measure of to what degree a system is free to oscillate or not. In an overdamped system ?NUM is greater than 1. The system returns (exponentially decays) to equilibrium without oscillating. Larger values of the damping ratio signify a return to equilibrium more slowly. In a critically damped ?NUM equals 1. The system returns to equilibrium as quickly as possible without oscillating. This is often desired for the damping of systems such as doors. In an underdamped system 0 < ?NUM < 1. The system oscillates (at reduced frequency compared to the undamped case) with the amplitude gradually decreasing to zero. Finally, in an undamped system ?NUM is 0. The system oscillates at its natural resonantFrequency. [adapted from Wikipedia].[and full SUMO definition] |
|
dataID | (dataID ?PROGRAM ?NUMBER) holds if ?NUMBER is a small number associated with an instance of MonitoringProgram.[and full SUMO definition] |
|
dataProcessed | The data being processed during a ComputerProcess.[and full SUMO definition] |
|
dataStreamSlack | (dataStreamSlack ?PATH ?N) means that a continuous or quasicontinuous path ?PATH should be able to process ?N additional data items at any time.[and full SUMO definition] |
|
date | A BinaryPredicate that specifies a TimePosition in absolute calendar time, at the resolution of one day, for a particular Object or Process.[and full SUMO definition] |
|
dateDissolved | (dateDissolved ?THING ?TIME) means that the Physical ?THING was dissolved, disbanded, or superseded on the date indicated by ?TIME. For example, (dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999)))).[and full SUMO definition] |
|
dateEstablished | (dateEstablished ?THING ?TIME) means that the Physical ?THING was founded on the date indicated by ?TIME. For example, (dateEstablished UnitedNations (DayFn 26 (MonthFn June (YearFn 1945)))).[and full SUMO definition] |
|
dateOfStatement | (dateOfStatement ?Statement ?Date) holds if ?Date is the date when BankStatement was issued.[and full SUMO definition] |
|
dateOpenedForSignature | (dateOpenedForSignature ?PROP ?DATE) means that as of a date indicated by ?DATE, document(s) may officially be signed (by the appropriate agents) to effect commitments to the Agreement ?PROP.[and full SUMO definition] |
|
dateUsed | The date an Object is used by an AutonomousAgent.[and full SUMO definition] |
|
daughter | The general relationship of daughterhood. (daughter ?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT.[and full SUMO definition] |
|
dayPhone | (dayPhone ?Phone ?Agent) means that ?Phone is a phone number corresponding to the phone at which ?Agent can be reached during the day.[and full SUMO definition] |
|
daylightHoursInterval | (daylightHoursInterval ?PLACE ?DAY ?INTERVAL) means that in the Region ?PLACE, on the Day indicated by ?DAY, there is daylight during the TimeInterval ?INTERVAL.[and full SUMO definition] |
|
daylightHoursTotal | (daylightHoursTotal ?PLACE ?DAY ?TIME) means that in the Region ?PLACE, on the Day indicated by ?DAY, there is daylight for a total TimeDuration ?LENGTH.[and full SUMO definition] |
|
deathdate | (deathdate ?PERSON ?DAY) means that ?DAY is the Day on which the ?PERSON died.[and full SUMO definition] |
|
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.[and full SUMO definition] |
|
deceptiveIdentifier | (deceptiveIdentifier ?OBJ ?AGENT) means that ?AGENT presents ?OBJ as a representation of ?AGENT's `true' identity, when in fact it is not.[and full SUMO definition] |
|
decreasesLikelihood | One of the basic ProbabilityRelations. (decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.[and full SUMO definition] |
|
defaultMaxValue | The maximum likely value for a given numerical argument of a Relation. The second argument is the argument number of the relation and the third argument is the minimum value.[and full SUMO definition] |
|
defaultMaximumHeight | A BinaryPredicate that states the assumed maximum height of an Object[and full SUMO definition] |
|
defaultMaximumLength | A BinaryPredicate that states the assumed maximum length of an Object[and full SUMO definition] |
|
defaultMaximumMeasure | A BinaryPredicate that states the assumed maximum measure of an Object[and full SUMO definition] |
|
defaultMaximumSphereRadius | A BinaryPredicate that states the assumed maximum sphereRadius of a spherical Object[and full SUMO definition] |
|
defaultMaximumWidth | A BinaryPredicate that states the assumed maximum width of an Object[and full SUMO definition] |
|
defaultMeasure | A BinaryPredicate that states the assumed measure of an Object[and full SUMO definition] |
|
defaultMinValue | The minimum likely value for a given numerical argument of a Relation. The second argument is the argument number of the relation and the third argument is the minimum value.[and full SUMO definition] |
|
defaultMinimumHeight | A BinaryPredicate that states the assumed minimum height of an Object[and full SUMO definition] |
|
defaultMinimumLength | A BinaryPredicate that states the assumed minimum length of an Object[and full SUMO definition] |
|
defaultMinimumMeasure | A BinaryPredicate that states the assumed minimum measure of an Object[and full SUMO definition] |
|
defaultMinimumSphereRadius | A BinaryPredicate that states the assumed minimum sphereRadius of a spherical Object[and full SUMO definition] |
|
defaultMinimumWidth | A BinaryPredicate that states the assumed minimum width of an Object[and full SUMO definition] |
|
defaultNetwork | (defaultNetwork ?SYSTEM ?NET) holds if ?NET is the default network of the HardwareSystem ?SYSTEM.[and full SUMO definition] |
|
defaultValue | The likely value for a given numerical argument of a Relation. The second argument is the argument number of the relation and the third argument is the likely value.[and full SUMO definition] |
|
defendant | (defendant ?AGENT ?ACTION) means the LegalAction ?ACTION makes a legal claim against ?AGENT.[and full SUMO definition] |
|
defenseLawyer | The representative of the defendant in a criminal case or the respondant in a civil one. The goal of the defense is to prevent or reduce any punishment imposed on the client as a result of the case.[and full SUMO definition] |
|
deliveryRegion | (deliveryRegion ?AGENT ?REGION ?DELIVERY) means that ?AGENT only does a DeliveryService if the destination is within ?REGION[and full SUMO definition] |
|
dependencyDelay | if the dependency type is StartupBlock, then (dependencyDelay ?PROGRAM ?TIME) means that the application ?PROGRAM can only be started after a dependency delay of ?TIME after the startup of the application. If the dependency type is ShutdownBlock, then (dependencyDelay ?PROGRAM ?TIME) means that the application ?PROGRAM can only be stopped after a dependency delay of ?TIME after the application is stopped.[and full SUMO definition] |
|
dependencyType | (dependencyType ?PROGRAM ?TYPE) means that ?PROGRAM has a dependency type ?TYPE, where ?TYPE can be either StartupBlock or ShutdownBlock.[and full SUMO definition] |
|
dependentAreaOfType | (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) means that the GeopoliticalArea ?AREA is a dependency of the independent Nation ?COUNTRY, administered as a unit of ?TYPE. For example, (dependentAreaOfType SaintHelena UnitedKingdom OverseasArea).[and full SUMO definition] |
|
dependentGeopoliticalArea | (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.[and full SUMO definition] |
|
deprivesNorm | Expresses the relationship between an Entity, a Formula, and an ObjectiveNorm when the Entity brings it about that the Formula does not have the ObjectiveNorm.[and full SUMO definition] |
|
depth | A TernaryPredicate that is used to state the distance between the top of an Object and another point that is above the top of the Object (often this other point will be sea level). Note that this Predicate can be used to specify, for example, the depth of marine life or submarines, for example.[and full SUMO definition] |
|
describes | (describes ?FORMULA ?OBJECT) means that some Formula ?FORMULA, as said by some AutonomousAgent regarding some Object ?OBJECT[and full SUMO definition] |
|
designPattern | (designPattern ?System ?Attribute) holds if ?Attribute is a DesignPatternAttribute which describes the RealtimeSystem ?System.[and full SUMO definition] |
|
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.[and full SUMO definition] |
|
destination | (destination ?PROCESS ?GOAL) means that ?GOAL is the target or goal of the Process ?PROCESS. For example, Danbury would be the destination in the following proposition: Bob went to Danbury. Note that this is a very general CaseRole and, in particular, that it covers the concepts of 'recipient' and 'beneficiary'. Thus, John would be the destination in the following proposition: Tom gave a book to John.[and full SUMO definition] |
|
detainedAtTimeInPlace | (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) means that ?AGENT is held or confined by some more powerful or authoritative agent for a time and at a location specified by ?TIME and ?PLACE.[and full SUMO definition] |
|
detainee | (detainee ?EVENT ?OBJECT) means that in the Confining ?EVENT, the Object ?OBJECT is restrained by force, threat, or other form of intimidation.[and full SUMO definition] |
|
developmentalForm | (developmentalForm ?OBJECT ?FORM) means that ?FORM describes a stage in the individual maturation of ?OBJECT. For example, tadpole and caterpillar are developmentalForms of frogs and butterflies, respectively.[and full SUMO definition] |
|
deviceAccount | A UserAccount on a particular Computer. it grants some degree of authority to use the resources of the computer once a LoggingIn has been completed or if it is a machine without a required login then anyone can use it, at least in some fashion, without credentials. A machine might have an open account with one set of privileges and a different account, requiring a login, for a different set of privileges.[and full SUMO definition] |
|
deviceOS | Instances of a Computer are intended to run versions of the given OperatingSystem. Note that this does not cover cases of a device that is hacked or subject to Jailbreaking in order to run a given OS that was not intended for the device.[and full SUMO definition] |
|
deviceState | (deviceState ?DEVICE ?STATE) means that the Object ?DEVICE is in the DeviceStateAttribute ?STATE.[and full SUMO definition] |
|
deviceTelecomNumber | (deviceTelecomNumber ?TelecomNumber ?TelephonyDevice) means that ?TelephonyDevice is identified, and can be accessed, by ?TelecomNumber.[and full SUMO definition] |
|
diameter | (diameter ?CIRCLE ?LENGTH) means that the diameter of the Circle ?CIRCLE has a length of ?LENGTH.[and full SUMO definition] |
|
diastolicBloodPressure | The systole is the part of the cardiac cycle during which some chambers of the heart muscle relax after refilling with blood. Diastolic pressure is the lowest pressure in the arteries during this period. [from Wikipedia].[and full SUMO definition] |
|
diplomaticOrganizationType | (diplomaticOrganizationType ?AGENT1 ?ORG ?AGENT2) means that the AutonomousAgent ?AGENT1 has a diplomatic organization of the type ?ORG in AutonomousAgent ?AGENT2. For example, (diplomaticOrganizationType UnitedStates Embassy France), or (diplomaticOrganizationType UnitedStates ConsulateGeneral ShanghaiChina).[and full SUMO definition] |
|
diplomaticRelations | (diplomaticRelations ?COUNTRY1 ?COUNTRY2) means that there are official diplomatic relations between the two Nations ?COUNTRY1 and ?COUNTRY2.[and full SUMO definition] |
|
diplomaticRepresentationType | (diplomaticRepresentationType ?AGENT1 ?RANK ?AGENT2) means that the AutonomousAgent ?AGENT1 sends a representative with the Position ?RANK to the AutonomousAgent ?AGENT2.[and full SUMO definition] |
|
diplomaticRepresentativeInRole | (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.[and full SUMO definition] |
|
directed | (directed ?DIRECTOR ?MOVIE) means that the Human ?DIRECTOR was in charge of the FilmMaking Process that produced the MotionPicture ?MOVIE[and full SUMO definition] |
|
direction | (direction ?PROC ?ATTR) means that the Process ?PROC is moving in the direction ?ATTR. For example, one would use this Predicate to represent the fact that Max is moving North.[and full SUMO definition] |
|
directoryOf | (directoryOf ?FILE ?DIRECTORY) means that the ComputerFile ?FILE is in the ComputerDirectory ?DIRECTORY. Note that the directory of a file is a component of the fully qualified name specification given to the relation filename. Note also that the directory does not include the specification of a machine location on the Internet. See filename for more information.[and full SUMO definition] |
|
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.[and full SUMO definition] |
|
discography | (discography ?A ?D) means that CognitiveAgent ?A has Discography ?D[and full SUMO definition] |
|
discovers | (discovers ?AGENT ?OBJECT) means that the AutonomousAgent ?AGENT discovered the Object ?OBJECT.[and full SUMO definition] |
|
diseaseCandidate | A summary predicate for a modal statement. This means that some Agent believes that a given Human may have a PathologicProcess.[and full SUMO definition] |
|
diseaseIncubation | A predicate that specifies the time frame for the incubation of a DiseaseOrSyndrome. (diseaseIncubation ?DISEASE ?TIME1 ?TIME2) means that the DiseaseOrSyndrome ?DISEASE will appear between ?TIME1 and ?TIME2 after the subject has been infected with the BiologicalAgent causing ?DISEASE.[and full SUMO definition] |
|
diseaseMedicine | (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) means that the BiologicallyActiveSubstance ?SUBSTANCE is effective in the treatment of the DiseaseOrSyndrome ?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] |
|
diseaseMortality | (diseaseMortality ?DISEASE ?NUMBER) means that DiseaseOrSyndrome ?DISEASE has a Mortality rate of ?NUMBER.[and full SUMO definition] |
|
diseaseSymptom | (diseaseSymptom ?DISEASE ?SYMPTOM) means that DiseaseOrSyndrome ?DISEASE is often associated with the DiseaseOrSyndrome ?SYMPTOM, i.e. an Organism which suffers from ?DISEASE is more likely to suffer from ?SYMPTOM than one which does not.[and full SUMO definition] |
|
diseaseTreatment | A reasonable treatment for the given DiseaseOrSyndrome is the given TherapeuticProcess.[and full SUMO definition] |
|
disjoint | Classes are disjoint only if they share no instances, i.e. just in case the result of applying IntersectionFn to them is empty.[and full SUMO definition] |
|
disjointDecomposition | A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint.[and full SUMO definition] |
|
disjointRelation | This predicate relates two Relations. (disjointRelation ?REL1 ?REL2) means that the two relations have no tuples in common.[and full SUMO definition] |
|
diskTypeForDrive | (diskTypeForDrive ?DISK_TYPE ?DRIVE_TYPE) means that disks of type ?DISK_TYPE are designed to be used by drives of type ?DRIVE_TYPE and such drives are designed to read (and possibly write) disks of type ?DISK_TYPE.[and full SUMO definition] |
|
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.[and full SUMO definition] |
|
displayTitle | (displayTitle ?STRING ?WORKTYPE ?LANGUAGE) means that in the Language ?LANGUAGE, ?STRING is the version of the title of instances of ContentBearingPhysical ?WORKTYPE to be used for display to a Consumer, as specified by the RightsController.[and full SUMO definition] |
|
displayedUpon | (displayedUpon ?IMAGE ?DISPLAY) means that the image, ?IMAGE is displayed upon the ComputerDisplay, ?DISPLAY. A computer connected to multiple ComputerDisplays can have the same images displayed upon more than one display, or have them restricted to a single display.[and full SUMO definition] |
|
distance | (distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT. 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.[and full SUMO definition] |
|
distanceOnPath | (distanceOnPath ?DIST ?PATH) means that for a given path (which is a pathInSystem) that the distance of the route is the measurement ?DIST.[and full SUMO definition] |
|
distributes | A 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.[and full SUMO definition] |
|
distrusts | A Relation between two Agents and a class of Processes where the first agent does not believe that the second agent will do what he says, at least with respect to that kind of action, either because he will lie, or because he simply is not capable of performing the action.[and full SUMO definition] |
|
documentation | A relation between objects in the domain of discourse and strings of natural language text stated in a particular HumanLanguage. The domain of documentation is not constants (names), but the objects themselves. This means that one does not quote the names when associating them with their documentation.[and full SUMO definition] |
|
domain | Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (domain ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be an instance of ?CLASS. Specifying argument types is very helpful in maintaining ontologies. Representation systems can use these specifications to classify terms and check integrity constraints. If the restriction on the argument type of a Relation is not captured by a Class already defined in the ontology, one can specify a Class compositionally with the functions UnionFn, IntersectionFn, etc.[and full SUMO definition] |
|
domainSubclass | A Predicate that is used to specify argument type restrictions of Predicates. The formula (domainSubclass ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS.[and full SUMO definition] |
|
domesticPartner | (holdsDuring ?T1 (domesticPartner ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 live together and share a common domestic life but are not joined in a traditional marriage, a common-law marriage, or a civil union.[and full SUMO definition] |
|
doubts | (doubts ?AGENT ?FORMULA) means that ?AGENT is unsure about the truth of ?FORMULA, in particular ?AGENT does not believe that ?FORMULA is true.[and full SUMO definition] |
|
downPayment | The part of the purchase price paid in cash up front, reducing the amount of the loan or mortgage.[and full SUMO definition] |
|
dressCode | (dressCode ?CODE ?AGENT) means that ?AGENT obligates his customers to wear at the minimum clothes that fulfill ?CODE[and full SUMO definition] |
|
drySeasonInArea | (drySeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the dry season occurs during the TimeInterval ?INTERVAL. For example, (drySeasonInArea Angola (RecurringTimeIntervalFn May October)).[and full SUMO definition] |
|
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.[and full SUMO definition] |
|
during | (during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2.[and full SUMO definition] |