; Sat May 03 16:18:32 EDT 2003
; 
;+ (version "1.8")
;+ (build "Build 981")

([SUMO148_00000] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3AArg3]))

([SUMO148_00001] of BinaryPredicate
	(SUO-name "instance")
	(documentation "An object is an &%instance of a &%SetOrClass if it is included in that &%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 &%instance about specificity or uniqueness."))

([SUMO148_00002] of BinaryPredicate
	(SUO-name "inverse")
	(documentation "The inverse of a &%BinaryRelation is a relation in which all the tuples of the original relation are reversed.  In other words, one &%BinaryRelation is the inverse of another if they are equivalent when their arguments are swapped."))

([SUMO148_00003] of BinaryPredicate
	(SUO-name "subclass")
	(documentation "(&%subclass ?CLASS1 ?CLASS2) means that ?CLASS1 is a subclass of ?CLASS2, i.e. every instance of ?CLASS1 is also an instance of ?CLASS2.  A class may have multiple superclasses and subclasses."))

([SUMO148_00004] of BinaryPredicate
	(SUO-name "subrelation")
	(documentation "A &%Relation R is a &%subrelation &%Relation R' if R is a &%subclass R'.  This implies that every tuple of R is also a tuple of R'.  Again, if R holds for some arguments arg_1, arg_2, ... arg_n, then R' holds for the same arguments.  Thus, a &%Relation and its subrelation must have the same valence. In CycL, &%subrelation is called #$genlPreds."))

([SUMO148_00005] of TernaryPredicate
	(SUO-name "domain")
	(documentation "Provides a computationally and heuristicallyconvenient mechanism for declaring the argument types of a given relation.  The formula (&%domain ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be an instance of ?CLASS.  Specifying argumenttypes is very helpful in maintaining ontologies.  Representation systems can use these specifications to classify terms and check integrity constraints.  If the restriction on the argument type of a &%Relation is not captured by a &%SetOrClass already defined in the ontology, one can specify a &%SetOrClass compositionally with the functions &%UnionFn, &%IntersectionFn, etc."))

([SUMO148_00006] of TernaryPredicate
	(SUO-name "domainSubclass")
	(documentation "&%Predicate used to specify argument type restrictions of &%Predicates.  The formula (&%domainSubclass ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS."))

([SUMO148_00007] of BinaryPredicate
	(SUO-name "equal")
	(documentation "(equal ?ENTITY1 ?ENTITY2) is true just in case ?ENTITY1 is identical with ?ENTITY2."))

([SUMO148_00008] of BinaryPredicate
	(SUO-name "range")
	(documentation "Gives the range of a function.  In other words, (&%range ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are &%instances of ?CLASS."))

([SUMO148_00009] of BinaryPredicate
	(SUO-name "rangeSubclass")
	(documentation "(&%rangeSubclass ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are &%subclasses of ?CLASS."))

([SUMO148_00010] of BinaryPredicate
	(SUO-name "valence")
	(documentation "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 &%VariableArityRelation.  For example, &%holds is a &%VariableArityRelation."))

([SUMO148_00011] of BinaryPredicate
	(SUO-name "documentation")
	(documentation "A relation between objects in the domain of discourse and strings of natural language text.  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."))

([SUMO148_00012] of BinaryPredicate
	(SUO-name "disjoint")
	(documentation "&%Classes are &%disjoint only if they share no instances, i.e. just in case the result of applying &%IntersectionFn tothem is empty."))

([SUMO148_00013] of Predicate
	(SUO-name "exhaustiveDecomposition")
	(documentation "An &%exhaustiveDecomposition of a &%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 &%partition - a &%partition is a disjoint exhaustive decomposition.)"))

([SUMO148_00014] of Predicate
	(SUO-name "disjointDecomposition")
	(documentation "A &%disjointDecomposition of a &%Class C is a set of subclasses of C that are mutually &%disjoint."))

([SUMO148_00015] of Predicate
	(SUO-name "partition")
	(documentation "A &%partition of a class C is a set of \nmutually &%disjoint classes (a subclass partition) which covers C.  \nEvery instance of C is an instance of exactly one of the subclasses \nin the partition."))

([SUMO148_00016] of BinaryPredicate
	(SUO-name "relatedInternalConcept")
	(documentation "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 &%relatedExternalConcept."))

([SUMO148_00017] of TernaryPredicate
	(SUO-name "relatedExternalConcept")
	(documentation "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."))

([SUMO148_00018] of BinaryPredicate
	(SUO-name "subAttribute")
	(documentation "Means that the second argument can be ascribed to everything which has the first argument ascribed to it."))

([SUMO148_00019] of BinaryPredicate
	(SUO-name "successorAttribute")
	(documentation "(&%successorAttribute ?ATTR1 ?ATTR2) means that ?ATTR2 is the &%Attribute that comes immediately after ?ATTR1 on the scale that they share."))

([SUMO148_00020] of BinaryPredicate
	(SUO-name "successorAttributeClosure")
	(documentation "The transitive closure of &%successorAttribute.  (&%successorAttributeClosure ?ATTR1 ?ATTR2) means that there is a chain of &%successorAttribute assertions connecting ?ATTR1 and ?ATTR2."))

([SUMO148_00021] of LogicalOperator
	(SUO-name "and")
	(documentation "The truth-functional connective of conjunction."))

([SUMO148_00022] of LogicalOperator
	(SUO-name "or")
	(documentation "The truth-functional connective of disjunction."))

([SUMO148_00023] of LogicalOperator
	(SUO-name "=>")
	(documentation "The truth-functional connective of implication."))

([SUMO148_00024] of LogicalOperator
	(SUO-name "<=>")
	(documentation "The truth-functional connective of bi-implication."))

([SUMO148_00025] of LogicalOperator
	(SUO-name "not")
	(documentation "The truth-functional connective of negation."))

([SUMO148_00026] of LogicalOperator
	(SUO-name "forall")
	(documentation "The universal quantifier of predicate logic."))

([SUMO148_00027] of LogicalOperator
	(SUO-name "exists")
	(documentation "The existential quantifier of predicate logic."))

([SUMO148_00028] of LogicalOperator
	(SUO-name "entails")
	(documentation "The operator of logical entailment.  (&%entails ?FORMULA1 ?FORMULA2) means that ?FORMULA2 can be derived from ?FORMULA1 by means of the proof theory of SUO-KIF."))

([SUMO148_00029] of Function
	(SUO-name "AssignmentFn")
	(documentation "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."))

([SUMO148_00030] of SpatialRelation
	(SUO-name "BackFn")
	(documentation "A &%Function that maps an &%Object to the side that is opposite the &%FrontFn of the &%Object.  Note that this is a partial function, since some &%Objects do not have sides, e.g. apples and spheres.  Note too that the &%range of this &%Function is indefinite in much the way that &%ImmediateFutureFn and &%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."))

([SUMO148_00031] of BinaryPredicate
	(SUO-name "material")
	(documentation "(&%material ?SUBSTANCE ?OBJECT) means that \n?OBJECT is structurally made up in part of ?SUBSTANCE. This relation \nencompasses the concepts of 'composed of', 'made of', and 'formed of'.  \nFor example, plastic is a &%material of my computer monitor.  Compare \n&%part and its subrelations, viz &%component and &%piece."))

([SUMO148_00032] of BinaryPredicate
	(SUO-name "containsInformation")
	(documentation "A subrelation of &%represents.  This predicate relates a &%ContentBearingObject to the &%Proposition that is expressed by the &%ContentBearingObject. Examples include the relationships between a physical novel and its story and between a printed score and its musical content."))

([SUMO148_00033] of BinaryPredicate
	(SUO-name "property")
	(documentation "This &%Predicate holds between an instance of &%Entity and an instance of &%Attribute.  (property ?ENTITY ?ATTR) means that ?ENTITY has the &%Attribute ?ATTR."))

([SUMO148_00034] of AsymmetricRelation
	(SUO-name "attribute")
	(documentation "(&%attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a &%Attribute of ?OBJECT.  For example, (&%attribute &%MyLittleRedWagon &%Red)."))

([SUMO148_00035] of AsymmetricRelation
	(SUO-name "attribute")
	(documentation "(&%attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a &%Attribute of ?OBJECT.  For example, (&%attribute &%MyLittleRedWagon &%Red)."))

