age (4 facts) - Simply relates an Object to a ConstantQuantity specifying the age of the Object
agent (36 facts) - (agent ?ACTION ?AGENT) means that the Agent ?AGENT voluntarily initiates ?ACTION. For example, Eve is an agent in the following proposition: Eve bit an apple
completelyFills (5 facts) - (completelyFills ?OBJ ?HOLE) means that the Hole ?HOLE fills some part of the Object ?OBJ. Note that if (completelyFills ?OBJ1 ?HOLE) and (part ?OBJ1 ?OBJ2), then (completelyFills ?OBJ2 ?HOLE)
component (14 facts) - 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 material and piece, which are also subrelations of part
connectsEngineeringComponents (6 facts) - connectsEngineeringComponents is a TernaryPredicate that maps from an EngineeringConnection to the EngineeringComponents it connects. Since EngineeringComponents cannot be connected to themselves and there cannot be an EngineeringConnection without a connectedEngineeringComponents Predicate, the second and third arguments of any connectsEngineeringComponents relationship will always be distinct for any given first argument
diameter - BinaryPredicate that is used to state the measure of a circular Object from side to side
employs (7 facts) - (employs ?ORG ?PERSON) means that ?ORG has hired ?PERSON and currently retains ?PERSON, on a salaried or contractual basis, to provide services in exchange for monetary compensation
engineeringSubcomponent (4 facts) - (engineeringSubcomponent ?SUB ?SUPER) means that the EngineeringComponent ?SUB is structurally a properPart ?SUPER. This relation is an AsymmetricRelation, since two EngineeringComponents cannot be subcomponents of each other
exactlyLocated (5 facts) - The actual, minimal location of an Object. This is a subrelation of the more general Predicate located
father (5 facts) - The general relationship of fatherhood. (father ?FATHER ?CHILD) means that ?FATHER is the biological father of ?CHILD
height (2 facts) - BinaryPredicate that is used to state the measure of an Object from its lowest point to its highest point
instrument (10 facts) - (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 instrument in the following proposition: The key opened the door. Note that instrument and resource cannot be satisfied by the same ordered pair
interiorPart (4 facts) - (interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2
length (2 facts) - BinaryPredicate that is used to state the measure of an Object from one point to another point along its surface
manner (5 facts) - (manner ?PROCESS ?MANNER) means that the Process ?PROCESS is qualified by the Attribute ?MANNER. The Attributes of Processes are usually denoted by adverbs and include things like the speed of the wind, the style of a dance, or the intensity of a sports competition
material (4 facts) - (material ?SUBSTANCE ?OBJECT) means that ?OBJECT is structurally made up in part of ?SUBSTANCE. This relation encompasses the concepts of 'composed of', 'made of', and 'formed of'. For example, a particular instance of plastic is a material of my computer monitor. Note that material is a relation between two instances. If one wants to say that a CorpuscularObject is made up of a subclass of Substance, two assertions are necessary. For example, to say that my computer monitor is made out of the Substance plastic, one would write: (instance ThisPlastic Plastic) and (material ThisPlastic MyComputer). Compare 'component' and 'piece', which are also subrelations of part
meetsSpatially (6 facts) - (meetsSpatially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are connected but that neither ?OBJ1 nor ?OBJ2 overlapsSpatially the other
monetaryValue (4 facts) - A BinaryPredicate that associates an Object with its value expressed as an instance of CurrencyMeasure
mother (5 facts) - The general relationship of motherhood. (mother ?MOTHER ?CHILD) means that ?MOTHER is the biological mother of ?CHILD
overlapsPartially (2 facts) - (overlapsPartially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 have part(s) in common, but neither ?OBJ1 nor ?OBJ2 is a part of the other
overlapsSpatially (16 facts) - (overlapsSpatially ?OBJ1 ?OBJ2) means that the Objects ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation
partition - A partition of a class C is a set of mutually disjoint classes (a subclass partition) which covers C. Every instance of C is an instance of exactly one of the subclasses in the partition
piece (4 facts) - A specialized common sense notion of part for arbitrary parts of Substances. Quasi-synonyms are: chunk, hunk, bit, etc. Compare the other subrelations of part, viz. component and material
resource (6 facts) - (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 resource differs from instrument, another subrelation of patient, in that it is structurally altered in some way by the Process
result (11 facts) - (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
subOrganizations (4 facts) - (subOrganizations ?ORG1 ?ORG2) means that ?ORG1 is an Organization which is a proper part of the Organization ?ORG2
subset (4 facts) - (subset ?SET1 ?SET2) is true just in case the elements of the Set ?SET1 are also elements of the Set ?SET2
subsumedExternalConcept (4 facts) - (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
subsumingExternalConcept (4 facts) - (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
superficialPart (7 facts) - (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 geometric complement of ?OBJ2). This too is a transitive relation closed under MereologicalSumFn and MereologicalProductFn
surface (3 facts) - (surface ?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected superficialPart of ?OBJ2
synonymousExternalConcept (4 facts) - (synonymousExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING has the same meaning as ?STRING in ?LANGUAGE
synonymousInternalConcept - (synonymousInternalConcept ?ENTITY1 ?ENTITY2) means that the SUMO concepts ?ENTITY1 and ?ENTITY2 are distinct and yet have the same meaning
traverses (2 facts) - (traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2. Note that crosses and penetrates are subrelations of traverses
true (5 facts) - The BinaryPredicate that relates a Sentence to its TruthValue
width (2 facts) - BinaryPredicate that is used to state the measure of an Object from side to side at its widest span
SUMO View all facts Glossary Help
