?xml version="1.0"?> sumodlnary.owl is a translation from the SUMO.kif upper ontology. dc:title "OWL DL version of the Suggested Upper Merged Ontology (SUMO)" . dc:date "2008-05-26" . dc:creator "Stuart Hendren" . dc:description "This is the source file for an OWL DL version of SUMO (Suggested Upper Merged Ontology). This version was adapted from the KIF version http://reliant.teknowledge.com/SUMO.kif with the aim of making no additions but removing what is not compatible with the OWL language. All classes are included, where possible constraint have also been translated - eg disjoints and simple defined classes. Multityped resources have been created as separate types so as to remain in DL. Binary relationships can be constructed in OWL DL as object properties, all relations and functions have a subclass of sumo:Relation to use for reification. Some relations still can not be used as they involve classes or relations so would go outside DL. For further information on SUMO see http://www.ontologyportal.org/. Those who are interested in making use of SUMO are urged to contact Adam Pease (adampease@earthlink.net). Those who are interested in making use this version of SUMO may contact Stuart Hendren for further details (me@stuarthendren.net). We ask that people using or referencing this work to also cite the primary SUMO paper: Niles, I., and Pease, A. 2001. Towards a Standard Upper Ontology. In Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds, Ogunquit, Maine, October 17-19, 2001." . dc:rights "copyright 2003 (c) Teknowledge This program is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version." . A geographic location, generally having definite boundaries. Note that this differs from its immediate superclass sumo:Region in that a sumo:GeographicArea is a three-dimensional sumo:Region of the earth. Accordingly, all astronomical objects other than earth and all one-dimensional and two-dimensional sumo:Regions are not classed under sumo:GeographicArea. (LogFn ?NUMBER ?INT) --> ?NUMBER returns the logarithm of the sumo:RealNumber ?NUMBER in the base denoted by the sumo:Integer ?INT. LogFn The core of the sumo:Atom. It is composed of sumo:Protons and sumo:Neutrons. The sumo:Class of sumo:Processes where a sumo:Liquid is removed from an sumo:Object. Holes can be filled. (sumo:fills ?OBJ ?HOLE) means that the sumo:Object ?OBJ fills the sumo:Hole ?HOLE. Note that sumo:fills here means perfectly filled. fills A sumo:geopolitical area that is larger than a city, usually encompassing several cities, and smaller than a sumo:state or province. MilliFn A sumo:UnaryFunction that maps a sumo:UnitOfMeasure into a sumo:UnitOfMeasure that is equal to .001 units of the original sumo:UnitOfMeasure. For example, (sumo:MilliFn sumo:Ampere) is .001 sumo:Amperes. A sumo:FinancialTransaction in which an instance of sumo:Physical is exchanged for an instance of sumo:CurrencyMeasure. realization A subrelation of sumo:represents. (sumo: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. wants (sumo: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. (sumo:premise ?ARGUMENT ?PROPOSITION) means that the sumo:Proposition ?PROPOSITION is an explicit assumption of the sumo:Argument ?ARGUMENT. premise The sumo:Class of sumo:Processes where the sumo:agent pierces the surface of the sumo:Object with an sumo:instrument. The sumo:subclass of sumo:Perception in which the sensing is done by of an sumo:Organ which can discriminate various tastes. uses (sumo:uses ?OBJECT ?AGENT) means that ?OBJECT is used by ?AGENT as an instrument in an unspecified sumo:Process. This sumo:Predicate, as its corresponding axiom indicates, is a composition of the sumo:CaseRoles sumo:agent and sumo:instrument. MultiplicationFn If ?NUMBER1 and ?NUMBER2 are sumo:Numbers, then (sumo:MultiplicationFn ?NUMBER1 ?NUMBER2)-->?NUMBER3 is the arithmetical product of these numbers. The sumo:Class of all calendar Wednesdays. 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 sumo:part should be used. (sumo:contains ?OBJ1 ?OBJ2) means that the sumo:SelfConnectedObject ?OBJ1 has a space (i.e. a sumo:Hole) which is at least partially filled by ?OBJ2. A very general predicate. (sumo:representsInLanguage ?THING ?ENTITY ?LANGUAGE) means that the sumo:instance of sumo:Physical ?THING stands for ?ENTITY in the language ?LANGUAGE. representsInLanguage Any sumo:body part which contains an unfilled space, e.g. sumo:body vessels, the atria and ventricles of the heart, the lungs, etc. (sumo:side ?SIDE ?OBJECT) means that ?SIDE is a side of the object, as opposed to the top or bottom. side Any sumo:Decreasing sumo:Process where the sumo:PhysicalQuantity decreased is a sumo:TemperatureMeasure. Class/Relation relation not allowed in DL Specifies 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 sumo:VariableArityRelation. For example, sumo:holds is a sumo:VariableArityRelation. valence The sumo:subclass of sumo:Radiating in which light is given off or absorbed. Some examples include blinking, flashing, and glittering. A sumo:Maneuver in a sumo:ViolentContest where the sumo:agent attempts to inflict damage on the sumo:patient. Part of a sumo:Word which cannot be subdivided and which expresses a meaning. The stage of an organism before it is sumo:FullyFormed. A sumo:Set containing a finite number of elements. An sumo:IntentionalProcess that can be realized entirely within the mind or brain of an sumo:Organism. Thus, for example, sumo:Reasoning is a subclass of sumo:IntentionalPsychologicalProcess, because one can reason simply by exercising one's mind/brain. On the other hand, sumo:RecreationOrExercise is not a subclass of sumo:IntentionalPsychologicalProcess, because many instances of sumo:RecreationOrExercise necessarily have sumo:subProcesses of sumo:BodyMotion. A sumo:Group whose sumo:members bear sumo:familyRelations to one another. The act of changing the direction in which the sumo:patient of the act is oriented. SI sumo:LengthMeasure. Symbol: m. It is one of the base units in SI, and it is currently defined as follows: the sumo:Meter is the length of the path traveled by light in a vacuum during a time interval of 1/299792458 of a sumo:SecondDuration. A sumo:WaterArea whose sumo:Water is saline, e.g. oceans and seas. SI sumo:TemperatureMeasure. Symbol: K. It is one of the base units in SI (it is also a unit in the ITS system). Kelvin differs from the Celsius scale in that the triple point of water is defined to be 273.16 sumo:KelvinDegrees while it is 0 sumo:CelsiusDegrees. The magnitudes of intervals in the two scales are the same. By definition the conversion constant is 273.15. an sumo:Guiding whose aim is the enforcement of rules or regulations. Note the key differences between sumo:RegulatoryProcess and the related concept sumo:Managing. The latter implies a long-term relationship between a single manager and limited number of agents who are managed, while the former implies a normative standard to which the activities of the regulated are referred. The sumo:Class of graphs, where a graph is understood to be a set of sumo:GraphNodes connected by sumo:GraphArcs. Note that this sumo:Class includes only connected graphs, i.e. graphs in which there is a sumo:GraphPath between any two sumo:GraphNodes. Note too that every sumo:Graph is assumed to contain at least two sumo:GraphArcs and three sumo:GraphNodes. sister (sumo:sister ?WOMAN ?PERSON) the ?WOMAN is the sister of ?PERSON component A 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. The sumo:Class of sumo:IntentionalRelations where the sumo:Agent has awareness of an instance of sumo:Physical. The sumo:Manufacture of sumo:Texts. Note that there is no implication that the sumo:Texts are distributed. Such distribution, when it occurs, is an instance of sumo:Dissemination. The sumo:subclass of sumo:Giving sumo:Processes where the sumo:agent gives the sumo:destination something for a limited period of time with the expectation that it will be returned later (perhaps with interest). Any sumo:substance that is not the result of an sumo:intentional process, i.e. any substance that occurs naturally. immediateInstance An object is an sumo:immediateInstance of a sumo:SetOrClass if it is an instance of the sumo:SetOrClass and it is not an instance of a proper subclass of sumo:SetOrClass. The sumo:class of all astronomical objects of significant size. It includes sumo:self connected objects like planets, stars, and asteroids, as well as sumo:collections like nebulae, galaxies, and constellations. Note that the planet Earth is an sumo:astronomical body, but every sumo:region of Earth is a sumo:geographic area. leader (sumo:leader ?ORGANIZATION ?PERSON) means that the leader of ?ORGANIZATION is ?PERSON. 3 The sumo:Class of sumo:Functions that require exactly three arguments. The sumo:Class of sumo:IntentionalPsychologicalProcesses which involve attaching a name or category to a thing or set of things. Note that sumo:Classifying is distinguished from sumo:Learning by the fact that the latter covers the acquisition by a sumo:CognitiveAgent of any sumo:Proposition, while the former involves the assignment of a label or category. sumo:Attributes characterizing the orientation of an sumo:Object, e.g. sumo:Vertical versus sumo:Horizontal, sumo:Left versus sumo:Right etc. The sumo:OrganizationalProcess of joining an sumo:EducationalOrganization as a student. SI electric potential measure. Symbol: V. It is the difference of electric potential between two points of a conducting wire carrying a constant current of 1 sumo:Ampere, when the power dissipated between these points is equal to 1 sumo:Watt. sumo:Volt = W/A = m^2*kg*s^(-3)*A^(-1). SI amount of substance unit. symbol: mol. It is one of the base units in SI. It is defined as follows: the sumo:Mole is the amount of substance of a system which contains as many elementary entities as there are atoms in 0.012 sumo:Kilograms of carbon 12. Note that, when this sumo:UnitOfMeasure is used, the elementary entities must be specified - they may be atoms, molecules, ions, electrons, etc. or groups of such particles. Any sumo:Communication that involves a single sumo:agent and many sumo:destinations. This covers the release of a published book, broadcasting, a theatrical performance, giving orders to assembled troops, delivering a public lecture, etc. Any sumo:process, for example sumo:ManualHumanLanguage, which may contain a sumo:proposition. A sumo:SpokenHumanLanguage is a sumo:HumanLanguage which has as its medium the human voice. It can also be represented visually through writing, although not all sumo:SpokenHumanLanguages have a codified written form. A sumo:WaterArea whose sumo:Water is not saline, e.g. most rivers and lakes. An sumo:IntentionalProcess that involves an sumo:Organization. Any sumo:Cloud that is composed primarily of water vapor. sumo:Functions which are continuous.This concept is taken as primitive until representations for limits are devised. hole (sumo:hole ?HOLE ?OBJ) means that ?HOLE is a sumo:Hole in ?OBJ. A sumo:Hole is a fillable body located at the sumo:surface an sumo:Object. sumo:Attributes that indicate the the behavior/personality traits of an sumo:Organism. SI electric resistance measure. It is the electric resistance between two points of a conductor when a constant difference of potential of 1 sumo:Volt, applied between these two points, produces in this conductor a current of 1 sumo:Ampere, this conductor not being the force of any electromotive force. sumo:Ohm = V/A = m^2*kg*s^(-3)*A^(-2). A chiefly aquatic plant that contains chlorophyll, but does not form embryos during development and lacks vascular tissue. The sumo:Class of all calendar sumo:Days. (sumo:geopoliticalSubdivision ?AREA1 ?AREA2) means that ?AREA1 is any geopolitical part of ?AREA2; that is, ?AREA1 is an integral sumo:geographicSubregion of ?AREA2 (not a sumo:DependencyOrSpecialSovereigntyArea), having its own associated sumo:GovernmentOrganization which is subordinated to or constrained by the government of ?AREA2. Cf. sumo:dependentGeopoliticalArea. geopoliticalSubdivision Any sumo:Attribute of an sumo:Entity that is an internal property of the sumo:Entity, e.g. its shape, its color, its fragility, etc. An sumo:Integer that is greater than zero. A sumo:Class of sumo:Arthropods that includes ticks and spiders. The sumo:subclass of sumo:Poking sumo:Processes which involve a sharp sumo:instrument. A term of a sumo:Language that represents a concept. sumo:BodySubstances that are produced exclusively by sumo:Animals. Any sumo:BodyMotion of sumo:Humans which is deliberately coordinated with music. 5 sumo:QuintaryRelations relate five items. The two sumo:subclasses of sumo:QuintaryRelation are sumo:QuintaryPredicate and sumo:QuaternaryFunction. An energy measure. Any instance of sumo:Hearing which is intentional. Any legal proceeding which is conducted by a sumo:JudicialOrganization. Note that there is an important difference between the concepts sumo:LegalAction and sumo:JudicialProcess. The former refers to legal claims that are brought by a plaintiff, e.g. law suits, while the second refers to trials and other sorts of judicial hearings where the merits of a sumo:LegalAction are decided. SI electric charge measure. Symbol: C. It is the quantity of electric charge transported through a cross section of a conductor in an electric circuit during each sumo:SecondDuration by a current of 1 sumo:Ampere. Coulomb = s*A. 1 The sumo:Class of sumo:Processes where something is put in a location. Note that the location is specified with the sumo:CaseRole sumo:destination. A sumo:UnaryFunction that maps a sumo:TimePosition to a short, indeterminate sumo:TimeInterval that immediately precedes the sumo:TimePosition. ImmediatePastFn between (sumo:between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3. Note that this implies that ?OBJ2 is directly between ?OBJ1 and ?OBJ3, i.e. the projections of ?OBJ1 and ?OBJ3 overlap with ?OBJ2. The sumo:Class of sumo:IntentionalPsychologicalProcesses which involve concluding, on the basis of either deductive or inductive evidence, that a particular sumo:Proposition or sumo:Sentence is true. PathWeightFn A sumo:UnaryFunction that maps a sumo:GraphPath to the sum of the sumo:arcWeights on the sumo:GraphArcs in the sumo:GraphPath. An extremely small unit of matter that retains its identity in Chemical reactions. It consists of an sumo:AtomicNucleus and sumo:Electrons surrounding the sumo:AtomicNucleus. Cannot be used as indented A very general sumo:predicate. (sumo:precondition ?PROC1 ?PROC2) means that an instance of ?PROC2 can exist only if an instance of ?PROC1 also exists. precondition (sumo:temporallyBetween ?POINT1 ?POINT2 ?POINT3) means that the sumo:TimePoint ?POINT2 is between the sumo:TimePoints ?POINT1 and ?POINT3, i.e. ?POINT1 is before ?POINT2 and ?POINT2 is before ?POINT3. temporallyBetween The sumo:Process by which sumo:Food that has been ingested is broken down into simpler chemical compounds and absorbed by the sumo:Organism. A sumo:UnaryFunction that maps a sumo:GraphArc to the initial node of the sumo:GraphArc. Note that this is a partial function. In particular, the function is undefined for sumo:GraphArcs that are not part of a sumo:DirectedGraph. InitialNodeFn ListLengthFn A sumo:Function that takes a sumo:List as its sole argument and returns the number of items in the sumo:List. For example, (sumo:ListLengthFn (sumo:ListFn sumo:Monday sumo:Tuesday sumo:Wednesday)) would return the value 3. A cold-blooded aquatic sumo:Vertebrate characterized by fins and breathing by gills. Included here are sumo:Fish having either a bony skeleton, such as a perch, or a cartilaginous skeleton, such as a shark. Also included are those sumo:Fish lacking a jaw, such as a lamprey or hagfish. A mixture of fine particles suspended in a gas that is produced by sumo:Combustion. The sumo:Process of assigning a name to someone or something. The sumo:Process by which sumo:Food is taken into an sumo:Animal. A clinically significant dysfunction whose major manifestation is behavioral or psychological. These dysfunctions may have identified or presumed biological etiologies or manifestations. The sumo:Class of relations. There are three kinds of sumo:Relation: sumo:Predicate, sumo:Function, and sumo:List. sumo:Predicates and sumo:Functions both denote sets of ordered n-tuples. The difference between these two sumo:Classes is that sumo:Predicates cover formula-forming operators, while sumo:Functions cover term-forming operators. A sumo:List, on the other hand, is a particular ordered n-tuple. A sumo:Relation is a sumo:PartialValuedRelation just in case it is not a sumo:TotalValuedRelation, i.e. just in case assigning values to every argument position except the last one does not necessarily mean that there is a value assignment for the last argument position. Note that, if a sumo:Relation is both a sumo:PartialValuedRelation and a sumo:SingleValuedRelation, then it is a partial function. Soft-bodied sumo:Invertebrate that is usually contained in a shell. Includes oysters, clams, mussels, snails, slugs, octopi, and squid. A Tree is a sumo:DirectedGraph that has no sumo:GraphLoops. The sumo:Class of sumo:ChemicalProcesses in which a sumo:CompoundSubstance is formed from simpler reactants. The sumo:Class of sumo:Predicates relating the spatially distinguished parts of a sumo:Process. sumo:CaseRoles include, for example, the sumo:agent, sumo:patient or sumo:destination of an action, the flammable substance in a burning process, or the water that falls in rain. In orriginal this is a subrelation of refers but domain and range are incompatible with refers represents A very general semiotics predicate. (sumo:represents ?THING ?ENTITY) means that ?THING in some way indicates, expresses, connotes, pictures, describes, etc. ?ENTITY. The predicates sumo:containsInformation and sumo:realization are subrelations of sumo:represents. Note that sumo:represents is a subrelation of sumo:refers, since something can represent something else only if it refers to this other thing. See the documentation string for names. weight (sumo:weight ?O ?MM) means that on planet earth the sumo:SelfConnectedObject ?O has the weight ?MM. subAttribute Means that the second argument can be ascribed to everything which has the first argument ascribed to it. The sumo:Class of all calendar Fridays. (sumo:considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA. considers (sumo:result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a result in the following proposition: Eric built a house. result Any of various naturally occurring homogeneous substances (such as stone, coal, salt, sulfur, sand, petroleum), or synthetic substances having the chemical composition and crystalline form and properties of a naturally occurring mineral. duration (sumo:duration ?POS ?TIME) means that the duration of the sumo:TimePosition ?POS is ?TIME. English mass unit of slugs. Is transitive in orriginal but cannot be as disjoint range and domain (sumo:developmentalForm ?OBJECT ?FORM) means that ?FORM is an earlier stage in the individual maturation of ?OBJECT. For example, tadpole and caterpillar are sumo:developmentalForms of frogs and butterflies, respectively. developmentalForm CosineFn (sumo:CosineFn ?DEGREE) returns the cosine of the sumo:PlaneAngleMeasure ?DEGREE. The cosine of ?DEGREE is the ratio of the side next to ?DEGREE to the hypotenuse in a right-angled triangle. Any sumo:Process that is carried out by a military organization. Note that this class covers sumo:Processes, e.g. military operations, that are the result of careful planning, as well as those which are unscripted. One sumo:Byte of information. A sumo:Byte is eight sumo:Bits. A sumo:ViolentContest between two or more military units within the context of a war. Note that this does not cover the metaphorical sense of 'battle', which simply means a struggle of some sort. This sense should be represented with the more general concept of sumo:Contest. RelativeTimeFn A means of converting sumo:TimePositions between different sumo:TimeZones. (sumo:RelativeTimeFn ?TIME ?ZONE) denotes the sumo:TimePosition in sumo:CoordinatedUniversalTime that is contemporaneous with the sumo:TimePosition ?TIME in sumo:TimeZone ?ZONE. For example, (sumo:RelativeTimeFn (sumo:MeasureFn 14 sumo:Hour) sumo:EasternTimeZone) would return the value (sumo:MeasureFn 19 sumo:Hour). Noncompositional parts of sumo:Graphs. These parts are restricted to sumo:GraphNodes and sumo:GraphArcs. A group of people who all have the same sumo:home. surface (sumo:surface ?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected sumo:superficialPart of ?OBJ2. Note that some sumo:SelfConnectedObjects have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface. A sumo:SetOrClass that satisfies extensionality as well as other constraints specified by some choice of set theory. sumo:Sets differ from sumo:Classes in two important respects. First, sumo:Sets are extensional - two sumo:Sets with the same sumo:elements are identical. Second, a sumo:Set can be an arbitrary stock of objects. That is, there is no requirement that sumo:Sets have an associated condition that determines their membership. Note that sumo:Sets are not assumed to be unique sets, i.e. sumo:elements of a sumo:Set may occur more than once in the sumo:Set. Corresponds roughly to the class of ordinary objects. Examples include normal physical objects, geographical regions, and locations of sumo:Processes, the complement of sumo:Objects in the sumo:Physical class. In a 4D ontology, an sumo:Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis. The sumo:Class of sumo:Relations that are spatial in a wide sense. This sumo:Class includes mereological relations and topological relations. An sumo:Organization that has a special legal status that allows a group of persons to act as a sumo:CommercialAgent and that insulates the owners (shareholders) from many liabilities that might result from the corporation's operation. Asymmetric husband (sumo:husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN. The sumo:Class of sumo:Functions that require two arguments. The subclass of sumo:PositionalAttributes that concern compass directions. sumo:Roadway is the subclass of sumo:LandTransitways that are areas intended for surface travel by self-powered, wheeled vehicles, excluding those that travel on tracks. sumo:Roadways have been at least minimally improved to enable the passage of vehicles. sumo:Roadways include dirt and gravelled roads, paved streets, and expressways. The sumo:Class of quadruped sumo:Mammals with hooves. Includes horses, cows, sheep, pigs, antelope, etc. 1 Intuitively, the class of things that happen and have temporal parts or stages. Examples include extended events like a football match or a race, actions like sumo:Pursuing and sumo:Reading, and biological processes. The formal definition is: anything that lasts for a time but is not an sumo:Object. Note that a sumo:Process may have participants 'inside' it which are sumo:Objects, such as the players in a football match. In a 4D ontology, a sumo:Process is something whose spatiotemporal extent is thought of as dividing into temporal stages roughly perpendicular to the time-axis. sumo:Motion from one point to another by means of a sumo:TransportationDevice. A sumo:UnaryConstantFunction of continuous time. All instances of this sumo:Class map a time quantity into another sumo:ConstantQuantity such as temperature. For example, 'the temperature at the top of the Empire State Building' is a sumo:TimeDependentQuantity since its value depends on the time. height The height of an sumo:Object is the sumo:distance between its sumo:top and its sumo:bottom. subCollection (sumo:subCollection ?COLL1 ?COLL2) means that the sumo:Collection ?COLL1 is a proper part of the sumo:Collection ?COLL2. Measures of the amount of space in two dimensions. BackFn A sumo:Function that maps an sumo:Object to the side that is opposite the sumo:FrontFn of the sumo:Object. Note that this is a partial function, since some sumo:Objects do not have sides, e.g. apples and spheres. Note too that the sumo:range of this sumo:Function is indefinite in much the way that sumo:ImmediateFutureFn and sumo:ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases. subProposition (sumo:subProposition ?PROP1 ?PROP2) means that ?PROP1 is a sumo:Proposition which is a proper part of the sumo:Proposition ?PROP2. In other words, sumo:subProposition is the analogue of sumo:properPart for chunks of abstract content. An sumo:Organization whose members share a set of religious beliefs. A sumo:Text that confers a right or obligation on the holder of the sumo:Certificate. Note that the right or obligation need not be a legal one, as in the case of an academic diploma that grants certain privileges in the professional world. partiallyFills (sumo:partiallyFills ?OBJ ?HOLE) means that ?OBJ sumo:completelyFills some part of ?HOLE. Note that if (sumo:partiallyFills ?OBJ1 ?HOLE) and (sumo:part ?OBJ1 ?OBJ2), then (sumo: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. The sumo:Class of all sumo:Months which are July. A sumo:Phrase that has the same function as a sumo:Noun. A sumo:Maneuver in a sumo:ViolentContest where the sumo:agent attempts to avoid being damaged. The fertilized or unfertilized female sumo:ReproductiveBody of a sumo:FloweringPlant. A sumo:FinancialTransaction where an instance of sumo:CurrencyMeasure is exchanged for the possibility of winning a larger instance of sumo:CurrencyMeasure within the context of some sort of sumo:Game. The sumo:subclass of sumo:Process in which something is created. Note that the thing created is specified with the sumo:result sumo:CaseRole. The sumo:Class of sumo:Mammals which have a pouch for their young. Any sumo:Process which is intended to result in sumo:Learning. A physiologic function of the sumo:Organism as a whole, of multiple organ systems or of multiple sumo:Organs or sumo:Tissues. Sensing some aspect of the material world. Note that the sumo:agent of this sensing is assumed to be an sumo:Animal. (sumo:occupiesPosition ?PERSON ?POSITION ?ORG) means that ?PERSON holds the sumo:Position ?POSITION at sumo:Organization ?ORG. For example, (sumo:occupiesPosition sumo:TomSmith sumo:ResearchDirector sumo:AcmeLaboratory) means that sumo:TomSmith is a research director at Acme Labs. occupiesPosition sumo:Propositions are sumo:Abstract entities that express a complete thought or a set of such thoughts. As an example, the formula '(instance Yojo Cat)' expresses the sumo:Proposition that the entity named Yojo is an element of the sumo:Class of Cats. Note that propositions are not restricted to the content expressed by individual sentences of a sumo:Language. They may encompass the content expressed by theories, books, and even whole libraries. It is important to distinguish sumo:Propositions from the sumo:ContentBearingObjects that express them. A sumo:Proposition is a piece of information, e.g. that the cat is on the mat, but a sumo:ContentBearingObject is an sumo:Object that represents this information. A sumo:Proposition is an abstraction that may have multiple representations: strings, sounds, icons, etc. For example, the sumo:Proposition that the cat is on the mat is represented here as a string of graphical characters displayed on a monitor and/or printed on paper, but it can be represented by a sequence of sounds or by some non-latin alphabet or by some cryptographic form A sumo:SelfConnectedObject is any sumo:Object that does not consist of two or more disconnected parts. Not allowed in DL AbstractionFn A sumo:UnaryFunction that maps a sumo:Class into the instance of sumo:Attribute that specifies the condition(s) for membership in the sumo:Class. Cannot be used as intended A sumo:BinaryFunction is closed on a sumo:SetOrClass if it is defined for all instances of the sumo:SetOrClass and its value is always an instance of the sumo:SetOrClass. closedOn English unit of volume equal to 1/2 of a sumo:Quart. documentation For the english language documentation we have used rdfs:comment A relation between objects in the domain of discourse and strings of natural language text stated in a particular sumo: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. (sumo:resource ?PROCESS ?RESOURCE) means that ?RESOURCE is present at the beginning of ?PROCESS, is used by ?PROCESS, and as a consequence is changed by ?PROCESS. For example, soap is a resource in the following proposition: the gun was carved out of soap. Note that sumo:resource differs from sumo:instrument, another subrelation of sumo:patient, in that its internal or physical properties are altered in some way by the sumo:Process. resource English pound of force. The conversion factor depends on the local value of the acceleration of free fall. A mean value is used in the conversion axiom associated with this constant. The sumo:Class of sumo:Calculating sumo:Processes where the aim is to determine the sumo:PhysicalQuantity of some aspect of the sumo:patient. decreasesLikelihood One of the basic sumo:ProbabilityRelations. (sumo:decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true. CeilingFn (sumo:CeilingFn ?NUMBER) returns the smallest sumo:Integer greater than or equal to the sumo:RealNumber ?NUMBER. A request for information. For example, John asked Bill if the President had said anything about taxes in his State of the Union address. A sumo:TemperatureMeasure that is commonly used in the United States. On the Fahrenheit scale, the freezing point of water is 32 sumo:FahrenheitDegrees, and the boiling point of water is 212 sumo:FahrenheitDegrees. Any sumo:TherapeuticProcess that involves making an incision in the sumo:Animal that is the sumo:patient of the sumo:TherapeuticProcess. A sumo:Series whose elements are published separately and on a periodic basis. The sumo:subclass of sumo:HumanLanguages which are not designed and which evolve from generation to generation. This sumo:Class includes all of the national languages, e.g. English, Spanish, Japanese, etc. Note that this class includes dialects of natural languages. The sumo:Class of all sumo:Months which are May. Can not be used as intended, as a class relation inhibits A very general sumo:Predicate. (sumo:inhibits ?PROC1 ?PROC2) means that the sumo:Process ?PROC1 inhibits or hinders the occurrence of the sumo:Process ?PROC2. For example, obstructing an object inhibits moving it. Note that this is a relation between types of Processes, not between instances. synonymousExternalConcept (sumo:synonymousExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING has the same meaning as ?STRING in ?LANGUAGE. The subclass of sumo:Committing in which a sumo:CognitiveAgent offers something sumo:Physical to another agent. Offerings may be unconditional (in which case they are a promise to effect a sumo:UnilateralGiving) or conditional (in which case they are a promise to effect a sumo:Transaction of some sort). Any sumo:Touching where something comes into sudden, forceful, physical contact with something else. Some examples would be striking, knocking, whipping etc. ListFn A sumo:Function that takes any number of arguments and returns the sumo:List containing those arguments in exactly the same order. The sumo:ElectronVolt is an energy measure. Symbol: eV. It is the kinetic energy acquired by an electron in passing through a potential difference of 1 sumo:Volt in a vacuum. This sumo:BinaryFunction assigns two sumo:GraphNodes to the sumo:GraphPath with the largest sum of weighted arcs between the two sumo:GraphNodes. MaximalWeightedPathFn PredecessorFn A sumo:UnaryFunction that maps an sumo:Integer to its predecessor, e.g. the predecessor of 5 is 4. The sumo:Class of sumo:Carnivores with completely separable toes, nonretractable claws, slim bodies, and rounded heads. SI pressure measure. Symbol:Pa. It is the pressure of one sumo:Newton per square sumo:Meter. sumo:Pascal = N/m^2 = m^(-1)*kg*s^(-2). Asymmetric wife (sumo:wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN agent (sumo:agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant, either animate or inanimate, of the sumo:Process ?PROCESS, with or without voluntary intention. For example, water is the sumo:agent of erosion in the following proposition: the water eroded the coastline. For another example, Eve is an sumo:agent in the following proposition: Eve bit an apple. A sumo:FinancialTransaction in which an instance of sumo:CurrencyMeasure is exchanged for an instance of sumo:Physical. Nonrigid sumo:Tissue appearing only in sumo:Animals and composed largely of contractile cells. A currency measure. 1 sumo:EuroCent is equal to .01 sumo:EuroDollars. SI solid angle measure. Symbol: sr. It is the solid angle of a sphere subtended by a portion of the surface whose area is equal to the square of the sphere's radius. Another definition is: the solid angle which, having its vertex in the center of the sphere, cuts off an area of the surface of the sphere equal to that of a square with sides of length equal to the radius of the sphere. sumo:Steradian = m^2/m^2 = 1. TeraFn A sumo:UnaryFunction that maps a sumo:UnitOfMeasure into a sumo:UnitOfMeasure that is equal to 1,000,000,000,000 units of the original sumo:UnitOfMeasure. For example, (sumo:TeraFn sumo:Hertz) is 1,000,000,000,000 sumo:Hertz. A sumo:TemperatureMeasure. The freezing point and the boiling point of water are, respectively, 0 sumo:CelsiusDegrees and 100 sumo:CelsiusDegrees. Can be used for instances of sumo:Class but not owl:Class as would be intended in the KIF. For owl:Class(es) owl:unionOf can be used instead. A sumo:BinaryFunction that maps two sumo:SetOrClasses to the union of these sumo:SetOrClasses. An object is an sumo:element of the union of two sumo:SetOrClasses just in case it is an sumo:instance of either sumo:SetOrClass. UnionFn The sumo:Class of sumo:Predicates that require four arguments. Instances of this sumo:Class urge some further action among the receivers. A sumo:Directing can be an sumo:Ordering, a sumo:Requesting or a sumo:Questioning. A body which is made up predominantly of water, e.g. rivers, lakes, oceans, etc. sumo:QuaternaryRelations relate four items. The two sumo:subclasses of sumo:QuaternaryRelation are sumo:QuaternaryPredicate and sumo:TernaryFunction. 4 The stage of an organism when it has reached the end of its growth phase. Any sumo:BodyMotion which is accomplished by means of the legs of an sumo:Animal for the purpose of moving from one point to another. hasPurposeForAgent Expresses a cognitive attitude of an agent with respect to a particular instance of Physical. More precisely, (sumo:hasPurposeForAgent ?THING ?FORMULA ?AGENT) means that the purpose of ?THING for ?AGENT is the proposition expressed by ?FORMULA. Very complex issues are involved here. In particular, the rules of inference of the first order predicate calculus are not truth-preserving for the second argument position of this sumo:Predicate. Measures of the amount of space in three dimensions. (sumo:temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) means that the sumo:TimePoint ?POINT1 is before or equal to the sumo:TimePoint ?POINT2 and ?POINT2 is before or equal to the sumo:TimePoint ?POINT3. temporallyBetweenOrEqual The sumo:Class of sumo:Mammals that dwell chiefly in the water. Includes whales, dolphins, manatees, seals, and walruses. Collections have sumo:members like sumo:Classes, but, unlike sumo:Classes, they have a position in space-time and sumo:members can be added and subtracted without thereby changing the identity of the sumo:Collection. Some examples are toolkits, football teams, and flocks of sheep. holdsDuring (sumo: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 sumo:TimePoint which is a sumo:temporalPart of ?TIME. Class relation not allowed in DL IntervalFn A sumo:BinaryFunction that maps two sumo:ConstantQuantities to the sumo:Class of sumo:ConstantQuantities that comprise the interval from the first sumo:ConstantQuantity to the second sumo:ConstantQuantity. For example, (sumo:IntervalFn (sumo:MeasureFn 8 sumo:Meter) (sumo:MeasureFn 14 sumo:Meter)) would return the sumo:Class of sumo:ConstantQuantities between 8 and 14 meters in length. A sumo:Group whose sumo:members share a belief or set of beliefs. A sumo:subclass of sumo:IntentionalProcess in which content is modified, its form is altered or it is created anew. measure A very general sumo:Predicate for asserting that a particular sumo:Object is measured by a particular sumo:ConstantQuantity. In general, the second argument of this sumo:Predicate will be an instance of the sumo:Function sumo:MeasureFn. The sumo:Class of all sumo:Months which are February. An sumo:Organ that removes sumo:Substances from the sumo:Blood, alters them in some way, and then releases them. sumo:Artifacts that are created primarily for aesthetic appreciation. Note that this sumo:Class does not include most examples of architecture, which belong under sumo:StationaryArtifact. Any instance of sumo:Giving where the sumo:patient is an instance of sumo:Currency. Note that this class covers both sumo:FinancialTransactions, e.g. where a firm funds a software company with venture capital with the agreement that a certain percentage of the profits on the investment will be returned to the firm, and instances of sumo:UnilateralGiving, e.g. a stipend provided to a student as part of scholarship or fellowship. Processes in which some form of electromagnetic radiation, e.g. radio waves, light waves, electrical energy, etc., is given off or absorbed by something else. Any sumo:IntentionalProcess where the sumo:agent tries to direct the movements of another sumo:Object, whether an sumo:Agent or not. WhereFn Maps an sumo:Object and a sumo:TimePoint at which the sumo:Object exists to the sumo:Region where the sumo:Object existed at that sumo:TimePoint. Releasing atomic energy, i.e. energy from a nuclear reaction. SI frequency measure. Symbol: Hz. It is the number of cycles per second. sumo:Hertz = s^(-1). Note that sumo:Hertz does not have a conversion function. Any tube-like structure which occurs naturally in an sumo:Organism and through which a sumo:BodySubstance can circulate. A collection of sumo:Cells and sumo:Tissues which are localized to a specific area of an sumo:Organism and which are not pathological. The instances of this sumo:Class range from gross structures to small components of complex sumo:Organs. The sumo:subclass of sumo:Getting sumo:Processes where the sumo:agent gets something for a limited period of time with the expectation that it will be returned later (perhaps with interest). Any sumo:BodyPart which is a covering of another sumo:BodyPart or of an entire sumo:Organism. This would include the rinds of sumo:FruitOrVegetables and the skins of sumo:Animals. lessThanOrEqualTo (sumo:lessThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the sumo:Quantity ?NUMBER1 is less than or equal to the sumo:Quantity ?NUMBER2. The class of zero-dimensional sumo:GeometricFigures, i.e. the class of sumo:GeometricFigures that have position but lack extension in any dimension. sumo:OrganizationalProcesses that involve overseeing the activities of others. Note the key differences between sumo:RegulatoryProcess and its sibling sumo:Managing. The latter implies a long-term relationship between the manager and the managed, while the former implies a normative standard to which the activities of the regulated are referred. Any InternalChange where a PhysicalQuantity associated with the patient is altered. A sumo:ClosedTwoDimensionalFigure that is composed exclusively of straight lines, i.e. sumo:OneDimensionalFigures. A sumo:SentientAgent with responsibilities and the ability to reason, deliberate, make plans, etc. This is essentially the legal/ethical notion of a person. Note that, although sumo:Human is a subclass of sumo:CognitiveAgent, there may be instances of sumo:CognitiveAgent which are not also instances of sumo:Human. For example, chimpanzees, gorillas, dolphins, whales, and some extraterrestrials (if they exist) may be sumo:CognitiveAgents. conditionalProbability One of the basic sumo:ProbabilityRelations. sumo:conditionalProbability is used to state the numeric value of a conditional probability. (sumo:conditionalProbability ?FORMULA1 ?FORMULA2) --> ?NUMBER means that the probability of ?FORMULA2 being true given that ?FORMULA1 is true is ?NUMBER. Any sumo:TimePoint or sumo:TimeInterval along the universal timeline from sumo:NegativeInfinity to sumo:PositiveInfinity. MaxFn (sumo:MaxFn ?NUMBER1 ?NUMBER2) --> ?NUMBER3 is the largest of ?NUMBER1 and ?NUMBER2. In cases where ?NUMBER1 is equal to ?NUMBER2, sumo:MaxFn returns one of its arguments. The sumo:subclass of sumo:SocialInteraction where the participants involved work together for the achievement of a common goal. The sumo:Class of sumo:Processes where something is taken away from a location. Note that the thing removed and the location are specified with the sumo:CaseRoles sumo:patient and sumo:origin, respectively. 1 or A sumo:RealNumber that is greater than zero. An sumo:Organization is a corporate or similar institution. The sumo:members of an sumo:Organization typically have a common purpose or function. Note that this class also covers divisions, departments, etc. of organizations. For example, both the Shell Corporation and the accounting department at Shell would both be instances of sumo:Organization. Note too that the existence of an sumo:Organization is dependent on the existence of at least one sumo:member (since sumo:Organization is a subclass of sumo:Collection). Accordingly, in cases of purely legal organizations, a fictitious sumo:member should be assumed. The sumo:Class of sumo:Processes where the sumo:agent keeps something in a particular location for an extended period of time. The sumo:Class of all calendar Tuesdays. 1 This can not be used as intended but still serves a useful purpose collecting all the functions together A sumo:Function is a term-forming sumo:Relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element. Note that the range is a sumo:SetOrClass, and each element of the range is an instance of the sumo:SetOrClass. An interval of time. Note that a sumo:TimeInterval has both an extent and a location on the universal timeline. Note too that a sumo:TimeInterval has no gaps, i.e. this class contains only convex time intervals. relatedExternalConcept Used to signify a three-place relation between a concept in an external knowledge source, a concept in the SUMO, and the name of the other knowledge source. LeastCommonMultipleFn (sumo:GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER. The sumo:Class of sumo:ConstantQuantities relating to the amount of matter in an sumo:Object. A sumo:Residence where people live, i.e. where people have a sumo:home. The sumo:Class of all calendar weeks. This sumo:BinaryFunction maps a sumo:RealNumber and a sumo:UnitOfMeasure to that sumo:Number of units. It is used for expressing sumo:ConstantQuantities. For example, the concept of three meters is represented as (sumo:MeasureFn 3 sumo:Meter). This is not binary in SUMO but could be used to relate instances of Number to a unit of measure for that particular instance. MeasureFn sumo:BodySubstances that are produced exclusively by sumo:Plants. A sumo:Class of sumo:Arthropods that includes centipedes and millipedes. An sumo:Agent that has rights but may or may not have responsibilities and the ability to reason. If the latter are present, then the sumo:Agent is also an instance of sumo:CognitiveAgent. Domesticated animals are an example of sumo:SentientAgents that are not also sumo:CognitiveAgents. Any sumo:FinancialTransaction by a sumo:CommercialAgent where the aim is to produce a profit. A sumo:BinaryRelation ?REL is intransitive only if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply not (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3. desires (sumo: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 sumo:desires is distinguished from sumo:wants only in that the former is a sumo:PropositionalAttitude, while sumo:wants is an sumo:ObjectAttitude. sumo:MassMeasure that is also known as the gram-atom. Defined as the mass in grams of 1 sumo:Mole of pure substance. For example, 1 sumo:AtomGram of Carbon 12 will be 12 sumo:Grams of pure Carbon 12. 2 sumo:AtomGrams of the same substance will be 24 sumo:Grams of it. This is an unusual unit in that it is essentially 1 sumo:Mole of 'stuff' measured in grams, so that the actual value (i.e. mass) depends on the type of substance. A sumo:Process where a sumo:Substance is separated into (some of) its sumo:pieces. sumo:IntentionalPsychologicalProcesses which involve the consideration and/or manipulation of instances of sumo:Quantity. Can only be used on instances of sumo:SetOrClass not on owl:Classes, owl:intersectionOf can be used instead A sumo:BinaryFunction that maps two sumo:SetOrClasses to the intersection of these sumo:SetOrClasses. An object is an instance of the intersection of two sumo:SetOrClasses just in case it is an instance of both of those sumo:SetOrClasses. IntersectionFn increasesLikelihood One of the basic sumo:ProbabilityRelations. (sumo:increasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is more likely to be true if ?FORMULA1 is true. A sumo:Vertebrate having a constant body temperature and characterized by the presence of hair, mammary glands, and sweat glands. A relatively narrow sumo:WaterArea where the water flows constantly and in the same direction, e.g. a river, a stream, etc. SI inductance measure. Symbol: H. One sumo:Henry is equivalent to one sumo:Volt divided by one sumo:Ampere per sumo:SecondDuration. If a current changing at the rate of one sumo:Ampere per sumo:SecondDuration induces an electromotive force of one sumo:Volt, the circuit has an inductance of one sumo:Henry. sumo:Henry = Wb/A = m^2*kg*s^(-2)*A^(-2). Maps an instance of sumo:LengthMeasure and an instance of sumo:TimeDuration to the speed represented by this proportion of distance and time. For example, (sumo:SpeedFn (sumo:MeasureFn 55 sumo:Mile)(sumo:MeasureFn 1 sumo:HourDuration)) represents the velocity of 55 miles per hour. SpeedFn father The general relationship of fatherhood. (sumo:father ?CHILD ?FATHER) means that ?FATHER is the biological fatherof ?CHILD. (sumo:angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the sumo:PlaneAngleMeasure of ?MEASURE. angularMeasure A sumo:Plant that reproduces with spores and does not produce flowers. A sumo:Mixture is two or more sumo:PureSubstances, combined in varying proportions - each retaining its own specific properties. The components of a sumo:Mixture can be separated by physical means, i.e. without the making and breaking of chemical bonds. Examples: Air, table salt thoroughly dissolved in water, milk, wood, and concrete. relates an sumo:Object to an exact copy of the sumo:Object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/or temporal location. copy Converting a document or message that has previously been encoded (see sumo:Encoding) into a sumo:Language that can be understood by a relatively large number of speakers. Any sumo:Process where a sumo:CognitiveAgent seeks to obtain something through a court of law. A formal position of reponsibility within an sumo:Organization. Examples of sumo:Positions include president, laboratory director, senior researcher, sales representative, etc. The sumo:Class of pseudographs. A pseudograph is a sumo:Graph containing at least one sumo:GraphLoop. orientation A general sumo:Predicate for indicating how two sumo:Objects are oriented with respect to one another. For example, (orientation ?OBJ1 ?OBJ2 --> North) means that ?OBJ1 is north of ?OBJ2, and (orientation ?OBJ1 ?OBJ2 --> Vertical) means that ?OBJ1 is positioned vertically with respect to ?OBJ2. An element of living cells and a source of energy for sumo:Animals. This class includes both simple sumo:Carbohydrates, i.e. sugars, and complex sumo:Carbohydrates, i.e. starches. Any deliberate and controlled sumo:BodyMotion through water that is accomplished by an sumo:Organism. The class of all geometric figures, i.e. the class of all abstract, spatial representations. The instances of this class are sumo:GeometricPoints, sumo:TwoDimensionalFigures or sumo:ThreeDimensionalFigures. pathLength A sumo:BinaryPredicate that specifies the length (in number of sumo:GraphNodes) of a sumo:GraphPath.(sumo:pathLength ?PATH ?NUMBER) means that there are ?NUMBER nodes in the sumo:GraphPath ?PATH. The sumo:Class of sumo:Processes where the sumo:agent cares for or maintains the sumo:Object. The sumo:Process of changing the shape of an sumo:Object. Class relation not allowed in DL A sumo:BinaryFunction that assigns a sumo:PositiveRealNumber and a subclass of sumo:Minutes to the sumo:Seconds within each sumo:Minute corresponding to that sumo:PositiveRealNumber. For example, (sumo:SecondFn 4 (sumo:MinuteFn 5 sumo:Hour)) is the sumo:Class of all fourth sumo:Seconds of every fifth sumo:Minute of every hour. For another example, (sumo:SecondFn 8 sumo:Minute) would return the eighth second of every minute. For still another example, (sumo:SecondFn 9 (sumo:MinuteFn 15 (sumo:HourFn 14 (sumo:DayFn 18 (sumo:MonthFn 8 (YearFn 1912)))))) denotes 9 seconds and 15 minutes after 2 PM on the 18th day of August 1912. -->?TIMEMEASURE SecondFn A sumo:SetOrClass is a sumo:PairwiseDisjointClass just in case every instance of the sumo:SetOrClass is either sumo:equal to or sumo:disjoint from every other instance of the sumo:SetOrClass. subsumedExternalConcept (sumo:subsumedExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING is subsumed by the meaning of ?STRING in ?LANGUAGE, i.e. the concept ?THING is narrower in meaning than ?STRING. confersObligation Expresses the relationship between a a sumo:Formula, an sumo:Entity, and a sumo:CognitiveAgent when the sumo:Entity obligates the sumo:CognitiveAgent to bring it about that the sumo:Formula is true. A sumo:BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3. Can only be used on instances of sumo:SetOrClass not on owl:Class. For owl:Classes owl:unionOf can be used. GeneralizedUnionFn A sumo:UnaryFunction that takes a sumo:SetOrClass of sumo:Classes as its single argument and returns a sumo:SetOrClass which is the merge of all of the Classes in the original sumo:SetOrClass, i.e. the sumo:SetOrClass containing just those instances which are instances of an instance of the original sumo:SetOrClass. sumo:Relation ?REL is irreflexive if (?REL ?INST ?INST) sumo:holds for no value of ?INST. can not be used as intended An object is an sumo:instance of a sumo:SetOrClass if it is included in that sumo:SetOrClass. 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 sumo:instance about specificity or uniqueness. instance An sumo:Organism having cellulose cell walls, growing by synthesis of sumo:Substances, generally distinguished by the presence of chlorophyll, and lacking the power of locomotion. The sumo:OrganizationalProcess of graduating from an sumo:EducationalOrganization. The sumo:Class of all clock sumo:Seconds. A sumo:Text consisting of multiple self-contained units. Some examples are an encyclopedia containing a couple dozen volumes, a television series made up of many episodes, a film serial, etc. The class of sumo:ClosedTwoDimensionalFigures such that all sumo:GeometricPoints that make up the sumo:Circle are equidistant from a single sumo:GeometricPoint, known as the center of the sumo:Circle. 1 ListOrderFn (sumo:ListOrderFn ?LIST ?NUMBER)-->?THING denotes the item that is in the ?NUMBER position in the sumo:List ?LIST. For example, (sumo:ListOrderFn (sumo:ListFn sumo:Monday sumo:Tuesday sumo:Wednesday) 2) would return the value sumo:Tuesday. Every sumo:List is a particular ordered n-tuple of items. Generally speaking, sumo:Lists are created by means of the sumo:ListFn sumo:Function, which takes any number of items as arguments and returns a sumo:List with the items in the same order. Anything, including other sumo:Lists, may be an item in a sumo:List. Note too that sumo:Lists are extensional - two lists that have the same items in the same order are identical. Note too that a sumo:List may contain no items. In that case, the sumo:List is the sumo:NullList. The sumo:Class of sumo:Functions that require a single argument. SuccessorFn A sumo:UnaryFunction that maps an sumo:Integer to its successor, e.g. the successor of 5 is 6. A sumo:UnaryFunction that maps a sumo:TimePosition to the sumo:TimeInterval that meets it and that begins at sumo:NegativeInfinity. PastFn A sumo:Building which provides some accommodation for sleeping. Note that this class does not cover just permanent residences, e.g. sumo:Houses and condominium and apartment buildings, but also temporary residences, e.g. hotels and dormitories. sumo:ResidentialBuildings are also distinguished from sumo:CommercialBuildings, which are intended to serve an organizational rather than a residential function. and A sumo:Communication that involves the transfer of information via a sumo:LinguisticExpression. SI energy measure. Symbol: J. It is the work done when the point of application of 1 sumo:Newton is displaced a distance of 1 sumo:Meter in the direction of the force. sumo:Joule = N*m = m^2*kg*s^(-2). Any sumo:instance of sumo:Translocation where the sumo:agent and the sumo:patient are not the same thing. destination (sumo:destination ?PROCESS ?GOAL) means that ?GOAL is the target or goal of the sumo:Process ?PROCESS. For example, Danbury would be the destination in the following proposition: Bob went to Danbury. Note that this is a very general sumo:CaseRole and, in particular, that it covers the concepts of 'recipient' and 'beneficiary'. Thus, John would be the sumo:destination in the following proposition: Tom gave a book to John. pointOfIntersection (sumo:pointOfIntersection ?FIGURE1 ?FIGURE2) --> ?POINT means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT. The sumo:Class of all sumo:Months which are December. property This sumo:Predicate holds between an instance of sumo:Entity and an instance of sumo:Attribute. (property ?ENTITY ?ATTR) means that ?ENTITY has the sumo:Attribute ?ATTR. The sumo:Class of sumo:ConstantQuantities relating to length. A liquid mixture. The most abundant component in a solution is called the solvent. Other components are called solutes. A solution, though homogeneous, may nonetheless have variable composition. Any amount of salt, up to a maximum limit, can be dissolved in a given amount of water. An sumo:EngineeringConnection is an sumo:EngineeringComponent that represents a connection relationship between two other sumo:EngineeringComponents. It is a reification of thesumo:Predicate sumo:connectedEngineeringComponents. That means that whenever this sumo:Predicate holds between two sumo:EngineeringComponents, there exists an sumo:EngineeringConnection. The practical reason for reifying a relationship is to be able to attach other information about it. For example, one might want to say that a particular connection is associated with some shared parameters, or that it is of a particular type. sumo:EngineeringConnections are sumo:EngineeringComponents and can therefore be an sumo:engineeringSubcomponent of other sumo:EngineeringComponents. However, to provide for modular regularity in component systems, sumo:EngineeringConnections cannot be connected. For each pair of sumo:EngineeringComponents related by sumo:connectedEngineeringComponents, there exists at least one sumo:EngineeringConnection. However, that object may not be unique, and the same sumo:EngineeringConnection may be associated with several pairs of sumo:EngineeringComponents. A sumo:Game which requires some degree of physical exercion from the participants of the game. (RealNumberFn ?NUMBER) returns the part of ?NUMBER that is a sumo:RealNumber. RealNumberFn (sumo:transactionAmount ?TRANSACTION ?AMOUNT) means that ?AMOUNT is an instance of sumo:CurrencyMeasure being exhanged in the sumo:FinancialTransaction ?TRANSACTION. transactionAmount Cannot be used as intended A sumo:BinaryRelation is a partial ordering on a sumo:SetOrClass only if the relation is sumo:reflexiveOn the sumo:SetOrClass, and it is both an sumo:AntisymmetricRelation, and a sumo:TransitiveRelation. partialOrderingOn A sumo:BinaryRelation is asymmetric only if it is both an sumo:AntisymmetricRelation and an sumo:IrreflexiveRelation. Generally, a living individual, including all sumo:Plants and sumo:Animals. 1 An academic or applied discipline with recognized experts and with a core of accepted theory or practice. Note that sumo:FieldOfStudy is a sumo:subclass of sumo:Proposition, because a sumo:FieldOfStudy is understood to be a body of abstract, informational content, with varying degrees of certainty attached to each element of this content. age Simply relates an sumo:Object to a sumo:ConstantQuantity specifying the age of the sumo:Object. Class relation not allowed in DL RecurrentTimeIntervalFn A function that is useful for generating recurring time intervals. For example, (RecurrentTimeIntervalFn (sumo:HourFn 6 sumo:Day) (sumo:HourFn 12 sumo:Day)) returns the sumo:Class of sumo:TimeIntervals beginning at 6 in the morning and ending at 12 noon. For another example, (sumo:RecurrentTimeInterval sumo:Saturday sumo:Sunday) returns the Class of all weekends. For still another example, (sumo:RecurrentTimeInterval sumo:June sumo:August) returns the sumo:Class containing the academic summer period. A sumo:CorpuscularObject that is the product of a sumo:Making. Any instance of sumo:Getting that is not part of a sumo:Transaction. In other words, any instance of sumo:Getting where nothing is given in return. Some examples of sumo:UnilateralGetting are: appropriating, commandeering, stealing, etc. superficialPart (sumo: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 sumo:MereologicalSumFn and sumo:MereologicalProductFn. (sumo:prefers ?AGENT ?FORMULA1 ?FORMULA2) means that sumo:CognitiveAgent ?AGENT prefers the state of affairs expressed by ?FORMULA1 over the state of affairs expressed by ?FORMULA2 all things being equal. prefers An extensionless point on the universal timeline. The sumo:TimePoints at which sumo:Processes occur can be known with various degrees of precision and approximation, but conceptually sumo:TimePoints are point-like and not interval-like. That is, it doesn't make sense to talk about how long a sumo:TimePoint lasts. editor (sumo:editor ?AGENT ?TEXT) means that ?AGENT is an editor of ?TEXT. HoleSkinFn A sumo:UnaryFunction that maps a sumo:Hole to the skin of the sumo:Hole. The skin of a sumo:Hole is the fusion of those superficial parts (see sumo:superficialPart) of the sumo:Hole's principal host (see sumo:PrincipalHostFn) with which the sumo:Hole is externally connected. Cannot be used as intended as maps to a Class hasSkill Similar to the sumo:capability sumo:Predicate with the additional restriction that the ability be practised/demonstrated to some measurable degree. An aggregation of similarly specialized sumo:Cells and the associated intercellular substance. sumo:Tissues are relatively non-localized in comparison to sumo:BodyParts, sumo:Organs or sumo:Organ components. The main features of sumo:Tissues are self-connectivity (see sumo:SelfConnectedObject) and being a homogeneous mass (all parts in the same granularity are instances of sumo:Tissue as well). EditionFn A sumo:BinaryFunction that maps a type of text (e.g. Agatha Christie's Murder_on_the_Orient_Express) and a number to the edition of the text type corresponding to the number. Can only be used on instances of sumo:SetOrClass. For owl:Class use owl:intersectionOf GeneralizedIntersectionFn A sumo:UnaryFunction that takes a sumo:SetOrClass of sumo:Classes as its single argument and returns a sumo:SetOrClass which is the intersection of all of the sumo:Classes in the original sumo:SetOrClass, i.e. the sumo:SetOrClass containing just those instances which are instances of all instances of the original sumo:SetOrClass. The sumo:Class of sumo:Keeping sumo:Processes where the sumo:patient is a sumo:Human or an sumo:Animal and is kept involuntarily. This covers caging, imprisonment, jailing, etc. SI activity measure. Symbol: Bq. It measures the amount of radioactivity contained in a given sample of matter. It is that quantity of a radioactive element in which there is one atomic disintegration per sumo:SecondDuration. sumo:Becquerel = s^(-1). The sumo:Class of all calendar sumo:Years. The sumo:Class of sumo:UnaryFunctions which are one to one. A function F is one to one just in case for all X, Y in the domain of F, if X is not identical to Y, then F(X) is not identical to F(Y). faces (sumo:faces ?OBJ ?DIRECTION) means that the front of ?OBJ (see sumo: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 sumo:BackFn). Includes sumo:Humans and relatively recent ancestors of sumo:Humans. successorAttributeClosure The transitive closure of sumo:successorAttribute. (sumo:successorAttributeClosure ?ATTR1 ?ATTR2) means that there is a chain of sumo:successorAttribute assertions connecting ?ATTR1 and ?ATTR2. (sumo:meetsSpatially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are sumo:connected but that neither ?OBJ1 nor ?OBJ2 sumo:overlapsSpatially the other. meetsSpatially The sumo:Class of sumo:Relations that permit assessment of the probability of an event or situation. ImaginaryPartFn (sumo:ImaginaryPartFn ?NUMBER) returns the part of ?NUMBER that has the square root of -1 as its factor. penetrates (sumo:penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is sumo:connected to ?OBJ2 along at least one whole dimension (length, width or depth). sumo:Ambulating relatively quickly, i.e. moving in such a way that, with each step, neither foot is in contact with the ground for a period of time. The sumo:SetOrClass of sumo:Sets and sumo:Classes, i.e. any instance of sumo:Abstract that has sumo:elements or sumo:instances. Any sumo:RealNumber that is the product of dividing two sumo:Integers. (sumo:holds P N1 ... NK) is true just in case the tuple of objects denoted by N1,..., NK is an element of the sumo:Relation P. holds (sumo:GovernmentFn ?AREA) denotes the sumo:Government of the sumo:GeopoliticalArea ?AREA. For example, (sumo:GovernmentFn sumo:UnitedStates) denotes the Federal-level government of the United States; sumo:GovernmentFn sumo:PuertoRico) denotes the government of the Commonwealth of Puerto Rico. GovernmentFn SI force measure. Symbol: N. It is that force which gives to a mass of 1 kilogram an acceleration of 1 sumo:Meter per sumo:SecondDuration. sumo:Newton = m*kg*s^(-2). A sumo:List in which no item appears more than once, i.e. a sumo:List for which there are no distinct numbers ?NUMBER1 and ?NUMBER2 such that (sumo:ListOrderFn ?LIST ?NUMBER1) and (sumo:ListOrderFn ?LIST ?NUMBER2) return the same value. Falling is the class of events in which something moves from a higher location to a lower location under the force of gravity. A sumo:subclass of sumo:ContentDevelopment in which content is converted from one form (e.g. uttered, written or represented mentally) into a written form. Note that this class covers both transcription and original creation of written sumo:Texts. frequency (sumo:frequency ?PROC ?TIME) means that the sumo:Process type of ?PROC recurs after every interval of ?TIME. English unit of volume equal to 1/2 of a sumo:Pint. The sumo:Class of sumo:ChemicalProcesses in which a sumo:CompoundSubstance breaks down into simpler products. Any sumo:Attribute that characterizes the sound made by an sumo:Object. Any instance of sumo:Giving that is not part of a sumo:Transaction. In other words, any instance of sumo:Giving where nothing is received in return. Some examples of sumo:UnilateralGiving are: honorary awards, gifts, and financial grants. The sumo:Class of alphanumeric sequences. A negative or nonnegative whole number. A sumo:Phrase that has the same function as a sumo:Verb. Any sumo:mixture that satisfies two conditions, viz. it is made up predominantly of things which are a sumo:Liquid and any component other than sumo:Liquid in the sumo:mixture is in the form of fine particles which are suspended in the sumo:Liquid. Any instance of sumo:Transfer which results in a situation where it is not the case that the sumo:agent sumo:grasps something which he/she sumo:grasps previously. hasPurpose This sumo:Predicate expresses the concept of a conventional goal, i.e. a goal with a neutralized agent's intention. Accordingly, (sumo:hasPurpose ?THING ?FORMULA) means that the instance of sumo:Physical ?THING has, as its purpose, the sumo:Proposition expressed by ?FORMULA. Note that there is an important difference in meaning between the sumo:Predicates sumo:hasPurpose and sumo: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. A sumo:WaterArea in which water does not flow constantly or in the same direction, e.g. most lakes and ponds. The coming together of two or more sumo:CognitiveAgents for the purpose of sumo:Communication. This covers informal meetings, e.g. visits with family members, and formal meetings, e.g. a board of directors meeting. (sumo:attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a sumo:Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red) attribute engineeringSubcomponent (sumo:engineeringSubcomponent ?SUB ?SUPER) means that the sumo:EngineeringComponent ?SUB is structurally a sumo:properPart ?SUPER. This relation is an sumo:AsymmetricRelation, since two sumo:EngineeringComponents cannot be subcomponents of each other. sumo:SymmetricRelation sibling The relationship between two sumo:Organisms that have the same sumo:mother and sumo:father. Note that this relationship does not hold between half-brothers, half-sisters, etc. SI dose equivalent measure. Symbol: Sv. It is a unit of biologic dose of ionizing radiation. The sumo:Sievert makes it possible to normalize doses of different types of radiation. It takes into account the relative biologic effectiveness of ionizing radiation, since each form of such radiation--e.g., X rays, gamma rays, neutrons-- has a slightly different effect on living tissue for a given absorbed dose. The dose equivalent of a given type of radiation (in sumo:Sievert) is the dose of the radiation in sumo:Gray multiplied by a quality factor that is based on the relative biologic effectiveness of the radiation. Accordingly, one sumo:Sievert is generally defined as the amount of radiation roughly equivalent in biologic effectiveness to one sumo:Gray of gamma radiation. sumo:Sievert = J/kg = m^2*s^(-2) The sumo:Class of sumo:Devices that are designed primarily to damage or destroy sumo:Humans/sumo:Animals, sumo:StationaryArtifacts or the places inhabited by sumo:Humans/sumo:Animals. The sumo:Process of biological reproduction. This can be either a sexual or an asexual process. A fundamental concept that applies in many engineering domains. An sumo:EngineeringComponent is an element of a sumo:Device that is a physically whole object, such as one might see listed as standard parts in a catalog. The main difference betweeen sumo:EngineeringComponents and arbitrary globs of matter is that sumo:EngineeringComponents are object-like in a modeling sense. Thus, an sumo:EngineeringComponent is not an arbtrary subregion, but a part of a system with a stable identity. A sumo:Predicate relating two items - its valence is two. One of the basic sumo:ProbabilityRelations. (sumo:independentProbability ?FORMULA1 ?FORMULA2) means that the probabilities of ?FORMULA1 and ?FORMULA2 being true are independent. independentProbability sumo:Processes which involve altering an internal property of an sumo:Object, e.g. the shape of the sumo:Object, its coloring, its structure, etc. sumo:Processes that are not instances of this class include changes that only affect the relationship to other objects, e.g. changes in spatial or temporal location. A sumo:BinaryRelation that is used to state the normative force of a sumo:Proposition. (sumo:modalAttribute ?FORMULA ?PROP) means that the sumo:Proposition expressed by ?FORMULA has the sumo:NormativeAttribute ?PROP. For example, (sumo:modalAttribute (sumo:exists (?ACT ?OBJ) (sumo:and (sumo:instance ?ACT sumo:Giving) (sumo:agent ?ACT John) (sumo:patient ?ACT ?OBJ) (sumo:destination ?ACT Tom))) sumo:Obligation) means that John is obligated to give Tom something. modalAttribute Any sumo:Food which was originally part of an sumo:Animal and is not ingested by drinking, including eggs and animal blood that is eaten as food. Note that this class covers both raw meat and meat that has been prepared in some way, e.g. by cooking. Note too that preparations involving sumo:Meat and sumo:FruitOrVegetable are classed directly under sumo:Food. The sumo:Class of sumo:IntentionalPsychologicalProcesses which involve the formulation of a sumo:Proposition about a state of affairs which might be realized in the future. sumo:Transitway is the broadest class of regions which may be passed through as a sumo:path in instances of sumo:Translocation. sumo:Transitway includes land, air, and sea regions, and it includes both natural and artificial transitways. A specialized common sense notion of part for arbitrary parts of sumo:Substances. Quasi-synonyms are: chunk, hunk, bit, etc. Compare sumo:component, another subrelation of sumo:part. piece Any proposition which has the form of a deductive or inductive argument, i.e. a set of premises which, it is claimed, imply a conclusion. An sumo:ConstructedLanguage is a sumo:HumanLanguage that did not evolve spontaneously within a language community, but rather had its core grammar and vocabulary invented by one or more language experts, often with an aim to produce a more grammatically regular language than any language that has evolved naturally. This sumo:Class includes languages like Esperanto that were created to facilitate international communication A sumo:EducationalOrganization is an institution of learning. Some examples are public and private K-12 schools, and colleges and universities. parent The general relationship of parenthood. (sumo:parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD. This class encompasses sumo:Organisms, sumo:CorpuscularObjects that are parts of sumo:Organisms, i.e. sumo:BodyParts, and sumo:CorpuscularObjects that are nonintentionally produced by sumo:Organisms, e.g. sumo:ReproductiveBodies. Can only be used for instances of sumo:Class not owl:Class, for this owl:intersectionOf can be used. A sumo:BinaryFunction that maps two sumo:SetOrClasses to the difference between these sumo:SetOrClasses. More precisely, the relative complement of one class C1 relative to another C2 consists of the instances of C1 that are instances of the sumo:ComplementFn of C2. RelativeComplementFn A sumo:Metal is an sumo:ElementalSubstance that conducts heat and electricity, is shiny and reflects many colors of light, and can be hammered into sheets or drawn into wire. About 80sumo: of the known chemical elements (sumo:ElementalSubstances) are metals. DensityFn sumo:DensityFn maps an instance of sumo:MassMeasure and an instance of sumo:VolumeMeasure to the density represented by this proportion of mass and volume. For example, (sumo:DensityFn (sumo:MeasureFn 3 sumo:Gram) (sumo:MeasureFn 1 sumo:Liter)) represents the density of 3 grams per liter. A sumo:UnaryFunction that maps a sumo:UnitOfMeasure into a sumo:UnitOfMeasure that is equal to 1,000,000,000 units of the original sumo:UnitOfMeasure. For example, (sumo:GigaFn sumo:Hertz) is 1,000,000,000 sumo:Hertz. GigaFn An umbrella sumo:Class for any sumo:Word that does not fit into the other subclasses of sumo:Word. A sumo:Particle is generally a small term that serves a grammatical or logical function, e.g. 'and', 'of', 'since', etc. At some point, this class might be broken up into the subclasses 'Connective', 'Preposition', etc. Note that the class sumo:Particle includes both personal and possessive pronouns, e.g. 'she', 'hers', 'it', 'its', etc. Instances of this sumo:Class suppose, for the sake of argument, that a proposition is true. For example, John considered what he would do if he won the lottery. Class relation not allowed in DL MinimalCutSetFn A sumo:UnaryFunction that assigns a sumo:Graph the sumo:Class of sumo:GraphPaths which comprise cutsets for the sumo:Graph and which have the least number of sumo:GraphArcs. A eukaryotic sumo:Organism characterized by the absence of chlorophyll and the presence of rigid cell walls. Included here are both slime molds and true fungi such as yeasts, molds, mildews, and mushrooms. Any fruit or vegetable, i.e. a ripened sumo:ReproductiveBody of a sumo:Plant. Note that sumo:FruitOrVegetable is not a subclass of sumo:Food, because some fruits, e.g. poisonous berries, are not edible. One of the parts of speech. The sumo:Class of sumo:Words that conventionally denote sumo:Objects. Cannot be used as intended A sumo:BinaryRelation is reflexive on a sumo:SetOrClass only if every instance of the sumo:SetOrClass bears the relation to itself. reflexiveOn Any sumo:SocialInteraction where a sumo:CognitiveAgent or sumo:Group of sumo:CognitiveAgents attempts to make another sumo:CognitiveAgent or sumo:Group of sumo:CognitiveAgents believe something that is false. This covers deceit, affectation, impersonation, and entertainment productions, to give just a few examples. representsForAgent A very general predicate. (sumo:representsForAgent ?THING ?ENTITY ?AGENT) means that the ?AGENT chooses to use the instance of sumo:Physical ?THING to 'stand for' ?ENTITY. cannot be used as intended, for the class relations we use owl:disjointWith disjoint sumo:Classes are sumo:disjoint only if they share no instances, i.e. just in case the result of applying sumo:IntersectionFn to them is empty. sumo:Voting is the activity of voting in an sumo:Election. Voting is typically done by individuals, while sumo:Elections are conducted by sumo:Organizations. The voting process by an individual voter is part of an sumo:Election process. A sumo:UnaryFunction that maps a sumo:GraphPath to the sumo:GraphNode that is the end of the sumo:GraphPath. Note that, unlike sumo:TerminalNodeFn (which relates a sumo:GraphArc to a sumo:GraphNode), sumo:EndNodeFn is a total function - every sumo:GraphPath has a end. EndNodeFn A fluid present in sumo:Animals that transports sumo:Nutrients to and waste products away from various sumo:BodyParts. Any sumo:Quadrilateral whose angles are all sumo:RightAngles. before (sumo:before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline. NumeratorFn (sumo:NumeratorFn ?NUMBER) returns the numerator of the canonical reduced form ?NUMBER. Cannot be used as indended as it relates a relation and a class equivalenceRelationOn A sumo:BinaryRelation is an sumo:equivalenceRelationOn a sumo:SetOrClass only if the relation is sumo:reflexiveOn the sumo:SetOrClass and it is both a sumo:TransitiveRelation and a sumo:SymmetricRelation. The sumo:Class of multigraphs. A multigraph is a sumo:Graph containing at least one pair of sumo:GraphNodes that are connected by more than one sumo:GraphArc. A sumo:Device is an sumo:Artifact whose purpose is to serve as an sumo:instrument in a specific subclass of sumo:Process. A sumo:RealNumber that is greater than or equal to zero. Long, narrow, soft-bodied sumo:Invertebrates. Any sumo:LiquidMotion where the sumo:Liquid is sumo:Water. The sumo:Making of sumo:Artifacts on a mass scale. A molecule is the smallest unit of matter of a sumo:CompoundSubstance that retains all the physical and chemical properties of that substance, e.g., Ne, H2, H2O. A molecule is two or more sumo:Atoms linked by a chemical bond. Any instance of sumo:Seeing which is intentional. Cannot be used as intended If F is a function with a value for the objects denoted by N1,..., NK, then the term (AssignmentFn F N1 ... NK) denotes the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined. AssignmentFn The sumo:subclass of sumo:SurfaceChange where a sumo:ColorAttribute of the sumo:patient is altered. The sumo:subclass of sumo:Transfer where the sumo:patient travels through space by means of a sudden, forceful event. Some examples would be shooting, throwing, tossing, etc. A standard of measurement for some dimension. For example, the sumo:Meter is a sumo:UnitOfMeasure for the dimension of length, as is the sumo:Inch. There is no intrinsic property of a sumo:UnitOfMeasure that makes it primitive or fundamental; rather, a system of units (e.g. sumo:SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each. Class relation not allowed in DL version Some sumo:artifacts have a life cycle with discrete stages or versions. (version ARTIFACT1 ARTIFACT2) means that ARTIFACT1 is a version of ARTIFACT2. Note that this sumo:predicate relates subclasses of sumo:artifact and not instances. Cannot be used as intended A sumo:partition of a class C is a set of mutually sumo:disjoint classes (a subclass partition) which covers C. Every instance of C is an instance of exactly one of the subclasses in the partition. partition tangent (sumo:tangent ?LINE ?CIRCLE) means that the straight line ?LINE is tangent to the figure ?CIRCLE, i.e. ?LINE touches ?CIRCLE without intersecting it. (sumo:top ?TOP ?OBJECT) means that ?TOP is the highest maximal superficial part of ?OBJECT. top Any sumo:Corporation which manufactures sumo:Products. The class of sumo:ElementalSubstances that are smaller than sumo:Atoms and compose sumo:Atoms. traverses (sumo:traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2. Note that sumo:crosses and sumo:penetrates are subrelations of sumo:traverses. The sumo:Class of sumo:IntentionalRelations where the sumo:Agent has awareness of a sumo:Proposition. sumo:DeductiveArguments that are not sumo:ValidDeductiveArguments, i.e. it is not the case that the set of sumo:premises in fact sumo:entails the sumo:conclusion. An sumo:Integer that is evenly divisible only by itself and 1. publishes (sumo:publishes ?ORG ?TEXT) means that ?ORG publishes ?TEXT. For example, Bantam Books publishes Agatha Christie's Murder_on_the_Orient_Express. MinimalWeightedPathFn This sumo:BinaryFunction assigns two sumo:GraphNodes to the sumo:GraphPath with the smallest sum of weighted arcs between the two sumo:GraphNodes. believes The epistemic predicate of belief. (sumo:believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA. The sumo:Class of sumo:Substances that contain two or more elements (sumo:ElementalSubstances), in definite proportion by weight. The composition of a pure compound will be invariant, regardless of the method of preparation. Compounds are composed of more than one kind of atom (element). The term molecule is often used for the smallest unit of a compound that still retains all of the properties of the compound. Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), and water (H_2O). Sexual sumo:Processes of biological reproduction. knows The epistemic predicate of knowing. (sumo:knows ?AGENT ?FORMULA) means that ?AGENT knows the proposition expressed by ?FORMULA. Note that sumo:knows entails conscious awareness, so this sumo:Predicate cannot be used to express tacit or subconscious or unconscious knowledge. Any sumo:Motion where the sumo:patient is a sumo:Gas. This class would cover, in particular, the motion of sumo:Air, e.g. a breeze or wind. A sumo:Device whose purpose is to attach one thing to something else, e.g. nails, screws, buttons, etc. patient (sumo: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 sumo:patients. Note that the sumo:patient of a sumo:Process may or may not undergo structural change as a result of the sumo:Process. The sumo:CaseRole of sumo:patient is used when one wants to specify as broadly as possible the object of a sumo:Process. A sumo:PhysiologicProcess of a particular sumo:Organ or sumo:Tissue. ancestor The transitive closure of the sumo:parent predicate. (sumo:ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the sumo:parent of ?DESCENDANT or the sumo:parent of the sumo:parent of sumo:DESCENDANT or etc. Any specification of how many or how much of something there is. Accordingly, there are two subclasses of sumo:Quantity: sumo:Number (how many) and sumo:PhysicalQuantity (how much). Any sumo:SelfConnectedObject that expresses information. relatedInternalConcept Means 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 sumo:relatedExternalConcept. Any sumo:Motion where the sumo:agent is an sumo:Organism and the sumo:patient is a sumo:BodyPart. Any sumo:Process where the sumo:PhysicalState of sumo:part of the sumo:patient of the sumo:Process changes. cooccur (sumo:cooccur ?THING1 ?THING2) means that the sumo:Object or sumo:Process ?THING1 occurs at the same time as, together with, or jointly with the sumo:Object or sumo:Process ?THING2. This covers the following temporal relations: is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with. A sumo:Class of small sumo:Arthropods that are air-breathing and that are distinguished by appearance. A currency measure. Various sumo:Primates with relatively long tails. A plane angle measure. The sumo:subclass of sumo:Perception in which the sensing is done by an auditory sumo:Organ. (sumo: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 sumo:length and sumo:distance is that the sumo:length is used to state the sumo:LengthMeasure of one of the dimensions of a single object, while sumo:distance is used to state the sumo:LengthMeasure that separates two distinct objects. distance A sumo:UnaryFunction that maps an sumo:Object or sumo:Process to the exact sumo:TimeInterval during which it exists. Note that, for every sumo:TimePoint ?TIME outside of the sumo:TimeInterval (WhenFn ?THING), (time ?THING ?TIME) does not hold. WhenFn => Any instance of sumo:Currency that is made of sumo:Metal. A sumo:BinaryPredicate relating two instances of sumo:ContentBearingObject. (sumo: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 (sumo:equivalentContentInstance ?OBJ1 ?OBJ2) implies (sumo:subsumesContentInstance ?OBJ1 ?OBJ2) and (sumo:subsumesContentInstance ?OBJ2 ?OBJ2). equivalentContentInstance The sumo:Class of properties that are detectable by smell. A sumo:Class containing all of the sumo:Attributes relating to the notions of possibility and necessity. sumo:BinaryRelation ?REL is an sumo: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 sumo:AntisymmetricRelation to be a sumo:ReflexiveRelation. The sumo:Class of sumo:Processes where a sumo:Liquid is added to an sumo:Object. A sumo:subclass of sumo:ContentDevelopment in which content is converted from a written form into a spoken representation. Note that the class sumo:Interpreting should be used in cases where a sumo:Text is read silently. The sumo:Class of sumo:Substances with constant composition. A sumo:PureSubstance can be either an element (sumo:ElementalSubstance) or a compound of elements (sumo:CompoundSubstance). Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), water (H_2O), iron (Fe), copper (Cu), and oxygen (O_2). Modern man, the only remaining species of the Homo genus. expressedInLanguage (sumo:expressedInLanguage ?EXPRESS ?LANG) means that ?EXPRESS is expressed in sumo:Language ?LANG. graphPart A basic relation for sumo:Graphs and their parts. (sumo:graphPart ?PART ?GRAPH) means that ?PART is a sumo:GraphArc or sumo:GraphNode of the sumo:Graph ?GRAPH. entails The operator of logical entailment. (sumo:entails ?FORMULA1 ?FORMULA2) means that ?FORMULA2 can be derived from ?FORMULA1 by means of the proof theory of SUO-KIF. A normal or pathological part of the anatomy or structural organization of an sumo:Organism. This class covers sumo:BodyParts, as well as structures that are given off by sumo:Organisms, e.g. sumo:ReproductiveBodies. The class of sumo:Texts that purport to be largely a product of the author's imagination, i.e. the author does not believe that most of the content conveyed by the text is an accurate depiction of the real world. Note that something can be an instance of sumo:FictionalText, even if it is completely true. Whether something is a sumo:FictionalText is determined by the beliefs of the agent creating the text. The sumo:subclass of sumo:Perception in which the sensing is done by sumo:Touching. Note that sumo:Touching need not involve sumo:TactilePerception. For example, a person who has lost all sensation in both of his legs would have no sumo:TactilePerception of anything his legs were sumo:Touching. The sumo:Class of visually discernible properties. Class relation not allowed in DL CutSetFn A sumo:UnaryFunction that assigns a sumo:Graph the sumo:Class of sumo:GraphPaths that partition the graph into two separate graphs if cut. There may be more than one cutset for a given graph. sumo:Attributes that indicate the stage of development of an sumo:Organism. This sumo:Class currently comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>'). The sumo:Class of sumo:VisualAttributes relating to the color of sumo:Objects. sumo:LandTransitway is the subclass of sumo:Transitway that represents areas intended for motion over the ground. A sumo:SetOrClass is a sumo:MutuallyDisjointClass just in case there exists nothing which is an instance of all of the instances of the original sumo:SetOrClass. capability (sumo:capability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in sumo:Processes of type ?PROCESS. Time unit. A week's duration is seven days. An sumo:organization which is much like a sumo:MilitaryOrganization, e.g. it is made up of armed fighters, except that it is not associated with a sumo:government. interiorPart (sumo:interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is sumo:part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2 The sumo:subclass of sumo:Creation in which an individual sumo:Artifact or a type of sumo:Artifact is made. (CardinalityFn ?CLASS, ?NUMBER) returns the number of instances in the sumo:SetOrClass or sumo:Collection ?CLASS. CardinalityFn (sumo:part ?PART ?WHOLE) simply means that the sumo:Object ?PART is part of the sumo:Object ?WHOLE. Note that, since sumo:part is a sumo:ReflexiveRelation, every sumo:Object is a part of itself. part (RemainderFn ?NUMBER1 ?DIVISOR)--> ?NUMBER2 is the remainder of the number ?NUMBER1 divided by the number ?DIVISOR. The result has the same sign as ?DIVISOR. RemainderFn sumo:Precipitation is the process of water molecules falling from the air to the ground, in either a liquid or frozen state. Asexual sumo:Processes of biological reproduction. English length unit of feet. A currency measure of most European Union countries. English length unit of miles. sumo:Artifact made out of fabrics and possibly other materials that are used to cover the bodies of sumo:Humans. The sumo:subclass of sumo:Perception in which the sensing is done by an olefactory sumo:Organ. beforeOrEqual (sumo:beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline. we use owl:inverseOf instead inverse The inverse of a sumo:BinaryRelation is a relation in which all the tuples of the original relation are reversed. In other words, one sumo:BinaryRelation is the inverse of another if they are equivalent when their arguments are swapped. One of the parts of speech. The sumo:Class of sumo:Words that conventionally denote sumo:Attributes of sumo:Objects. subOrganization (sumo:subOrganization ?ORG1 ?ORG2) means that ?ORG1 is an organization which is a part of the organization ?ORG2. Note that sumo:subOrganization is a reflexive relation, so every organization is a sumo:subOrganization of itself. Any instance of sumo:Touching which results in a situation where the sumo:agent sumo:grasps the sumo:patient of the sumo:Touching. Specifies the velocity of an object, i.e. the speed and the direction of the speed. For example (sumo:VelocityFn (sumo:MeasureFn 55 sumo:Mile) (sumo:MeasureFn 2 sumo:HourDuration) ?REFERENCE sumo:North) denotes the velocity of 55 miles per hour North of the given reference point ?REFERENCE. VelocityFn This relation can not be used as intended in the KIF, it would be better extended with another part to relate the Object it describes the velocity of. The class of sumo:PhysiologicProcesses of which there is not conscious awareness and control. An sumo:Organism with eukaryotic sumo:Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments. 2 Any sumo:QuantityChange where the sumo:PhysicalQuantity is increased. (sumo: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 that sumo:properlyFills is the dual of sumo:completelyFills, and is so related to sumo:partiallyFills that ?OBJ sumo:properlyFills ?HOLE just in case ?OBJ sumo:partiallyFills every part of ?HOLE. (Thus, every perfect filler is both complete and proper in this sense). properlyFills The physical state of an sumo:Object. There are three reified instances of this sumo:Class: sumo:Solid, sumo:Liquid, and sumo:Gas. Physical changes are not characterized by the transformation of one substance into another, but rather by the change of the form (physical states) of a given substance. For example, melting an iron nail yields a substance still called iron. Any sumo:Motion where the sumo:patient is a sumo:Liquid. This class would cover, in particular, the flow of sumo:Water. An sumo:Integer that is evenly divisible by 2. binary predicate that is used to state the measure of a circular sumo:object from side to side. (sumo:diameter ?CIRCLE ?LENGTH) means that the diameter of the Circle ?CIRCLE has a length of ?LENGTH. diameter Includes all standard measures of monetary value, including sumo:UnitedStatesDollar, sumo:UnitedStatesCent, Lire, Yen, etc. The sumo:subclass of sumo:IntentionalProcess that involves interactions between sumo:CognitiveAgents. 2 The spatial analogue of sumo:Planning. sumo:Designing a sumo:Collection of sumo:Objects involves determining a placement of the sumo:Objects with respect to one another and perhaps other sumo:Objects as well, in order to satisfy a particular purpose. Any sumo:GasMixture that is visible, e.g. clouds of sumo:Smoke produced by a fire or clouds of water vapor in the sky. A sumo:RealNumber that is less than zero. AbsoluteValueFn The value of (sumo:AbsoluteValueFn ?NUMBER) is the absolute value of the sumo:RealNumber ?NUMBER. element (sumo:element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the sumo:Set ?SET. An sumo:Entity can be an sumo:element of another sumo:Entity only if the latter is a sumo:Set. (sumo:exploits ?OBJ ?AGENT) means that ?OBJ is used by ?AGENT as a sumo:resource in an unspecified instance of sumo:Process. This sumo:Predicate, as its corresponding axiom indicates, is a composition of the relations sumo:agent and sumo:resource. exploits A sumo:SocialInteraction where the sumo:agent and sumo:patient are sumo:CognitiveAgents who are trying to defeat one another. Note that this concept is often applied in a metaphorical sense in natural language, when we speak, e.g., of the struggle of plants for space or sunlight, or of bacteria for food resources in some environment. (sumo:MinFn ?NUMBER1 ?NUMBER2)--> ?NUMBER3 is the smallest of ?NUMBER1 and ?NUMBER2. In cases where ?NUMBER1 is equal to ?NUMBER2, sumo:MinFn returns one of its arguments. MinFn ImmediateFutureFn A sumo:UnaryFunction that maps a sumo:TimePosition to a short, indeterminate sumo:TimeInterval that immediately follows the sumo:TimePosition. The class of sumo:GeometricFigures that have position and an extension along a single dimension, viz. straight lines. (sumo:not ?FORMULA) is the negation of ?FORMULA not A request expresses a desire that some future action be performed. For example, the 5th Battalion requested air support from the 3rd Bomber Group. Note that this class covers proposals, recommendations, suggestions, etc. Any sumo:Rectangle whose sides are all equal. A sumo:BiologicalProcess which takes place in the mind or brain of an sumo:Organism and which may be manifested in the behavior of the sumo:Organism. Various sumo:Primates with no tails or only short tails. Finding something that was sought. Note that this class is restricted to cases of discovering something sumo:Physical. For cases involving the acquisition of knowledge, the class sumo:Learning should be used. sumo:Artifacts that are created by weaving together natural or synthetic fibers or by treating the skins of certain sorts of sumo:Animals. Note that this sumo:Class includes articles that are created by stitching together various types of fabrics, e.g. bedspreads. On the other hand, sumo:Clothing is not a sumo:subclass of sumo:Fabric, because many clothing items contain elements that are not fabrics. Any sumo:object or sumo:process that expresses content. This covers objects that contain a sumo:proposition, such as a book, as well as sumo:ManualSignLanguage, which may similarly contain a sumo:proposition. 1 A sumo:NonFloweringPlant that contains vascular tissue. This class includes true ferns, as well as horsetails, club mosses, and whisk ferns. The sumo:Class of all calendar sumo:Months. The sumo:Class of sumo:OneToOneFunctions whose range is a subclass of the sumo:PositiveIntegers. subPlan (sumo:subPlan ?PLAN1 ?PLAN2) means that ?PLAN1 is a sumo:plan which is a proper part of ?PLAN2. This relation is generally used to relate a supporting plan to the overall sumo:plan in a particular context. crosses (crosses ?OBJ1 ?OBJ2) means that sumo:object ?OBJ1 traverses Object ?OBJ2, without being sumo:connected to it. starts (sumo:starts ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both sumo:TimeIntervals that have the same initial sumo:TimePoint and that ?INTERVAL1 ends before ?INTERVAL2. Relates a relation to it's identity element so not allowed in DL identityElement An object ?ID is the identity element for sumo:BinaryFunction ?FUNCTION just in case, for every instance ?INST, applying ?FUNCTION to ?INST and ?ID results in ?INST. The sumo:Class of all leap years. These are years which are either (i.) evenly divisible by 4 and not by 100 or (ii.) evenly divisible by 400 (this latter case is known as a leap century). connects The relationship between three things, when one of the three things connects the other two. More formally, (sumo:connects ?OBJ1 ?OBJ2 ?OBJ3) means that (sumo:connected ?OBJ1 ?OBJ2) and (sumo:connected ?OBJ1 ?OBJ3) and not (sumo:connected ?OBJ2 ?OBJ3). A sumo:UnaryFunction that maps a sumo:UnitOfMeasure into a sumo:UnitOfMeasure that is equal to 1,000,000 units of the original sumo:UnitOfMeasure. For example, (sumo:KiloFn sumo:Hertz) is 1,000,000 sumo:Hertz. MegaFn A sumo:Substance that is capable of inducing a change in the structure or functioning of an sumo:Organism. This sumo:Class includes sumo:Substances used in the treatment, diagnosis, prevention or analysis of normal and abnormal body function. This sumo:Class also includes sumo:Substances that occur naturally in the body and are administered therapeutically. Finally, sumo:BiologicallyActiveSubstance includes sumo:Nutrients, most drugs of abuse, and agents that require special handling because of their toxicity. mother The general relationship of motherhood. (sumo:mother ?CHILD ?MOTHER) means that ?MOTHER is the biological mother of ?CHILD. (sumo:conclusion ?ARGUMENT ?PROPOSITION) means that the sumo:Proposition ?PROPOSITION is the conclusion explicitly drawn from the sumo:Argument ?ARGUMENT. Note that it may or may not be the case that ?ARGUMENT sumo:entails ?PROPOSITION. conclusion Any sumo:Device whose purpose is to measure a sumo:PhysicalQuantity. A sumo:Vertebrate having a constant body temperature and characterized by the presence of feathers. Any sumo:TwoDimensionalFigure which has a well defined interior and exterior. The sumo:Class of sumo:IntentionalPsychologicalProcesses which involve comparing, relating, contrasting, etc. the properties of two or more sumo:Entities. A cold-blooded, smooth-skinned sumo:Vertebrate which characteristically hatches as an aquatic larva, breathing by gills. When mature, the sumo:Amphibian breathes with sumo:Lungs. A sumo:subclass of sumo:Attributes for characterizing the breakability of sumo:CorpuscularObjects. subList (sumo: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 sumo:Lists have the same order in both sumo: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]). The sumo:Class of all sumo:Months which are September. The sumo:subclass of sumo:Making in which a sumo:StationaryArtifact is built. Instances of this sumo:Class commit the sumo:agent to some truth. For example, John claimed that the moon is made of green cheese. A sumo:Plant that produces seeds and flowers. This class includes trees, shrubs, herbs, and flowers. Submultiple of kilogram. Symbol: g. 1 kilogram = 1000 sumo:Grams. An sumo:OrganizationalProcess carried out by, for or against officially constituted governments. Some examples would be voting on proposed legislation, electing a government representative, or even overthrowing a government in a revolution. Male An sumo:Attribute indicating that an sumo:Organism is male in nature. An sumo:Attribute indicating that an sumo:Organism is female in nature. Female SUO 1.55: July 14, 2003 The class of sumo:Female sumo:Humans. Properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place and time without some physical encoding or embodiment. The sumo:Class of sumo:Relations that do not have a fixed number of arguments. Components of the sumo:AtomicNucleus. They have no charge. (sumo:PowerSetFn ?CLASS) maps the sumo:SetOrClass ?CLASS to the sumo:SetOrClass of all sumo:subclasses of ?CLASS. PowerSetFn A sumo:Process that is carried out for the purpose of curing, improving or reducing the pain associated with a sumo:DiseaseOrSyndrome. disjointDecomposition A sumo:disjointDecomposition of a sumo:Class C is a set of subclasses of C that are mutually sumo:disjoint. Can be used for instances of sumo:Class but replaced by owl:disjointWith between owl:Class(es) The sumo:Class of samples of the compound H20. Not that this sumo:Class covers both pure and impure sumo:Water. Informally, a single, directed route between two sumo:GraphNodes in a sumo:Graph. Formally, a sumo:DirectedGraph that is a sumo:subGraph of the original sumo:Graph and such that no two sumo:GraphArcs in the sumo:DirectedGraph have the same intial node (see sumo:InitialNodeFn) or the same terminal node (see sumo:TerminalNodeFn). sumo:Attributes that apply specifically to instances of sumo:Organism. names (sumo:names ?STRING ?ENTITY) means that the thing ?ENTITY has the sumo:SymbolicString ?STRING as its name. Note that sumo:names and sumo:represents are the two immediate sumo:subrelations of sumo:refers. The predicate sumo:names is used when the referring item is merely a tag without connotative content, while the predicate sumo:represents is used for referring items that have such content. Any sumo:Mixture that satisfies two conditions, viz. it is made up predominantly of things which are a sumo:Gas and any component other than sumo:Gas in the sumo:Mixture is in the form of fine particles which are suspended in the sumo:Gas. Any heavily armed sumo:Organization that is part of a sumo:Government and that is charged with representing the sumo:Government in international conflicts. The sumo:Class of all clock sumo:Minutes. Any sumo:Number that can be expressed as a (possibly infinite) decimal, i.e. any sumo:Number that has a position on the number line. Elements from the number system with base 2. Every sumo:BinaryNumber is expressed as a sequence of the digits 1 and 0. The sumo:Class of sumo:Processes where the sumo:agent makes a modification or series of modifications to an sumo:Object that is not functioning as intended so that it works properly. (sumo:larger ?OBJ1 ?OBJ2) simply means that ?OBJ1 is larger, with respect to all sumo:LengthMeasures, than ?OBJ2. larger A relatively short sumo:Text that either is unbound or is bound with other sumo:Articles in a sumo:Book. The sumo:Process of respiration, by which oxygen is made available to an sumo:Animal. This covers processes of inhalation, exhalation, and alternations between the two. A sumo:Class containing all of the sumo:Attributes relating to the notions of permission, obligation, and prohibition. sumo:AnatomicalStructures that are possessed exclusively by sumo:Plants. Any two sumo:OneDimensionalFigures (i.e. straight lines) meeting at a single sumo:GeometricPoint. sumo:Putting one thing inside of another thing. sumo:Translocation is that class of sumo:Motions in which an object moves from one place to another. In the case of round trips, the sumo:origin and sumo:destination are the same, but the intervening motion passes through other locations. sumo:Translocation represents linear motion, in contrast to rotation or other movement in place. A vehicle is not necessary; sumo:Ambulating is a kind of sumo:Translocation. 1 1 A sumo:Residence which is strictly temporary, i.e. where no one makes his/her sumo:home. A sumo:ContentBearingObject which depicts motion (and which may have an audio or text component as well). This sumo:Class covers films, videos, etc. A sumo:ManualHumanLanguage is a sumo:HumanLanguage which has as its medium gestures and movement, such as the shape, position, and movement of the hands. inScopeOfInterest A very general sumo:Predicate. (sumo: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. A sumo:Process that is carried out for the purpose of determining the nature of a sumo:DiseaseOrSyndrome. The class of sumo:Texts that purport to reveal facts about the world. Such texts are often known as information or as non-fiction. Note that something can be an instance of sumo:FactualText, even if it is wholly inaccurate. Whether something is a sumo:FactualText is determined by the beliefs of the agent creating the text. English mass unit of pounds. A sumo:UnaryFunction that maps an sumo:Agent to the sumo:Set of sumo:Property owned by the sumo:Agent. PropertyFn The class of sumo:TwoDimensionalFigures that are not sumo:ClosedTwoDimensionalFigures. An entity that has a location in space-time. Note that locations are themselves understood to have a location in space-time. domain For binary relations rdfs:range and rdfs:domain are used, restrictions can be made with naryObjectPart restrictions. Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (sumo: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 sumo:Relation is not captured by a sumo:SetOrClass already defined in the ontology, one can specify a sumo:SetOrClass compositionally with the functions sumo:UnionFn, sumo:IntersectionFn, etc. The class of activities that are caused by geological forces and affect geological features, and which may affect the biosphere as well. The sumo:Class of sumo:Processes where an sumo:Object is cooled and converted from a sumo:Gas to a sumo:Liquid. spouse The relationship of marriage between two Humans. connected (sumo:connected ?OBJ1 ?OBJ2) means that ?OBJ1 sumo:meetsSpatially ?OBJ2 or that ?OBJ1 sumo:overlapsSpatially ?OBJ2. sumo:TernaryRelations relate three items. The two sumo:subclasses of sumo:TernaryRelation are sumo:TernaryPredicate and sumo:BinaryFunction. 3 during (sumo:during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2. This is the subclass of sumo:ContentBearingPhysical which are language-related. Note that this sumo:class encompasses both sumo:language and the the elements of sumo:languages, e.g. words. The sumo:Process of putting on sumo:Clothing. instrument (sumo:instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT and that ?TOOL is not changed by ?EVENT. For example, the key is an sumo:instrument in the following proposition: The key opened the door. Note that sumo:instrument and sumo:resource cannot be satisfied by the same ordered pair. One of the parts of speech. The sumo:Class of sumo:Words that conventionally denote sumo:Attributes of sumo:Processes. An Animal which has a spinal column. SI sumo:TimeDuration. Symbol: s. It is one of the base units in SI, and it is currently defined as follows: the sumo:SecondDuration is the duration of 9192631770 periods of the radiation corresponding to the transition between the two hyperfine levels of the ground state of the cesium 133 atom. can not be used as intended PremisesFn (sumo:PremisesFn ?ARGUMENT) returns the complete set of sumo:premises of the sumo:Argument ?ARGUMENT The ruling body of a sumo:GeopoliticalArea. A sumo:UnaryFunction that maps a sumo:TimeInterval to the sumo:TimePoint at which the interval ends. EndFn NullList The sumo:List that has no items. The uniqueness of sumo:NullList follows from the extensionality of Lists, i.e. the fact that two Lists with the same items in the same order are identical. AdditionFn If ?NUMBER1 and ?NUMBER2 are sumo:Numbers, then (sumo:AdditionFn ?NUMBER1 ?NUMBER2)-->?NUMBER3 is the arithmetical sum of these numbers. A sumo:Process that has a specific purpose for the sumo:CognitiveAgent who performs it. A sumo:Text that has pages and is bound. Class relation not allowed in DL A sumo:BinaryFunction that assigns a sumo:PositiveRealNumber and a subclass of sumo:Months to the sumo:Days within each sumo:Month corresponding to that sumo:PositiveRealNumber. For example, (sumo:DayFn 16 sumo:August) is the sumo:Class of all sixteenth days of August. For another example, (sumo:DayFn 9 sumo:Month) would return the class of all ninth days of any month. For still another example, (sumo:DayFn 18 (sumo:MonthFn 8 (YearFn 1912))) denotes the 18th day of August 1912. DayFn A short sumo:Text that is a summary of another, longer sumo:Text. (sumo:ImmediateFamilyFn ?PERSON) denotes the immediate family of ?PERSON, i.e. the sumo:Group consisting of the parents of ?PERSON and anyone of whom ?PERSON is a parent. ImmediateFamilyFn Expresses the relationship between a a sumo:Formula, an sumo:Entity, and a sumo:CognitiveAgent when the sumo:Entity obligates the sumo:CognitiveAgent to bring it about that the sumo:Formula is true. Obligation 1 A syntactically well-formed formula of a sumo:Language. It includes, at minimum, a predicate and a subject (which may be explicit or implicit), and it expresses a sumo:Proposition. A disordered process, activity, or state of the sumo:Organism as a whole, of a body system or systems, or of multiple sumo:Organs or sumo:Tissues. Included here are normal responses to a negative stimulus as well as patholologic conditions or states that are less specific than a disease. Pathologic functions frequently have systemic effects. English unit of volume equal to 1/8 of a sumo:Cup. A sumo:BinaryPredicate that specifies a sumo:TimePosition in absolute calendar time, at the resolution of one day, for a particular sumo:Object or sumo:Process. date MereologicalProductFn (sumo:MereologicalProductFn ?OBJ1 ?OBJ2) denotes the sumo:Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2. overlapsPartially (sumo:overlapsPartially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 have part(s) in common, but neither ?OBJ1 nor ?OBJ2 is a sumo:part of the other. sumo:WeatherProcess is the broadest class of processes that involve weather, including weather seasons (not to be confused with instances of sumo:SeasonOfYear), weather systems, and short-term weather events. sumo:BinaryRelations are relations that are true only of pairs of things. sumo:BinaryRelations are represented as slots in frame systems. 2 The value of an angle in a plane or in a solid. A sumo:Calorie is an energy measure. An sumo:Organism consisting of a core of a single nucleic acid enclosed in a protective coat of protein. A virus may replicate only inside a host living cell. A virus exhibits some but not all of the usual characteristics of living things. (sumo:overlapsSpatially ?OBJ1 ?OBJ2) means that the sumo:Objects ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation. overlapsSpatially sumo:Processes which involve altering the properties that apply to the surface of an sumo:Object. (sumo:meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the sumo:TimeInterval ?INTERVAL1 is the initial point of the sumo:TimeInterval ?INTERVAL2. meetsTemporally Time unit. 1 hour = 60 minutes. SI magnetic flux density measure. Symbol: T. One sumo:Tesla equals one sumo:Weber per square sumo:Meter. sumo:Tesla = Wb/m^2 = kg*s^(-2)*A^(-1). The class of sumo:Male sumo:Humans. stays The relation between a sumo:Human and a sumo:TemporaryResidence of the sumo:Human. The sumo:OrganizationalProcess of leaving an sumo:Organization, whether voluntarily or involuntarily. Any sumo:Process that requires two, nonidentical sumo:patients. 2 (sumo:DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the sumo:RealNumber ?NUMBER. DenominatorFn The class of temporal durations (instances of sumo:TimeDuration) and positions of sumo:TimePoints and sumo:TimeIntervals along the universal timeline (instances of sumo:TimePosition). subsumingExternalConcept (sumo:subsumingExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING subsumes the meaning of ?STRING in ?LANGUAGE, i.e. the concept ?THING is broader in meaning than ?STRING. A sumo:GraphArc in which a sumo:GraphNode is linked to itself. The subclass of sumo:Selecting where the sumo:agent opts for one course of action out of a set of multiple possibilities. Exhibiting something or a range of things before the public in a particular location. This would cover software demos, theatrical plays, lectures, dance and music recitals, museum exhibitions, etc. A sumo:Collection of sumo:Agents, e.g. a flock of sheep, a herd of goats, or the local Boy Scout troop. A sumo:ConstantQuantity is a sumo:PhysicalQuantity which has a constant value, e.g. 3 meters and 5 hours. The magnitude (see sumo:MagnitudeFn) of every sumo:ConstantQuantity is a sumo:RealNumber. sumo:ConstantQuantities are distinguished from sumo:FunctionQuantities, which map sumo:ConstantQuantities to other sumo:ConstantQuantities. All sumo:ConstantQuantites are expressed with the sumo:BinaryFunction sumo:MeasureFn, which takes a sumo:Number and a sumo:UnitOfMeasure as arguments. For example, 3 sumo:Meters can be expressed as (sumo:MeasureFn 3 sumo:Meter). sumo:ConstantQuantities form a partial order (see sumo:PartialOrderingRelation) with the sumo:lessThan relation, since sumo:lessThan is a sumo:RelationExtendedToQuantities and sumo:lessThan is defined over the sumo:RealNumbers. The sumo:lessThan relation is not a total order (see sumo:TotalOrderingRelation) over the class sumo:ConstantQuantity since elements of some subclasses of sumo:ConstantQuantity (such as length quantities) are incomparable to elements of other subclasses of sumo:ConstantQuantity (such as mass quantities). Components of the sumo:AtomicNucleus. They have a positive charge. home The relation between a sumo:Human and a sumo:PermanentResidence of the human. A sumo:ResidentialBuilding which provides temporary accommodations to guests in exchange for money. Time unit. one calendar year. 1 year = 365 days = 31536000 seconds. The sumo:Class of sumo:NormativeAttributes which lack an objective criterion for their attribution, i.e. the attribution of these sumo:Attributes varies from subject to subject and even with respect to the same subject over time. This sumo:Class is, generally speaking, only used when mapping external knowledge sources to the SUMO. If a term from such a knowledge source seems to lack objective criteria for its attribution, it is assigned to this sumo:Class. Extracellular material and mixtures of cells and extracellular material that are produced, excreted or accreted by an sumo:Organism. Included here are sumo:Substances such as saliva, dental enamel, sweat, and gastric acid. The value of an angle in a plane. authors (sumo:authors ?AGENT ?TEXT) means that ?AGENT is creatively responsible for ?TEXT. For example, Agatha Christie is author of Murder_on_the_Orient_Express. SI absorbed dose measure. Symbol: Gy. It measures the dose of radiation absorbed in living tissue. It is equal approximately to the absorbed dose delivered when the energy per unit mass imparted to matter by ionizing radiation is 1 sumo:Joule per kilogram. sumo:Gray = J/kg = m^2*s^(-2). wears (sumo:wears ?AGENT ?CLOTHING) means that ?AGENT is wearing the item of clothing Not allowed in DL trichotomizingOn A sumo:BinaryRelation ?REL is trichotomizing on a sumo:SetOrClass only if, for all instances ?INST1 and ?INST2 of the sumo:SetOrClass, at least one of the following holds: (?REL ?INST1 ?INST2),(?REL ?INST2 ?INST1) or (equal ?INST1 ?INST2). A sumo:BinaryRelation is a sumo:TotalOrderingRelation if it is a sumo:PartialOrderingRelation and a sumo:TrichotomizingRelation. Reproductive structure of sumo:Organisms. Consists of an sumo:Embryonic sumo:Object and a nutritive/protective envelope. Note that this class includes seeds, spores, and sumo:FruitOrVegetables, as well as the eggs produced by sumo:Animals. A currency measure. 1 sumo:UnitedStatesCent is equal to .01 sumo:UnitedStatesDollars. A sumo:Class of sumo:Arthropods that mainly dwells in water and has a segmented body and a chitinous exoskeleton. Includes lobsters, crabs, shrimp, and barnacles. Any instance of sumo:Giving where the sumo:agent gives something to the sumo:destination which was previously given to the sumo:agent by the sumo:destination, e.g. returing a book that was borrowed from someone. links a sumo:TernaryPredicate that specifies the sumo:GraphArc connecting two sumo:GraphNodes. A sumo:UnaryFunction that maps a sumo:TimePosition to the sumo:TimeInterval which it meets and which ends at sumo:PositiveInfinity. FutureFn The sumo:Class of sumo:LinguisticCommunications that effect an institutional alteration when performed by competent authority. Some examples are nominating, marrying, and excommunicating. The Class of sumo:StationaryArtifacts which are intended to house sumo:Humans and their activities. exhaustiveAttribute This predicate relates a sumo:Class to a set of sumo:Attributes, and it means that the elements of this set exhaust the instances of the Class. For example, (sumo:exhaustiveAttribute sumo:PhysicalState sumo:Solid sumo:Fluid sumo:Liquid sumo:Gas sumo:Plasma) means that there are only five instances of the class sumo:PhysicalState, viz. sumo:Solid, sumo:Fluid, sumo:Liquid, sumo:Gas and sumo:Plasma. This relation would break the DL rules and is replaced by the use of owl:oneOf BeginNodeFn A sumo:UnaryFunction that maps a sumo:GraphPath to the sumo:GraphNode that is the beginning of the sumo:GraphPath. Note that, unlike sumo:InitialNodeFn (which relates a sumo:GraphArc to a sumo:GraphNode), sumo:BeginNodeFn is a total function - every sumo:GraphPath has a beginning. The sumo:subclass of sumo:Impelling where the sumo:patient is a projectile that is fired through the air by means of some sort of sumo:Device. Colors which can be blended to form any color and which cannot be derived from any other colors. sumo:Speaking that is also sumo:Music. A sumo:BinaryRelation is an equivalence relation if it is a sumo:ReflexiveRelation, a sumo:SymmetricRelation, and a sumo:TransitiveRelation. Class relation not allowed in DL ExtensionFn A sumo:UnaryFunction that maps an sumo:Attribute into the sumo:Class whose condition for membership is the sumo:Attribute. sumo:Election is the class of events conducted by an organization, in which qualified participants vote for officers, adopt resolutions, or settle other issues in that sumo:Organization. A sumo:BiologicallyActiveSubstance required by an sumo:Organism. It is generally ingested as sumo:Food, and it is of primary interest because of its role in the biologic functioning of the sumo:Organism. One sumo:KiloByte (KB) of information. One sumo:KiloByte is 1024 sumo:Bytes. Note that this sense of 'kilo' is different from the one accepted in the SI system. Enumerating something. The sumo:Class of sumo:Calculating sumo:Processes where the aim is to determine the sumo:Number corresponding to the sumo:patient. A small, typically one-celled, prokaryotic sumo:Microorganism. Any sumo:substance that is the result of an sumo:intentional process, i.e. any substance that is created by sumo:humans. A sumo:DeductiveArgument which is valid, i.e. the set of sumo:premises in fact sumo:entails the sumo:conclusion. Any sumo:Increasing sumo:Process where the sumo:PhysicalQuantity increased is a sumo:TemperatureMeasure. A sumo:PermanentResidence which is intended to be the sumo:home of a single sumo:SocialUnit. This class covers sumo:Houses, sumo:ApartmentUnits, and sumo:CondominiumUnits. The sumo:Class of sumo:IntentionalPsychologicalProcesses which involve opting for one or more sumo:Entity out of a larger set of sumo:Entities. A sumo:Contest where one participant attempts to physically injure another participant. forall An sumo:Animal which has no spinal column. Any sumo:ReproductiveBody of a sumo:NonFloweringPlant. A specification of a sequence of sumo:Processes which is intended to satisfy a specified purpose at some future time. Measures of the amount of information. Includes sumo:Bit, sumo:Byte, and multiples of these, e.g. sumo:KiloByte and sumo:MegaByte. A sumo:Disseminating whose purpose is to promote the sale of an sumo:Object represented in a sumo:Text or sumo:Icon (the advertisement). A sumo:Certificate that expresses the content of an invention that has been accorded legal protection by a governemental entity. The place where two sumo:BodyParts meet or connect. subGraph The relation between two sumo:Graphs when one sumo:Graph is a part of the other. (sumo:subGraph ?GRAPH1 ?GRAPH2) means that ?GRAPH1 is a part of ?GRAPH2. A sumo:ColdBloodedVertebrate having an external covering of scales or horny plates. sumo:Reptiles breathe by means of sumo:Lungs and generally lay eggs. Any sumo:GeographicArea which is associated with some sort of political structure. This class includes sumo:Lands, sumo:Cities, districts of cities, counties, etc. Note that the identity of a sumo:GeopoliticalArea may remain constant after a change in borders. The sumo:Class of sumo:Putting processes where the sumo:agent covers the sumo:patient, either completely or only partially, with something else. Any sumo:SetOrClass that contains no instances. Administrative subdivisions of a sumo:Nation that are broader than any other political subdivisions that may exist. This sumo:Class includes the states of the United States, as well as the provinces of Canada and European countries. A sumo:BinaryRelation ?REL is a sumo:TrichotomizingRelation just in case all ordered pairs consisting of distinct individuals are elements of ?REL. SI electric current measure. Symbol: A. It is one of the base units in SI. It is defined as follows: the sumo:Ampere is that constant current which, if maintained in two straight parallel conductors of infinite length, of negligible circular cross-section, and placed 1 sumo:Meter apart in a vacuum, would produce between these conductors a force equal to 2*10^(-7) sumo:Newton per sumo:Meter of length. 4 The sumo:Class of sumo:Functions that require exactly four arguments. (sumo:properPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 other than ?OBJ2 itself. This is a transitive relation and asymmetric relation (hence an irreflexive relation). properPart A sumo:UnaryFunction that maps a sumo:GraphArc to the terminal node of the sumo:GraphArc. Note that this is a partial function. In particular, the function is undefined for sumo:GraphArcs that are not part of a sumo:DirectedGraph. TerminalNodeFn sumo:Inserting a sumo:BiologicallyActiveSubstance into an sumo:Animal or a sumo:Human with a syringe. The sumo:Class of all sumo:Months which are August. A sumo:RelationExtendedToQuantities is a sumo:Relation that, when it is true on a sequence of arguments that are sumo:RealNumbers, it is also true on a sequence of sumo:ConstantQuantites with those magnitudes in some unit of measure. For example, the sumo:lessThan relation is extended to quantities. This means that for all pairs of quantities ?QUANTITY1 and ?QUANTITY2, (lessThan ?QUANTITY1 ?QUANTITY2) if and only if, for some ?NUMBER1, ?NUMBER2, and ?UNIT, ?QUANTITY1 = (MeasureFn ?NUMBER1 ?UNIT), ?QUANTITY2 = (MeasureFn ?NUMBER2 ?UNIT), and (lessThan ?NUMBER1 ?NUMBER2), for all units ?UNIT on which ?QUANTITY1 and ?QUANTITY2 can be measured. Note that, when a sumo:RelationExtendedToQuantities is extended from sumo:RealNumbers to sumo:ConstantQuantities, the sumo:ConstantQuantities must be measured along the same physical dimension. (sumo:RoundFn ?NUMBER) is the sumo:Integer closest to ?NUMBER on the number line. If ?NUMBER is halfway between two sumo:Integers (for example 3.5), it denotes the larger sumo:Integer. RoundFn A complex sumo:Protein that is produced by living cells and which catalyzes specific biochemical reactions. There are six main types of enzymes: oxidoreductases, transferases, hydrolases, lyases, isomerases, and ligases. The fertilized or unfertilized female sumo:ReproductiveBody of an sumo:Animal. This includes sumo:Bird and sumo:Reptile eggs, as well as mammalian ova. geometricDistance (sumo:geometricDistance ?POINT1 ?POINT2 --> ?LENGTH) means that ?LENGTH is the distance between the two sumo:GeometricPoints ?POINT1 and ?POINT2. containsInformation A subrelation of sumo:represents. This predicate relates a sumo:ContentBearingObject to the sumo:Proposition that is expressed by the sumo:ContentBearingObject. Examples include the relationships between a physical novel and its story and between a printed score and its musical content. Can not be used as intended in DL A sumo:BinaryFunction that maps a subclass of sumo:Periodical and a number to all of the issues of the sumo:Periodical corresponding to the number. PeriodicalIssueFn Rigid sumo:Tissue composed largely of calcium that makes up the skeleton of sumo:Vertebrates. Note that this sumo:Class also includes teeth. The sumo:Class of sumo:Mammals with one or two pairs of incisors for gnawing. Includes rats, mice, guinea pigs, and rabbits. exhaustiveDecomposition An sumo:exhaustiveDecomposition of a sumo:Class C is a set of subclasses of C such that every subclass of C either is an element of the set or is a subclass of an element of the set. Note: this does not necessarily mean that the elements of the set are disjoint (see sumo:partition - a sumo:partition is a disjoint exhaustive decomposition.) Class relation, can not be used for DL as defined but could be used with instances of sumo:Class A sumo:Group whose sumo:members originate from the same sumo:GeographicArea or share the same sumo:Language and/or cultural practices. Any sumo:Process of movement. 1 sumo:Vertebrates whose body temperature is not internally regulated. Could be used in this way, but is not as intended. GraphPathFn A sumo:BinaryFunction that maps two sumo:GraphNodes to the sumo:Class of sumo:GraphPaths between those two nodes. Note that the two sumo:GraphNodes must belong to the same sumo:Graph. Instances of this sumo:Class express a state of the sumo:agent. For example, Jane thanked Barbara for the present she had given her. The thanking in this case expresses the gratitude of Jane towards Barbara. Note that sumo:Expressing, unlike the other speech act types, is not a subclass of sumo:LinguisticCommunication. This is because emotions, for example, can be expressed without language, e.g. by smiling. An sumo:Integer that is greater than or equal to zero. Class relation not allowed in DL KappaFn A class-forming operator that takes two arguments: a variable and a formula containing at least one unbound occurrence of the variable. The result of applying sumo:KappaFn to a variable and a formula is the sumo:SetOrClass of things that satisfy the formula. For example, we can denote the sumo:SetOrClass of prime numbers that are less than 100 with the following expression: (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100))). Note that the use of this function is discouraged, since there is currently no axiomatic support for it. An sumo:Organization that is a sumo:Government, a sumo:subOrganization of a sumo:Government, or an sumo:Organization that is attempting to bring about some sort of political change. A topographic location. sumo:Regions encompass surfaces of sumo:Objects, imaginary places, and sumo:GeographicAreas. Note that a sumo:Region is the only kind of sumo:Object which can be located at itself. Note too that sumo:Region is not a subclass of sumo:SelfConnectedObject, because some sumo:Regions, e.g. archipelagos, have sumo:parts which are not sumo:connected with one another. A somewhat independent sumo:BodyPart that performs a specialized function. Note that this functional definition covers bodily systems, e.g. the digestive system or the central nervous system. geographicSubregion (sumo:geographicSubregion ?PART ?WHOLE) means that the sumo:GeographicArea ?PART is part of the sumo:GeographicArea ?WHOLE. citizen (sumo:citizen ?PERSON ?NATION) means that the sumo:Human ?PERSON is a citizen of sumo:Nation ?NATION. A class containing all of the sumo:attributes relating to objective, qualitative assessments of probability, e.g. sumo:Likely and sumo:Unlikely. Any sumo:QuantityChange where the sumo:PhysicalQuantity is decreased. A sumo:Predicate is a sentence-forming sumo:Relation. Each tuple in the sumo:Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a sumo:Predicate is denoted by '(*predicate* arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of sumo:BinaryPredicates, the fact can be read as `arg_1 is *predicate* arg_2' or `a *predicate* of arg_1 is arg_2'. A system of signs for expressing thought. The system can be either natural or artificial, i.e. something that emerges gradually as a cultural artifact or something that is intentionally created by a person or group of people. A sumo:UnaryFunction that maps a sumo:UnitOfMeasure into a sumo:UnitOfMeasure that is equal to .000001 units of the original sumo:UnitOfMeasure. For example, (sumo:MicroFn sumo:Meter) is .000001 sumo:Meters. MicroFn A sumo:Process that is carried out for the purpose of recreation or exercise. Since sumo:RecreationOrExercise is a subclass of sumo:IntentionalProcess, the intent of a process determines whether or not it is an instance of the class. Hence, if John and Bill watch the same program on television, and John watches it to relax while Bill watches it solely to satisfy an educational requirement, then John's watching the movie is an instance of sumo:RecreationOrExercise, while Bill's is not (both cases of watching the television program would however be in the class of sumo:Seeing, since being an instance of this latter class is not determined by intention). A sumo:UnaryFunction that maps a sumo:UnitOfMeasure into a sumo:UnitOfMeasure that is equal to .000000001 units of the original sumo:UnitOfMeasure. For example, (sumo:MicroFn sumo:SecondDuration) is .000000001 sumo:SecondDurations. NanoFn The sumo:Process of dying. SI power measure. Symbol: W. A sumo:UnitOfMeasure that measures power, i.e. energy produced or expended divided by sumo:TimeDuration. It is the power which gives rise to the production of energy (or work) at the rate of one sumo:Joule per sumo:SecondDuration. sumo:Watt = J/s = m^2*kg*s^(-3). MereologicalSumFn (sumo:MereologicalSumFn ?OBJ1 ?OBJ2) denotes the sumo:Object consisting of the parts which belong to either ?OBJ1 or ?OBJ2. A sumo:BinaryRelation is irreflexive on a sumo:SetOrClass only if no instance of the sumo:SetOrClass bears the relation to itself. irreflexiveOn Not allowed in DL equivalentContentClass A sumo:BinaryPredicate that relates two subclasses of sumo:contentBearingObject. (sumo: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 (sumo:equivalentContentClass ?CLASS1 ?CLASS2) implies (sumo:subsumesContentClass ?CLASS1 ?CLASS2) and (sumo:subsumesContentClass ?CLASS2 ?CLASS1). sumo:Attributes that characterize the mental or behavioral life of an sumo:Organism. successorAttribute (sumo:successorAttribute ?ATTR1 ?ATTR2) means that ?ATTR2 is the sumo:Attribute that comes immediately after ?ATTR1 on the scale that they share. A sumo:BinaryRelation ?REL is symmetric just in case (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2. An element of an alphabet, a set of numerals, etc. Note that a sumo:Character may or may not be part of a sumo:Language. sumo:Character is a subclass of sumo:SymbolicString, because every instance of sumo:Character is an alphanumeric sequence consisting of a single element. The class of sumo:IntentionalPsychologicalProcesses where the sumo:agent attempts to obtain information (i.e. a sumo:Proposition denoted by a sumo:Formula). One sumo:MegaByte (MB) of information. One sumo:MegaByte is 1024 sumo:KiloBytes. Note that this sense of 'mega' is different from the one accepted in the SI system. One of the seven largest land masses on earth, viz. Africa, North America, South America, Antarctica, Europe, Asia, and Oceania (also known by the sumo:Nation which is coextensive with the sumo:Continent - Australia). Any instance of sumo:RadiatingSound where the sumo:instrument is the sumo:Human vocal cords. This covers grunts, screams, roars, as well as sumo:Speaking. The sumo:Class of sumo:NormativeAttributes that are associated with an objective criterion for their attribution, i.e. there is broad consensus about the cases where these attributes are applicable. sumo:Graphs are comprised of sumo:GraphNodes and sumo:GraphArcs. Every sumo:GraphArc links two sumo:GraphNodes. SI electric conductance measure. Symbol: S. In the case of direct current, the conductance in sumo:Siemens is the reciprocal of the resistance in sumo:Ohms; in the case of alternating current, it is the reciprocal of the impedance in ohms. siemens = A/V = m^(-2)*kg(-1)*s^(3)*A^2. An sumo:Artifact that is produced by sumo:Manufacture and that is intended to be sold. The sumo:Making of an sumo:instance of sumo:Food. The sumo:subclass of sumo:ChangeOfPossession where the sumo:agent gives the sumo:destination something. 1 1 The sumo:Class of all sumo:Attributes that specify the position or status of a sumo:CognitiveAgent within an sumo:Organization or other sumo:Group. SI luminosity intensity measure. Symbol: cd. It is one of the base units in SI, and it is currently defined as follows: the sumo:Candela is the luminous intensity, in a given direction, of a source that emits monochromatic radiation of frequency 540*10^12 sumo:Hertz and that has a radiant intensity in that direction of 1/683 sumo:Watt per sumo:Steradian. The sumo:subclass of sumo:Damagings in which the sumo:patient (or an essential element of the sumo:patient) is destroyed. Note that the difference between this concept and its superclass is solely one of extent. A sumo:BinaryRelation is a partial ordering if it is a sumo:ReflexiveRelation, an sumo:AntisymmetricRelation, and a sumo:TransitiveRelation. sumo:Transfer from one point to another by means of an sumo:Animal or sumo:Human. Any instance of sumo:detaching which results in a situation where it is not the case that the sumo:agent sumo:grasps something which he/she sumo:grasps previously. connectedEngineeringComponents This is the most general connection relation between sumo:EngineeringComponents. If (sumo:connectedEngineeringComponents ?COMP1 ?COMP2), then neither ?COMP1 nor ?COMP2 can be an sumo:engineeringSubcomponent of the other. The relation sumo:connectedEngineeringComponents is a sumo:SymmetricRelation; there is no information in the direction of connection between two components. It is also an sumo:IrreflexiveRelation; no sumo:EngineeringComponent bears this relation to itself. Note that this relation does not associate a name or type with the connection. Any instance of sumo:Currency that is made of paper. An sumo:Argument which is inductive, i.e. it is claimed that a set of specific cases makes the sumo:conclusion, which generalizes these cases, more likely to be true. An area which is predominantly solid ground, e.g. a sumo:Nation, a mountain, a desert, etc. Note that a sumo:LandArea may contain some relatively small sumo:WaterAreas. For example, Australia is a sumo:LandArea even though it contains various rivers and lakes. (sumo:greaterThan ?NUMBER1 ?NUMBER2) is true just in case the sumo:Quantity ?NUMBER1 is greater than the sumo:Quantity ?NUMBER2. greaterThan subrelation - sumo:greaterThanOrEqualTo The sumo:Class of all sumo:Months which are October. A sumo:UnaryFunction that maps a sumo:Hole to the sumo:Object which is its principal host. The principle host of a sumo:Hole is its maximally connected host (a notion taken here to be defined only when the argument is a hole HoleHostFn A sumo:properPart of a sumo:Building which is separated from the exterior of the sumo:Building and/or other sumo:Rooms of the sumo:Building by walls. Some sumo:Rooms may have a specific purpose, e.g. sleeping, bathing, cooking, entertainment, etc. experiencer (sumo:experiencer ?PROCESS ?AGENT) means that ?AGENT experiences the sumo:Process ?PROCESS. For example, Yojo is the sumo:experiencer of seeing in the following proposition: Yojo sees the fish. Note that sumo:experiencer, unlike sumo:agent, does not entail a causal relation between its arguments. The sumo:Class of all calendar Thursdays. A sumo:GraphPath that begins (see sumo:BeginNodeFn) and ends (see sumo:EndNodeFn) at the same sumo:GraphNode. Class relation not allowed in DL HourFn A sumo:BinaryFunction that assigns a sumo:PositiveRealNumber and a subclass of sumo:Days to the sumo:Hours within each sumo:Day corresponding to that sumo:PositiveRealNumber. For example, (sumo:HourFn 12 sumo:Thursday) is the sumo:Class of all instances of noon Thursday. For another example, (sumo:HourFn 24 sumo:Day) would return the class of all instances of midnight. For still another example, (sumo:HourFn 14 (sumo:DayFn 18 (sumo:MonthFn 8 (YearFn 1912)))) denotes 2 PM on the 18th day of August 1912.