([SUMO148_00036] of BinaryPredicate
	(SUO-name "greaterThan")
	(documentation "(&%greaterThan ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is greater than the &%Quantity ?NUMBER2."))

([SUMO148_00037] of BinaryPredicate
	(SUO-name "lessThanOrEqualTo")
	(documentation "(&%lessThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is less than or equal to the &%Quantity ?NUMBER2."))

([SUMO148_00038] of BinaryPredicate
	(SUO-name "greaterThanOrEqualTo")
	(documentation "(&%greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is greater than the &%Quantity ?NUMBER2."))

([SUMO148_00039] of CaseRole
	(SUO-name "agent")
	(documentation "(&%agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant, either animate or inanimate, of the &%Process ?PROCESS, with or without voluntary intention.  For example, water is the &%agent of erosion in the following proposition:  the water eroded the coastline.  For another example, Eve is an &%agent in the following proposition: Eve bit an apple."))

([SUMO148_00040] of CaseRole
	(SUO-name "destination")
	(documentation "(destination ?PROCESS ?GOAL) means that ?GOAL is the target or goal of the Process ?PROCESS.  For example, Danbury would be the destination in the following proposition:  Bob went to Danbury.  Note that this is a very general &%CaseRole and, in particular, that it covers the concepts of 'recipient' and 'beneficiary'.  Thus, John would be the &%destination in the following proposition:  Tom gave a book to John."))

([SUMO148_00041] of CaseRole
	(SUO-name "experiencer")
	(documentation "(&%experiencer ?PROCESS ?AGENT) means that ?AGENT experiences the &%Process ?PROCESS.  For example, Yojo is the &%experiencer of seeing in the following proposition:  Yojo sees the fish.  Note that &%experiencer, unlike &%agent, does not entail a causal relation between its arguments."))

([SUMO148_00042] of CaseRole
	(SUO-name "origin")
	(documentation "(&%origin ?PROCESS ?SOURCE) means that ?SOURCE indicates where the ?Process began.  Note that this relation implies that ?SOURCE is present at the beginning of the process, but need not participate throughout the process.  For example, the submarine is the &%origin in the following proposition: the missile was launched from a submarine."))

([SUMO148_00043] of CaseRole
	(SUO-name "patient")
	(documentation "(&%patient ?PROCESS ?ENTITY) means that ?ENTITY is a participant in ?PROCESS that may be moved, said, experienced, etc.  For example, the direct objects in the sentences 'The cat swallowed the canary' and 'Billy likes the beer' would be examples of &%patients.  Note that the &%patient of a &%Process may or may not undergo structural change as a result of the &%Process.  The &%CaseRole of &%patient is used when one wants to specify as broadly as possible the object of a &%Process."))

([SUMO148_00044] of ProbabilityRelation
	(SUO-name "ProbabilityFn")
	(documentation "One of the basic &%ProbabilityRelations, &%ProbabilityFn is used to state the a priori probability of a state of affairs.  (&%ProbabilityFn ?FORMULA) denotes the a priori probability of ?FORMULA."))

([SUMO148_00045] of ProbabilityRelation
	(SUO-name "conditionalProbability")
	(documentation "One of the basic &%ProbabilityRelations.  &%conditionalProbability is used to state the numeric value of a conditional probability.  (&%conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER) means that the probability of ?FORMULA2 being true given that ?FORMULA1 is true is ?NUMBER."))

([SUMO148_00046] of ProbabilityRelation
	(SUO-name "increasesLikelihood")
	(documentation "One of the basic &%ProbabilityRelations.  (&%increasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is more likely to be true if ?FORMULA1 is true."))

([SUMO148_00047] of ProbabilityRelation
	(SUO-name "decreasesLikelihood")
	(documentation "One of the basic &%ProbabilityRelations.  (&%decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true."))

([SUMO148_00048] of ProbabilityRelation
	(SUO-name "independentProbability")
	(documentation "One of the basic &%ProbabilityRelations.  (&%independentProbability ?FORMULA1 ?FORMULA2) means that the probabilities of ?FORMULA1 and ?FORMULA2 being true are independent."))

([SUMO148_00049] of TernaryPredicate
	(SUO-name "prefers")
	(documentation "(&%prefers ?AGENT ?FORMULA1 ?FORMULA2) means that &%CognitiveAgent ?AGENT prefers the state of affairs expressed by ?FORMULA1over the state of affairs expressed by ?FORMULA2 all things being equal."))

([SUMO148_00050] of BinaryPredicate
	(SUO-name "inScopeOfInterest")
	(documentation "A very general &%Predicate.  (&%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."))

([SUMO148_00051] of ObjectAttitude
	(SUO-name "notices")
	(documentation "(&%notices ?AGENT ?OBJECT) means that ?AGENT is paying attention to ?OBJECT, that ?OBJECT is currently the object of ?AGENT's conscious awareness."))

([SUMO148_00052] of ObjectAttitude
	(SUO-name "needs")
	(documentation "(&%needs ?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?AGENT."))

([SUMO148_00053] of ObjectAttitude
	(SUO-name "wants")
	(documentation "(&%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."))

([SUMO148_00054] of PropositionalAttitude
	(SUO-name "desires")
	(documentation "(&%desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA.  Note that there is no implication that what is desired by the agent is not already true.  Note too that &%desires is distinguished from &%wants only in that the former is a &%PropositionalAttitude, while &%wants is an &%ObjectAttitude."))

([SUMO148_00055] of PropositionalAttitude
	(SUO-name "considers")
	(documentation "(&%considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA."))

([SUMO148_00056] of PropositionalAttitude
	(SUO-name "believes")
	(documentation "The epistemic predicate of belief.  (&%believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA."))

([SUMO148_00057] of PropositionalAttitude
	(SUO-name "knows")
	(documentation "The epistemic predicate of knowing.  (&%knows ?AGENT ?FORMULA) means that ?AGENT knows the proposition expressed by ?FORMULA.  Note that &%knows entails conscious awareness, so this &%Predicate cannot be used to express tacit or subconscious or unconscious knowledge."))

([SUMO148_00058] of BinaryFunction
	(SUO-name "ListOrderFn")
	(documentation "(&%ListOrderFn ?LIST ?NUMBER) denotes the item that is in the ?NUMBER position in the &%List ?LIST.  For example, (&%ListOrderFn (&%ListFn &%Monday &%Tuesday &%Wednesday) 2) would return the value &%Tuesday."))

([SUMO148_00059] of UnaryFunction
	(SUO-name "ListLengthFn")
	(documentation "A &%Function that takes a &%List as its sole argument and returns the number of items in the &%List.  For example, (&%ListLengthFn (&%ListFn &%Monday &%Tuesday &%Wednesday)) would return the value 3."))

([SUMO148_00060] of BinaryFunction
	(SUO-name "ListConcatenateFn")
	(documentation "A &%Function that returns the concatenation of the two &%Lists that are given as arguments.  For example, the value of (&%ListConcatenateFn (&%ListFn &%Monday &%Tuesday) (&%ListFn &%Wednesday &%Thursday)) would be (&%ListFn &%Monday &%Tuesday &%Wednesday &%Thursday)."))

([SUMO148_00061] of BinaryPredicate
	(SUO-name "inList")
	(documentation "The analog of &%element and &%instance for &%Lists.  (&%inList ?OBJ ?LIST) means that ?OBJ is in the &%List ?LIST.  For example, (&%inList &%Tuesday (&%ListFn &%Monday &%Tuesday &%Wednesday)) would be true."))

([SUMO148_00062] of BinaryPredicate
	(SUO-name "subList")
	(documentation "(&%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 &%Lists have the same order in both &%Lists."))

([SUMO148_00063] of BinaryPredicate
	(SUO-name "closedOn")
	(documentation "A &%BinaryFunction is closed on a &%SetOrClass if it is defined for all instances of the &%SetOrClass and its value is always an instance of the &%SetOrClass."))

([SUMO148_00064] of BinaryPredicate
	(SUO-name "reflexiveOn")
	(documentation "A &%BinaryRelation is reflexive on a &%SetOrClass only if every instance of the &%SetOrClass bears the relation to itself."))

([SUMO148_00065] of BinaryPredicate
	(SUO-name "irreflexiveOn")
	(documentation "A &%BinaryRelation is irreflexive on a &%SetOrClass only if no instance of the &%SetOrClass bears the relation to itself."))

([SUMO148_00066] of BinaryPredicate
	(SUO-name "partialOrderingOn")
	(documentation "A &%BinaryRelation is a partial ordering on a &%SetOrClass only if the relation is &%reflexiveOn the &%SetOrClass, and it is both an &%AntisymmetricRelation, and a &%TransitiveRelation."))

([SUMO148_00067] of BinaryPredicate
	(SUO-name "totalOrderingOn")
	(documentation "A &%BinaryRelation ?REL is a total ordering on a &%SetOrClass only if it is a partial ordering for which either (?REL ?INST1 ?INST2) or (?REL ?INST2 ?INST1) for every ?INST1 and ?INST2 in the &%SetOrClass."))

([SUMO148_00068] of BinaryPredicate
	(SUO-name "trichotomizingOn")
	(documentation "A &%BinaryRelation ?REL is trichotomizing on a &%SetOrClass only if, for all instances ?INST1 and ?INST2 of the &%SetOrClass, at least one of the following holds:  (?REL ?INST1 ?INST2),(?REL ?INST2 ?INST1) or (equal ?INST1 ?INST2)."))

([SUMO148_00069] of BinaryPredicate
	(SUO-name "equivalenceRelationOn")
	(documentation "A &%BinaryRelation is an &%equivalenceRelationOn a &%SetOrClass only if the relation is &%reflexiveOn the &%SetOrClass and it is both a &%TransitiveRelation and a &%SymmetricRelation."))

([SUMO148_00070] of BinaryPredicate
	(SUO-name "distributes")
	(documentation "A &%BinaryFunction ?FUNCTION1 is distributive over another &%BinaryFunction ?FUNCTION2 just in case (?FUNCTION1 ?INST1 (?FUNCTION2 ?INST2 ?INST3)) is equal to (?FUNCTION2 (?FUNCTION1 ?INST1 ?INST2) (?FUNCTION1 ?INST1 ?INST3)), for all ?INST1, ?INST2, and ?INST3."))

([SUMO148_00071] of BinaryPredicate
	(SUO-name "causes")
	(documentation "The causation relation between instances of &%Process.  (&%causes ?PROCESS1 ?PROCESS2) means that the instance of &%Process ?PROCESS1 brings about the instance of &%Process ?PROCESS2, e.g. (&%causes &%Killing &%Death)."))

([SUMO148_00072] of BinaryPredicate
	(SUO-name "copy")
	(documentation "relates an &%Object to an exact copy of the &%Object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/or temporal location."))

([SUMO148_00073] of BinaryPredicate
	(SUO-name "time")
	(documentation "This relation holds between an instance of &%Physical and an instance of &%TimePosition just in case the temporal lifespan of the former includes the latter.  The constants &%located and &%time are the basic spatial and temporal predicates, respectively."))

([SUMO148_00074] of BinaryPredicate
	(SUO-name "holdsDuring")
	(documentation "(&%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 &%TimePoint which is a &%temporalPart of ?TIME."))

([SUMO148_00075] of TernaryPredicate
	(SUO-name "capability")
	(documentation "(&%capability ?PROCESS ?ROLE ?OBJ) means \nthat ?OBJ has the ability to play the role of ?ROLE in &%Processes of \ntype ?PROCESS."))

([SUMO148_00076] of BinaryPredicate
	(SUO-name "hasPurpose")
	(documentation "This &%Predicate expresses the concept of a conventional goal, i.e. a goal with a neutralized agent's intention.  Accordingly, (&%hasPurpose ?THING ?FORMULA) means that the instance of &%Physical ?THING has, as its purpose, the &%Proposition expressed by ?FORMULA.  Note that there is an important difference in meaning between the &%Predicates &%hasPurpose and &%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."))

([SUMO148_00077] of TernaryPredicate
	(SUO-name "hasPurposeForAgent")
	(documentation "Expresses a cognitive attitude of an agent with respect to a particular instance of Physical.  More precisely, (&%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 &%Predicate."))

([SUMO148_00078] of BinaryPredicate
	(SUO-name "hasSkill")
	(documentation "Similar to the &%capability &%Predicate \nwith the additional restriction that the ability be practised/\ndemonstrated to some measurable degree."))

([SUMO148_00079] of BinaryPredicate
	(SUO-name "holdsRight")
	(documentation "Expresses a relationship between a &%Formula and a &%CognitiveAgent whereby the &%CognitiveAgent has the right to bring it about that the &%Formula is true."))

([SUMO148_00080] of TernaryPredicate
	(SUO-name "confersRight")
	(documentation "Expresses the relationship between a &%Formula, an &%Entity, and a &%CognitiveAgent when the &%Entity authorizes the &%CognitiveAgent to bring it about that the &%Formula is true."))

([SUMO148_00081] of BinaryPredicate
	(SUO-name "holdsObligation")
	(documentation "Expresses a relationship between a &%Formula and a &%CognitiveAgent whereby the &%CognitiveAgent has the obligation to bring it about that the &%Formula is true."))

([SUMO148_00082] of TernaryPredicate
	(SUO-name "confersObligation")
	(documentation "Expresses the relationship between a a &%Formula, an &%Entity, and a &%CognitiveAgent when the &%Entity obligates the &%CognitiveAgent to bring it about that the &%Formula is true."))

([SUMO148_00083] of PartialOrderingRelation
	(SUO-name "located")
	(documentation "A very general predicate.  (&%located ?PHYS ?OBJ) means that ?PHYS is situated at ?OBJ, in some sense.  The &%Predicates &%located and &%time are spatial and temporal predicates, respectively."))

([SUMO148_00084] of SpatialRelation
	(SUO-name "partlyLocated")
	(documentation "The predicate of partial localization.  For example, Istanbul is partly located in Asia.  Note that this is the most basic localization relation:  &%located and &%exactlyLocated are both subrelations of &%partlyLocated."))

([SUMO148_00085] of SpatialRelation
	(SUO-name "between")
	(documentation "(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."))

([SUMO148_00086] of SpatialRelation
	(SUO-name "traverses")
	(documentation "(&%traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2.  Note that &%crosses and &%penetrates are subrelations of &%traverses."))

([SUMO148_00087] of BinaryFunction
	(SUO-name "WhereFn")
	(documentation "Maps an &%Object and a &%TimePoint at which the &%Object exists to the &%Region where the &%Object existed at that &%TimePoint."))

([SUMO148_00088] of BinaryPredicate
	(SUO-name "possesses")
	(documentation "&%Relation that holds between an &%Agent and an &%Object when the &%Agent has ownership of the &%Object."))

([SUMO148_00089] of UnaryFunction
	(SUO-name "PropertyFn")
	(documentation "A &%UnaryFunction that maps an &%Agent to the &%Set of &%Property owned by the &%Agent."))

([SUMO148_00090] of BinaryPredicate
	(SUO-name "refers")
	(documentation "(&%refers ?OBJ1 ?OBJ2) means that ?OBJ1 mentions or includes a reference to ?OBJ2. Note that &%refers is more general in meaning than &%represents, because presumably something can represent something else only if it refers to this other thing.  For example, an article whose topic is a recent change in the price of oil may refer to many other things, e.g. the general state of the economy, the weather in California, the prospect of global warming, the options for alternative energy sources, the stock prices of various oil companies, etc."))

([SUMO148_00091] of TernaryPredicate
	(SUO-name "representsForAgent")
	(documentation "A very general predicate.  (&%representsForAgent ?THING ?ENTITY ?AGENT) means that the ?AGENT chooses to use the &%instance of &%Physical ?THING to 'stand for' ?ENTITY."))

([SUMO148_00092] of TernaryPredicate
	(SUO-name "representsInLanguage")
	(documentation "A very general predicate.  (&%representsInLanguage ?THING ?ENTITY ?LANGUAGE) means that the &%instance of &%Physical ?THING stands for ?ENTITY in the language ?LANGUAGE."))

([SUMO148_00093] of BinaryPredicate
	(SUO-name "subsumesContentInstance")
	(documentation "A &%BinaryPredicate relating two instances of &%ContentBearingObject.  (&%subsumesContentInstance ?OBJ1 ?OBJ2) means that the content expressed by ?OBJ2 is part of the content expressed by ?OBJ1.  An example is the relationship between a handwritten poem and one of its stanzas.  Note that this is a relation between instances, rather than &%Classes.  If one wants to assert a content relationship between &%Classes, e.g. between the version of an intellectual work and a part of that work, the relation &%subsumesContentClass should be used."))

([SUMO148_00094] of BinaryPredicate
	(SUO-name "expressedInLanguage")
	(documentation "(&%expressedInLanguage ?EXPRESS ?LANG) means that ?EXPRESS is expressed in &%Language ?LANG."))

([SUMO148_00095] of BinaryPredicate
	(SUO-name "subProposition")
	(documentation "(&%subProposition ?PROP1 ?PROP2) means that ?PROP1 is a &%Proposition which is a proper part of the &%Proposition ?PROP2.  In other words, &%subProposition is the analogue of &%properPart for chunks of abstract content."))

([SUMO148_00096] of BinaryPredicate
	(SUO-name "uses")
	(documentation "(&%uses ?OBJECT AGENT) means that ?OBJECT is used by ?AGENT as an instrument in an unspecified &%Process.  This &%Predicate, as its corresponding axiom indicates, is a composition of the &%CaseRoles &%agent and &%instrument."))

([SUMO148_00097] of BinaryFunction
	(SUO-name "MultiplicationFn")
	(documentation "If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%MultiplicationFn ?NUMBER1 ?NUMBER2) is the arithmetical product of these numbers."))

([SUMO148_00098] of BinaryFunction
	(SUO-name "AdditionFn")
	(documentation "If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers."))

([SUMO148_00099] of BinaryFunction
	(SUO-name "SubtractionFn")
	(documentation "If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%SubtractionFn ?NUMBER1 ?NUMBER2) is the arithmetical difference between ?NUMBER1 and ?NUMBER2, i.e. ?NUMBER1 minus ?NUMBER2.  An exception occurs when ?NUMBER1 is equal to 0, in which case (&%SubtractionFn ?NUMBER1 ?NUMBER2) is the negation of ?NUMBER2."))

([SUMO148_00100] of BinaryFunction
	(SUO-name "DivisionFn")
	(documentation "If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%DivisionFn ?NUMBER1 ?NUMBER2) is the result of dividing ?NUMBER1 by ?NUMBER2.  An exception occurs when ?NUMBER1 = 1, in which case (&%DivisionFn ?NUMBER1 ?NUMBER2) is the reciprocal of ?NUMBER2."))

([SUMO148_00101] of UnaryFunction
	(SUO-name "AbsoluteValueFn")
	(documentation "The value of (&%AbsoluteValueFn ?NUMBER) is the absolute value of the &%RealNumber ?NUMBER."))

([SUMO148_00102] of UnaryFunction
	(SUO-name "CeilingFn")
	(documentation "(&%CeilingFn ?NUMBER) returns the smallest \n&%Integer greater than or equal to the &%RealNumber ?NUMBER."))

([SUMO148_00103] of BinaryFunction
	(SUO-name "ExponentiationFn")
	(documentation "(&%ExponentiationFn ?NUMBER ?INT) returns the &%RealNumber ?NUMBER raised to the power of the &%Integer ?INT."))

([SUMO148_00104] of UnaryFunction
	(SUO-name "FloorFn")
	(documentation "(&%FloorFn ?NUMBER) returns the largest &%Integer less than or equal to the &%RealNumber ?NUMBER."))

([SUMO148_00105] of UnaryFunction
	(SUO-name "ImaginaryPartFn")
	(documentation "(&%ImaginaryPartFn ?NUMBER) returns the part of ?NUMBER that has the square root of -1 as its factor."))

([SUMO148_00106] of UnaryFunction
	(SUO-name "IntegerSquareRootFn")
	(documentation "(&%IntegerSquareRootFn ?NUMBER) returns the integer square root of ?NUMBER."))

([SUMO148_00107] of BinaryFunction
	(SUO-name "LogFn")
	(documentation "(LogFn ?NUMBER ?INT) returns the logarithm of the &%RealNumber ?NUMBER in the base denoted by the &%Integer ?INT."))

([SUMO148_00108] of BinaryFunction
	(SUO-name "MaxFn")
	(documentation "(&%MaxFn ?NUMBER1 ?NUMBER2) is the largest of ?NUMBER1 and ?NUMBER2.  In cases where ?NUMBER1 is equal to ?NUMBER2, &%MaxFn returns one of its arguments."))

([SUMO148_00109] of BinaryFunction
	(SUO-name "MinFn")
	(documentation "(&%MinFn ?NUMBER1 ?NUMBER2) is the smallest of ?NUMBER1 and ?NUMBER2.  In cases where ?NUMBER1 is equal to ?NUMBER2, &%MinFn returns one of its arguments."))

([SUMO148_00110] of UnaryFunction
	(SUO-name "NumeratorFn")
	(documentation "(&%NumeratorFn ?NUMBER) returns the numerator of the canonical reduced form ?NUMBER."))

([SUMO148_00111] of UnaryFunction
	(SUO-name "RationalNumberFn")
	(documentation "(&%RationalNumberFn ?NUMBER) returns the rational representation of ?NUMBER."))

([SUMO148_00112] of UnaryFunction
	(SUO-name "RealNumberFn")
	(documentation "(RealNumberFn ?NUMBER) returns the part of ?NUMBER that is a &%RealNumber."))

([SUMO148_00113] of UnaryFunction
	(SUO-name "ReciprocalFn")
	(documentation "(ReciprocalFn ?NUMBER) is the reciprocal element of ?NUMBER with respect to the multiplication operator (&%MultiplicationFn), i.e. 1/?NUMBER.  Not all numbers have a reciprocal element.  For example the number 0 does not.  If a number ?NUMBER has a reciprocal ?RECIP, then the product of ?NUMBER and ?RECIP will be 1, e.g. 3*1/3 = 1.  The reciprocal of an element is &%equal to applying the &%ExponentiationFn function to the element to the power -1."))

([SUMO148_00114] of BinaryFunction
	(SUO-name "RemainderFn")
	(documentation "(RemainderFn ?NUMBER ?DIVISOR) is the remainder of the number ?NUMBER divided by the number ?DIVISOR.  The result has the same sign as ?DIVISOR."))

([SUMO148_00115] of UnaryFunction
	(SUO-name "RoundFn")
	(documentation "(&%RoundFn ?NUMBER) is the &%Integer closest to ?NUMBER on the number line.  If ?NUMBER is halfway between two &%Integers (for example 3.5), it denotes the larger &%Integer."))

([SUMO148_00116] of UnaryFunction
	(SUO-name "SignumFn")
	(documentation "(SignumFn ?NUMBER) denotes the sign of ?NUMBER.  This is one of the following values:  -1, 1, or 0."))

([SUMO148_00117] of UnaryFunction
	(SUO-name "SineFn")
	(documentation "(&%SineFn ?DEGREE) is the sine of the &%PlaneAngleMeasure ?DEGREE.  The sine of ?DEGREE is the ratio of the side opposite ?DEGREE to the hypotenuse in a right-angled triangle."))

([SUMO148_00118] of UnaryFunction
	(SUO-name "SquareRootFn")
	(documentation "(SquareRootFn ?NUMBER) is the principal square root of ?NUMBER."))

([SUMO148_00119] of UnaryFunction
	(SUO-name "TangentFn")
	(documentation "(&%TangentFn ?DEGREE) is the tangent of the &%PlaneAngleMeasure ?DEGREE.  The tangent of ?DEGREE is the ratio of the side opposite ?DEGREE to the side next to ?DEGREE in a right-angled triangle."))

([SUMO148_00120] of BinaryPredicate
	(SUO-name "identityElement")
	(documentation "An object ?ID is the identity element for BinaryFunction ?FUNCTION just in case, for every instance ?INST, applying ?FUNCTION to ?INST and ?ID results in ?INST."))

([SUMO148_00121] of UnaryFunction
	(SUO-name "SuccessorFn")
	(documentation "A &%UnaryFunction that maps an &%Integer to its successor, e.g. the successor of 5 is 6."))

([SUMO148_00122] of UnaryFunction
	(SUO-name "PredecessorFn")
	(documentation "A &%UnaryFunction that maps an &%Integer to its predecessor, e.g. the predecessor of 5 is 4."))

([SUMO148_00123] of BinaryPredicate
	(SUO-name "element")
	(documentation "(element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the &%Set ?SET.  An &%Entity can be an &%element of another &%Entity only if the latter is a &%Set."))

([SUMO148_00124] of BinaryFunction
	(SUO-name "UnionFn")
	(documentation "A &%BinaryFunction that maps two &%SetOrClasses to the union of these &%SetOrClasses.  An object is an &%element of the union of two &%SetOrClasses just in case it is an &%instance of either &%SetOrClass."))

([SUMO148_00125] of BinaryFunction
	(SUO-name "IntersectionFn")
	(documentation "A &%BinaryFunction that maps two %SetOrClasses to the intersection of these &%SetOrClasses.  An object is an instance of the intersection of two &%SetOrClasses just in case it is an instance of both of those &%SetOrClasses."))

([SUMO148_00126] of BinaryFunction
	(SUO-name "RelativeComplementFn")
	(documentation "A &%BinaryFunction that maps two &%SetOrClasses to the difference between these &%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 &%ComplementFn of C2."))

([SUMO148_00127] of UnaryFunction
	(SUO-name "ComplementFn")
	(documentation "The complement of a given &%SetOrClass C is the &%SetOrClass of all things that are not instances of C.  In other words, an object is an instance of the complement of a &%SetOrClass C just in case it is not an instance of C."))

([SUMO148_00128] of UnaryFunction
	(SUO-name "CardinalityFn")
	(documentation "(CardinalityFn ?CLASS) returns the number of instances in the &%SetOrClass or &%Collection ?CLASS."))

([SUMO148_00129] of BinaryFunction
	(SUO-name "KappaFn")
	(documentation "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 &%KappaFn to a variable and a formula is the &%SetOrClass of things that satisfy the formula.  For example, we can denote the &%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."))

([SUMO148_00130] of TernaryPredicate
	(SUO-name "links")
	(documentation "a &%TernaryPredicate that specifies the &%GraphArc connecting two &%GraphNodes."))

([SUMO148_00131] of BinaryPredicate
	(SUO-name "graphPart")
	(documentation "A basic relation for &%Graphs and their parts.  (&%graphPart ?PART ?GRAPH) means that ?PART is a &%GraphArc or &%GraphNode of the &%Graph ?GRAPH."))

([SUMO148_00132] of BinaryPredicate
	(SUO-name "subGraph")
	(documentation "The relation between two &%Graphs when one &%Graph is a part of the other.  (&%subGraph ?GRAPH1 ?GRAPH2) means that ?GRAPH1 is a part of ?GRAPH2."))

([SUMO148_00133] of BinaryPredicate
	(SUO-name "pathLength")
	(documentation "A &%BinaryPredicate that specifies the length (in number of &%GraphNodes) of a &%GraphPath.(&%pathLength ?PATH ?NUMBER) means that there are ?NUMBER nodes in the &%GraphPath ?PATH."))

([SUMO148_00134] of UnaryFunction
	(SUO-name "InitialNodeFn")
	(documentation "A &%UnaryFunction that maps a &%GraphArc to the initial node of the &%GraphArc.  Notethat this is a partial function.  In particular, the function is undefined for &%GraphArcs that are not part of a &%DirectedGraph."))

([SUMO148_00135] of UnaryFunction
	(SUO-name "TerminalNodeFn")
	(documentation "A &%UnaryFunction that maps a &%GraphArc to the terminal node of the &%GraphArc.  Note that this is a partial function.  In particular, the function is undefined for &%GraphArcs that are not part of a &%DirectedGraph."))

([SUMO148_00136] of UnaryFunction
	(SUO-name "BeginNodeFn")
	(documentation "A &%UnaryFunction that maps a &%GraphPath to the &%GraphNode that is the beginning of the &%GraphPath.  Note that, unlike &%InitialNodeFn (which relates a &%GraphArc to a &%GraphNode),  &%BeginNodeFn is a total function - every &%GraphPath has a beginning."))

([SUMO148_00137] of UnaryFunction
	(SUO-name "EndNodeFn")
	(documentation "A &%UnaryFunction that maps a &%GraphPath to the &%GraphNode that is the end of the &%GraphPath.  Note that, unlike &%TerminalNodeFn (which relates a &%GraphArc to a &%GraphNode),  &%EndNodeFn is a total function - every &%GraphPath has a end."))

([SUMO148_00138] of BinaryPredicate
	(SUO-name "arcWeight")
	(documentation "This predicate indicates the value of a &%GraphArc in a &%Graph.  This could map to the length of a road in a road network or the flow rate of a pipe in a plumbing system."))

([SUMO148_00139] of UnaryFunction
	(SUO-name "PathWeightFn")
	(documentation "A &%UnaryFunction that maps a &%GraphPath to the sum of the &%arcWeights on the &%GraphArcs in the &%GraphPath."))

([SUMO148_00140] of BinaryFunction
	(SUO-name "MinimalWeightedPathFn")
	(documentation "This &%BinaryFunction assigns two &%GraphNodes to the &%GraphPath with the smallest sum of weighted arcs between the two &%GraphNodes."))

([SUMO148_00141] of BinaryFunction
	(SUO-name "MaximalWeightedPathFn")
	(documentation "This &%BinaryFunction assigns two &%GraphNodes to the &%GraphPath with the largest sum of weighted arcs between the two &%GraphNodes."))

([SUMO148_00142] of BinaryFunction
	(SUO-name "GraphPathFn")
	(documentation "A &%BinaryFunction that maps two &%GraphNodes to the &%Class of &%GraphPaths between those two nodes.  Note that the two &%GraphNodes must belong to the same &%Graph."))

([SUMO148_00143] of UnaryFunction
	(SUO-name "CutSetFn")
	(documentation "A &%UnaryFunction that assigns a &%Graph the &%Class of &%GraphPaths that partition the graph into two separate graphs if cut.  There may be more than one cutset for a given graph."))

([SUMO148_00145] of UnaryFunction
	(SUO-name "MinimalCutSetFn")
	(documentation "A &%UnaryFunction that assigns a &%Graph the &%Class of &%GraphPaths which comprise cutsets for the &%Graph and which have the least number of &%GraphArcs."))

([SUMO148_00146] of BinaryFunction
	(SUO-name "MeasureFn")
	(documentation "This &%BinaryFunction maps a &%RealNumber and a &%UnitOfMeasure to that &%Number of units.  It is used for expressing &%ConstantQuantities.  For example, the concept of three meters is represented as (&%MeasureFn 3 &%Meter)."))

([SUMO148_00147] of UnaryFunction
	(SUO-name "KiloFn")
	(documentation "A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to 1,000 units of the original &%UnitOfMeasure.  For example, (&%KiloFn &%Gram) is 1,000 &%Grams."))

([SUMO148_00148] of UnaryFunction
	(SUO-name "MegaFn")
	(documentation "A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to 1,000,000 units of the original &%UnitOfMeasure.  For example, (&%KiloFn &%Hertz) is 1,000,000 &%Hertz."))

([SUMO148_00149] of UnaryFunction
	(SUO-name "GigaFn")
	(documentation "A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to 1,000,000,000 units of the original &%UnitOfMeasure.  For example, (&%GigaFn &%Hertz) is 1,000,000,000 &%Hertz."))

([SUMO148_00150] of UnaryFunction
	(SUO-name "TeraFn")
	(documentation "A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to 1,000,000,000,000 units of the original &%UnitOfMeasure.  For example, (&%TeraFn &%Hertz) is 1,000,000,000,000 &%Hertz."))

([SUMO148_00151] of UnaryFunction
	(SUO-name "MilliFn")
	(documentation "A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to .001 units of the original &%UnitOfMeasure.  For example, (&%MilliFn &%Ampere) is .001 &%Amperes."))

([SUMO148_00152] of UnaryFunction
	(SUO-name "MicroFn")
	(documentation "A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to .000001 units of the original &%UnitOfMeasure.  For example, (&%MicroFn &%Meter) is .000001 &%Meters."))

([SUMO148_00153] of UnaryFunction
	(SUO-name "NanoFn")
	(documentation "A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to .000000001 units of the original &%UnitOfMeasure.  For example, (&%MicroFn &%SecondDuration) is .000000001 &%SecondDurations."))

([SUMO148_00154] of UnaryFunction
	(SUO-name "PicoFn")
	(documentation "A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to .000000000001 units of the original &%UnitOfMeasure.  For example, (&%PicoFn &%Ampere) is .000000000001 &%Amperes."))

([SUMO148_00155] of BinaryFunction
	(SUO-name "IntervalFn")
	(documentation "A &%BinaryFunction that maps two &%ConstantQuantities to the &%Class of &%ConstantQuantities that comprise the interval from the first &%ConstantQuantity to the second &%ConstantQuantity.  For example, (&%IntervalFn (&%MeasureFn 8 &%Meter) (&%MeasureFn 14 &%Meter)) would return the &%Class of &%ConstantQuantities between 8 and 14 meters in length."))

([SUMO148_00156] of UnaryFunction
	(SUO-name "MagnitudeFn")
	(documentation "The magnitude of a &%ConstantQuantity is the numeric value for the quantity.  In other words, &%MagnitudeFn converts a &%ConstantQuantity with an associated &%UnitOfMeasure into an ordinary &%RealNumber.  For example, the magnitude of the &%ConstantQuantity 2 &%Kilometers is the &%RealNumber 2.   Note that the magnitude of a quantity in a given unit times that unit is equal to the original quantity."))

([SUMO148_00157] of BinaryFunction
	(SUO-name "PerFn")
	(documentation "&%PerFn maps two instances of &%ConstantQuantity to the &%FunctionQuantity composed of these two instances.  For example, (&%PerFn (&%MeasureFn 2 (&%MicroFn &%Gram)) (&%MeasureFn 1 (&%KiloFn &%Gram))) denotes the &%FunctionQuantity of 2 micrograms per kiogram.  This function is useful, because it allows the knowledge engineer to dynamically generate instances of &%FunctionQuantity."))

([SUMO148_00158] of QuaternaryFunction
	(SUO-name "VelocityFn")
	(documentation "Specifies the velocity of an object, i.e. the speed and the direction of the speed.  For example (&%VelocityFn (&%MeasureFn 55 &%Mile) (&%MeasureFn 2 &%HourDuration) ?REFERENCE &%North) denotes the velocity of 55 miles per hour North of the given reference point ?REFERENCE."))

([SUMO148_00159] of BinaryPredicate
	(SUO-name "measure")
	(documentation "A very general &%Predicate for asserting that a particular &%Object is measured by a particular &%ConstantQuantity.  In general, the second argument of this &%Predicate will be an instance of the &%Function &%MeasureFn."))

([SUMO148_00160] of SingleValuedRelation
	(SUO-name "age")
	(documentation "Simply relates an &%Object to a &%ConstantQuantity \nspecifying the age of the &%Object."))

([SUMO148_00161] of BinaryPredicate
	(SUO-name "length")
	(documentation "&%BinaryPredicate that is used to state the measure of an &%Object from one point to another point along its surface.  Note that the difference between the predicates &%length and &%distance is that the &%length is used to state the &%LengthMeasure of one of the dimensions of a single object, while &%distance is used to state the &%LengthMeasure that separates two distinct objects."))

([SUMO148_00162] of SingleValuedRelation
	(SUO-name "distance")
	(documentation "(&%distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT.  Note that the difference between the predicates &%length and &%distance is that the &%length is used to state the &%LengthMeasure of one of the dimensions of a single object, while &%distance is used to state the &%LengthMeasure that separates two distinct objects."))

([SUMO148_00163] of BinaryPredicate
	(SUO-name "larger")
	(documentation "(&%larger ?OBJ1 ?OBJ2) simply means that ?OBJ1 is larger, with respect to all &%LengthMeasures, than ?OBJ2."))

([SUMO148_00164] of BinaryPredicate
	(SUO-name "smaller")
	(documentation "(&%smaller ?OBJ1 ?OBJ2) simply means that ?OBJ1 is smaller, with respect to all &%LengthMeasures, than ?OBJ2."))

([SUMO148_00165] of SingleValuedRelation
	(SUO-name "monetaryValue")
	(documentation "A &%BinaryPredicate that associates an &%Object with its value expressed as an instance of &%CurrencyMeasure."))

([SUMO148_00166] of UnaryFunction
	(SUO-name "WealthFn")
	(documentation "A &%UnaryFunction that maps an &%Agent to a &%CurrencyMeasure specifying the value of the property owned by the &%Agent.  Note that this &%Function is generally used in conjunction with the &%Function &%PropertyFn, e.g. (&%WealthFn (&%PropertyFn BillGates)) would return the monetary value of the sum of Bill Gates' holdings."))

([SUMO148_00167] of BinaryPredicate
	(SUO-name "frequency")
	(documentation "(frequency ?PROC ?TIME) means that the \n&%Process type of ?PROC recurs after every interval of ?TIME."))

([SUMO148_00168] of BinaryPredicate
	(SUO-name "temporalPart")
	(documentation "The temporal analogue of the spatial &%part predicate.  (&%temporalPart ?POS1 ?POS2) means that &%TimePosition ?POS1 is part of &%TimePosition ?POS2.  Note that since &%temporalPart is a &%ReflexiveRelation every &%TimePostion is a &%temporalPart of itself."))

([SUMO148_00169] of TemporalRelation
	(SUO-name "BeginFn")
	(documentation "A &%UnaryFunction that maps a &%TimeInterval to the &%TimePoint at which the interval begins."))

([SUMO148_00170] of UnaryFunction
	(SUO-name "EndFn")
	(documentation "A &%UnaryFunction that maps a &%TimeInterval to the &%TimePoint at which the interval ends."))

([SUMO148_00171] of BinaryPredicate
	(SUO-name "starts")
	(documentation "(&%starts ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both &%TimeIntervals that have the same initial &%TimePoint and that ?INTERVAL1 ends before ?INTERVAL2."))

([SUMO148_00172] of BinaryPredicate
	(SUO-name "finishes")
	(documentation "(&%finishes ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both &%TimeIntervals that have the same ending &%TimePoint and that ?INTERVAL2 begins before ?INTERVAL1."))

([SUMO148_00173] of TemporalRelation
	(SUO-name "before")
	(documentation "(&%before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline."))

([SUMO148_00174] of BinaryPredicate
	(SUO-name "beforeOrEqual")
	(documentation "(&%beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline."))

([SUMO148_00175] of TemporalRelation
	(SUO-name "temporallyBetween")
	(documentation "(&%temporallyBetween ?POINT1 ?POINT2 ?POINT3) means that the &%TimePoint ?POINT2 is between the &%TimePoints ?POINT1 and ?POINT3, i.e. ?POINT1 is before ?POINT2 and ?POINT2 is before ?POINT3."))

([SUMO148_00176] of TemporalRelation
	(SUO-name "temporallyBetweenOrEqual")
	(documentation "(&%temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) means that the &%TimePoint ?POINT1 is before or equal to the &%TimePoint ?POINT2 and ?POINT2 is before or equal to the &%TimePoint ?POINT3."))

([SUMO148_00177] of BinaryPredicate
	(SUO-name "overlapsTemporally")
	(documentation "(&%overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the &%TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a &%TimeInterval as a common part."))

([SUMO148_00178] of BinaryPredicate
	(SUO-name "meetsTemporally")
	(documentation "(&%meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the &%TimeInterval ?INTERVAL1 is the initial point of the &%TimeInterval ?INTERVAL2."))

([SUMO148_00179] of BinaryPredicate
	(SUO-name "earlier")
	(documentation "(earlier INTERVAL1 INTERVAL2) means that INTERVAL1 ends before INTERVAL2 begins."))

([SUMO148_00180] of BinaryPredicate
	(SUO-name "cooccur")
	(documentation "(&%cooccur ?THING1 ?THING2) means that the &%Object or &%Process ?THING1 occurs at the same time as, together with, or jointly with the &%Object or &%Process ?THING2.  This covers the following temporal relations:  is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with."))

([SUMO148_00181] of BinaryFunction
	(SUO-name "TimeIntervalFn")
	(documentation "A &%BinaryFunction that takes two &%TimePoints as arguments and returns the &%TimeInterval defined by these two &%TimePoints.  Note that the first &%TimePoint must occur earlier than the second &%TimePoint."))

([SUMO148_00182] of TemporalRelation
	(SUO-name "WhenFn")
	(documentation "A &%UnaryFunction that maps an &%Object or &%Process to the exact &%TimeInterval during which it exists.  Note that, for every &%TimePoint ?TIME outside of the &%TimeInterval (WhenFn ?THING), (time ?THING ?TIME) does not hold."))

([SUMO148_00183] of TemporalRelation
	(SUO-name "PastFn")
	(documentation "A &%UnaryFunction that maps a &%TimePosition to the &%TimeInterval that meets it and that begins at &%NegativeInfinity."))

([SUMO148_00184] of TemporalRelation
	(SUO-name "ImmediatePastFn")
	(documentation "A &%UnaryFunction that maps a &%TimePosition to a short, indeterminate &%TimeInterval that immediately precedes the &%TimePosition."))

([SUMO148_00185] of TemporalRelation
	(SUO-name "FutureFn")
	(documentation "A &%UnaryFunction that maps a &%TimePosition to the &%TimeInterval which it meets and which ends at &%PositiveInfinity."))

([SUMO148_00186] of TemporalRelation
	(SUO-name "ImmediateFutureFn")
	(documentation "A &%UnaryFunction that maps a &%TimePosition to a short, indeterminate &%TimeInterval that immediately follows the &%TimePosition."))

([SUMO148_00187] of BinaryPredicate
	(SUO-name "date")
	(documentation "A &%BinaryPredicate that specifies a &%TimePosition in absolute calendar time, at the resolution of one day, for a particular &%Object or &%Process."))

([SUMO148_00188] of TemporalRelation
	(SUO-name "YearFn")
	(documentation "A &%UnaryFunction that maps a number to the corresponding calendar &%Year.  For example, (&%YearFn 1912) returns the &%Class containing just one instance, the year of 1912.  As might be expected, positive integers return years in the Common Era, while negative integers return years in B.C.E.  Note that this function returns a &%Class as a value.  The reason for this is that the related functions, viz. &%MonthFn, &%DayFn, &%HourFn, &%MinuteFn, and &%SecondFn, are used to generate both specific &%TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals."))

([SUMO148_00189] of TemporalRelation
	(SUO-name "DayFn")
	(documentation "A &%BinaryFunction that assigns a &%PositiveRealNumber and a subclass of &%Months to the &%Days within each &%Month corresponding to that &%PositiveRealNumber.  For example, (&%DayFn 16 &%August) is the &%Class of all sixteenth days of August.  For another example, (&%DayFn 9 &%Month) would return the class of all ninth days of any month.  For still another example, (&%DayFn 18 (&%MonthFn 8 (YearFn 1912))) denotes the 18th day of August 1912."))

([SUMO148_00190] of TemporalRelation
	(SUO-name "HourFn")
	(documentation "A &%BinaryFunction that assigns a &%PositiveRealNumber and a subclass of &%Days to the &%Hours within each &%Day corresponding to that &%PositiveRealNumber.  For example, (&%HourFn 12 &%Thursday) is the &%Class of all instances of noon Thursday.  For another example, (&%HourFn 24 &%Day) would return the class of all instances of midnight.  For still another example, (&%HourFn 14 (&%DayFn 18 (&%MonthFn 8 (YearFn 1912)))) denotes 2 PM on the 18th day of August 1912."))

([SUMO148_00191] of TemporalRelation
	(SUO-name "MinuteFn")
	(documentation "A &%BinaryFunction that assigns a &%PositiveRealNumber and a subclass of &%Hours to the &%Minutes within each &%Hour corresponding to that &%PositiveRealNumber.  For example, (&%MinuteFn 30 (&%HourFn 17 &%Day)) is the &%Class of all 5:30's in the afternoon.  For another example, (&%MinuteFn 15 &%Hour) would return the class of all instances of quarter past the hour.  For still another example, (&%MinuteFn 15 (&%HourFn 14 (&%DayFn 18 (&%MonthFn 8 (YearFn 1912))))) denotes 15 minutes after 2 PM on the 18th day of August 1912."))

([SUMO148_00192] of TemporalRelation
	(SUO-name "SecondFn")
	(documentation "A &%BinaryFunction that assigns a &%PositiveRealNumber and a subclass of &%Minutes to the &%Seconds within each &%Minute corresponding to that &%PositiveRealNumber.  For example, (&%SecondFn 4 (&%MinuteFn 5 &%Hour)) is the &%Class of all fourth &%Seconds of every fifth &%Minute of every hour.  For another example, (&%SecondFn 8 &%Minute) would return the eighth second of every minute.  For still another example, (&%SecondFn 9 (&%MinuteFn 15 (&%HourFn 14 (&%DayFn 18 (&%MonthFn 8 (YearFn 1912)))))) denotes 9 seconds and 15 minutes after 2 PM on the 18th day of August 1912."))

([SUMO148_00193] of TemporalRelation
	(SUO-name "TemporalCompositionFn")
	(documentation "The basic &%Function for expressing the composition of larger &%TimeIntervals out of smaller &%TimeIntervals.  For example, if &%ThisSeptember is an &%instance of &%September, (&%TemporalCompositionFn &%ThisSeptember &%Day) denotes the &%Class of consecutive days that make up &%ThisSeptember.  Note that one can obtain the number of instances of this &%Class by using the function &%CardinalityFn."))

([SUMO148_00194] of BinaryPredicate
	(SUO-name "connected")
	(documentation "(connected ?OBJ1 ?OBJ2) means that ?OBJ1 &%meetsSpatially ?OBJ2 or that ?OBJ1 &%overlapsSpatially ?OBJ2."))

([SUMO148_00195] of SpatialRelation
	(SUO-name "connects")
	(documentation "The relationship between three things, when one of the three things connects the other two.  More formally, (&%connects ?OBJ1 ?OBJ2 ?OBJ3) means that (&%connected ?OBJ1 ?OBJ2) and (&%connected ?OBJ1 ?OBJ3) and not (&%connected ?OBJ2 ?OBJ3)."))

([SUMO148_00196] of AsymmetricRelation
	(SUO-name "surface")
	(documentation "(&%surface ?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected &%superficialPart of ?OBJ2.  Note that some &%SelfConnectedObjects have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface."))

([SUMO148_00197] of SpatialRelation
	(SUO-name "MereologicalSumFn")
	(documentation "(&%MereologicalSumFn ?OBJ1 ?OBJ2) denotes the &%Object consisting of the parts which belong to either ?OBJ1 or ?OBJ2."))

([SUMO148_00198] of SpatialRelation
	(SUO-name "MereologicalProductFn")
	(documentation "(&%MereologicalProductFn ?OBJ1 ?OBJ2) denotes the &%Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2."))

([SUMO148_00199] of SpatialRelation
	(SUO-name "MereologicalDifferenceFn")
	(documentation "(&%MereologicalDifferenceFn ?OBJ1 ?OBJ2) denotes the &%Object consisting of the parts which belong to ?OBJ1 and not to ?OBJ2."))

([SUMO148_00200] of BinaryPredicate
	(SUO-name "hole")
	(documentation "(&%hole ?HOLE ?OBJ) means that ?HOLE is a &%Hole in ?OBJ.  A &%Hole is a fillable body located at the &%surface an &%Object."))

([SUMO148_00201] of SpatialRelation
	(SUO-name "PrincipalHostFn")
	(documentation "A &%UnaryFunction that maps a &%Hole to the &%Object which is its principal host.  The principle host of a &%Hole is its maximally connected host (a notion taken here to be defined only when the argument is a hole)."))

([SUMO148_00202] of AsymmetricRelation
	(SUO-name "properlyFills")
	(documentation "(&%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 &%properlyFills is the dual of &%completelyFills, and is so related to &%partiallyFills that ?OBJ &%properlyFills ?HOLE just in case ?OBJ &%partiallyFills every part of ?HOLE.  (Thus, every perfect filler is both complete and proper in this sense)."))

([SUMO148_00203] of AsymmetricRelation
	(SUO-name "fills")
	(documentation "Holes can be filled.  (&%fills ?OBJ ?HOLE) means that the &%Object ?OBJ fills the &%Hole ?HOLE.  Note that &%fills here means perfectly filled."))

([SUMO148_00204] of SpatialRelation
	(SUO-name "SkinFn")
	(documentation "A &%UnaryFunction that maps a &%Hole to the skin of the &%Hole.  The skin of a &%Hole is the fusion of those superficial parts (see &%superficialPart) of the &%Hole's principal host (see &%PrincipalHostFn) with which the &%Hole is externally connected."))

([SUMO148_00205] of BinaryPredicate
	(SUO-name "subProcess")
	(documentation "(&%subProcess ?SUBPROC ?PROC) means that ?SUBPROC is a subprocess of ?PROC.  A subprocess is here understood as a temporally distinguished part (proper or not) of a &%Process."))

([SUMO148_00206] of CaseRole
	(SUO-name "path")
	(documentation "(&%path ?MOTION ?PATH) means that ?PATH is a route along which ?MOTION occurs.  For example, Highway 101 is the path in the following proposition:  the car drove up Highway 101."))

([SUMO148_00207] of BinaryPredicate
	(SUO-name "developmentalForm")
	(documentation "(&%developmentalForm ?OBJECT ?FORM) means that ?FORM is an earlier stage in the individual maturation of ?OBJECT.  For example, tadpole and caterpillar are &%developmentalForms of frogs and butterflies, respectively."))

([SUMO148_00208] of BinaryPredicate
	(SUO-name "inhabits")
	(documentation "A very basic notion of living within something else.  (&%inhabits ?ORGANISM ?OBJECT) means that ?OBJECT is the residence, nest, home, etc. of ?ORGANISM."))

([SUMO148_00209] of BinaryPredicate
	(SUO-name "parent")
	(documentation "The general relationship of parenthood.  (&%parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD."))

([SUMO148_00210] of SingleValuedRelation
	(SUO-name "mother")
	(documentation "The general relationship of motherhood.  (&%mother ?CHILD ?MOTHER) means that ?MOTHER is the biological mother of ?CHILD."))

([SUMO148_00211] of SingleValuedRelation
	(SUO-name "father")
	(documentation "The general relationship of fatherhood.  (&%father ?CHILD ?FATHER) means that ?FATHER is the biological fatherof ?CHILD."))

([SUMO148_00212] of BinaryPredicate
	(SUO-name "sibling")
	(documentation "The relationship between two &%Organisms that have the same &%mother and &%father.  Note that this relationship does not hold between half-brothers, half-sisters, etc."))

([SUMO148_00213] of BinaryPredicate
	(SUO-name "authors")
	(documentation "(&%authors ?AGENT ?TEXT) means that ?AGENT is creatively responsible for ?TEXT.  For example, Agatha Christie is author of Murder_on_the_Orient_Express."))

([SUMO148_00214] of BinaryPredicate
	(SUO-name "editor")
	(documentation "(&%editor ?AGENT ?TEXT) means that ?AGENT is an editor of ?TEXT."))

([SUMO148_00215] of BinaryPredicate
	(SUO-name "publishes")
	(documentation "(&%publishes ?ORG ?TEXT) means that ?ORG publishes ?TEXT.  For example, Bantam Books publishes Agatha Christie's Murder_on_the_Orient_Express."))

([SUMO148_00216] of BinaryFunction
	(SUO-name "EditionFn")
	(documentation "A &%BinaryFunction that maps a type of text \n(e.g. Agatha Christie's Murder_on_the_Orient_Express) and a number \nto the edition of the text type corresponding to the number."))

([SUMO148_00217] of BinaryFunction
	(SUO-name "SeriesVolumeFn")
	(documentation "A &%BinaryFunction that maps a type of &%Series (e.g. the Encyclopedia_Britannica or the Popular_Mechanics periodical) and a number to the volumes of the text type designated by the number."))

([SUMO148_00218] of BinaryFunction
	(SUO-name "PeriodicalIssueFn")
	(documentation "A &%BinaryFunction that maps a subclass of &%Periodical and a number to all of the issues of the &%Periodical corresponding to the number."))

([SUMO148_00219] of PartialOrderingRelation
	(SUO-name "engineeringSubcomponent")
	(documentation "(&%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."))

([SUMO148_00220] of SymmetricRelation
	(SUO-name "connectedEngineeringComponents")
	(documentation "This is the most general connection relation between &%EngineeringComponents.  If (&%connectedEngineeringComponents ?COMP1 ?COMP2), then neither ?COMP1 nor ?COMP2 can be an &%engineeringSubcomponent of the other.  The relation &%connectedEngineeringComponents is a &%SymmetricRelation; there is no information in the direction of connection between two components.  It is also an &%IrreflexiveRelation; no &%EngineeringComponent bears this relation to itself.  Note that this relation does not associate a name or type with the connection."))

([SUMO148_00221] of BinaryPredicate
	(SUO-name "familyRelation")
	(documentation "A very general &%Predicate for biological relationships. (&%familyRelation ?ORGANISM1 ?ORGANISM2) means that ?ORGANISM1 and ?ORGANISM2 are biologically derived from a common ancestor."))

([SUMO148_00222] of BinaryPredicate
	(SUO-name "employs")
	(documentation "(&%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."))

([SUMO148_00223] of BinaryPredicate
	(SUO-name "citizen")
	(documentation "(&%citizen ?PERSON ?NATION) means that the &%Human ?PERSON is a citizen of &%Nation ?NATION."))

([SUMO148_00224] of CaseRole
	(SUO-name "direction")
	(documentation "(&%direction ?PROC ?ATTR) means that the &%Process ?PROC is moving in the direction ?ATTR.  For example, one would use this &%Predicate to represent the fact that Max is moving &%North."))

([SUMO148_00225] of BinaryPredicate
	(SUO-name "faces")
	(documentation "(&%faces ?OBJ ?DIRECTION) means that the front of ?OBJ (see &%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 &%BackFn)."))

([SUMO148_00226] of BinaryFunction
	(SUO-name "RelativeTimeFn")
	(documentation "A means of converting &%TimePositions between different &%TimeZones.  (&%RelativeTimeFn ?TIME ?ZONE) denotes the &%TimePosition in &%CoordinatedUniversalTime that is contemporaneous with the &%TimePosition ?TIME in &%TimeZone ?ZONE.  For example, (&%RelativeTimeFn (&%MeasureFn 14 &%Hour) &%EasternTimeZone) would return the value (&%MeasureFn 19 &%Hour)."))

([SUMO148_00227] of TernaryPredicate
	(SUO-name "occupiesPosition")
	(documentation "(&%occupiesPosition ?PERSON ?POSITION ?ORG) means that ?PERSON holds the &%Position ?POSITION at &%Organization ?ORG. For example, (&%occupiesPosition &%TomSmith &%ResearchDirector &%AcmeLaboratory) means that &%TomSmith is a research director at Acme Labs."))

([SUMO148_00228] of BinaryPredicate
	(SUO-name "modalAttribute")
	(documentation "A &%BinaryRelation that is used to state the normative force of a &%Proposition.  (&%modalAttribute ?FORMULA ?PROP) means that the &%Proposition expressed by ?FORMULA has the &%NormativeAttribute ?PROP.  For example, (&%modalAttribute (&%exists (?ACT ?OBJ) (&%and (&%instance ?ACT &%Giving) (&%agent ?ACT John) (&%patient ?ACT ?OBJ) (&%destination ?ACT Tom))) &%Obligation) means that John is obligated to give Tom something."))

([SUMO148_00231] of BinaryPredicate
	(SUO-name "subCollection")
	(documentation "(&%subCollection ?COLL1 ?COLL2) means that the &%Collection ?COLL1 is a proper part of the &%Collection ?COLL2."))

([SUMO148_00235] of BinaryPredicate
	(SUO-name "lessThan")
	(documentation "(&%lessThan ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is less than the &%Quantity ?NUMBER2."))

([SUMO148_01000] of Predicate
	(SUO-name "holds")
	(documentation "(holds P N1 ... NK) is true just in case the tuple of objects denoted by N1,..., NK is an element of the &%Relation P."))

([SUMO148_01101] of UnaryFunction
	(SUO-name "PowerSetFn")
	(documentation "(&%PowerSetFn ?CLASS) maps the &%SetOrClass ?CLASS to the &%SetOrClass of all &%subclasses of ?CLASS."))

([SUMO148_01102] of UnaryFunction
	(SUO-name "AbstractionFn")
	(documentation "A &%UnaryFunction that maps a &%Class into \nthe instance of &%Attribute that specifies the condition(s) for membership \nin the &%Class."))

([SUMO148_01103] of UnaryFunction
	(SUO-name "ExtensionFn")
	(documentation "A &%UnaryFunction that maps a &%Class into \nthe instance of &%Attribute that specifies the condition(s) for membership \nin the &%Class."))