; Wed Feb 16 10:16:12 PST 2005
; 
;+ (version "1.8")
;+ (build "Build 1074")


(defclass %3ACLIPS_TOP_LEVEL_SLOT_CLASS
	(is-a USER)
	(role concrete)
	(multislot %3AuncInstList
;+		(comment "The insatance(s) created from an instance block, saved for convenience in later procesing of unclassified instance propositions.")
		(type INSTANCE)
;+		(allowed-classes Entity)
		(create-accessor read-write))
	(multislot decreasesLikelihood
;+		(comment "One of the basic &%ProbabilityRelations. (&%decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.")
		(type INSTANCE)
;+		(allowed-classes Formula)
		(create-accessor read-write))
	(multislot voteFractionReceived
;+		(comment "(&%voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) means that in the &%Election ?ELECTION for ?POSITION, the &%Agent ?CONTENDER received ?FRACTION of the votes cast. Contenders may be either persons or political parties.")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
		(create-accessor read-write))
	(multislot rangeSubclass
;+		(comment "(&%rangeSubclass ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are &%subclasses of ?CLASS.")
		(type SYMBOL)
;+		(allowed-parents SetOrClass)
		(create-accessor read-write))
	(single-slot MinuteFn
;+		(comment "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.")
		(type SYMBOL)
;+		(allowed-parents Minute)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot subsumesContentInstance
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes ContentBearingObject)
		(create-accessor read-write))
	(single-slot monetaryValue
;+		(comment "A &%BinaryPredicate that associates an &%Object with its value expressed as an instance of &%CurrencyMeasure.")
		(type INSTANCE)
;+		(allowed-classes CurrencyMeasure)
;+		(cardinality 0 1)
;+		(subslot-of measure)
		(create-accessor read-write))
	(single-slot ResidentFn
;+		(comment "(&%ResidentFn ?AREA) denotes the &%GroupOfPeople who have their &%home in ?AREA.")
		(type INSTANCE)
;+		(allowed-classes GroupOfPeople)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot shutdownOf
;+		(comment "(&%shutdownOf ?SHUTDOWN ?PROGRAM) holds just in case an instance of &%ShutdownBlock ?SHUTDOWN specifies a set of instructions to end ?PROGRAM.")
		(type INSTANCE)
;+		(allowed-classes ComputerProgram)
		(create-accessor read-write))
	(single-slot penetrates
;+		(comment "(penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is &%connected to ?OBJ2 along at least one whole dimension (length, width or depth).")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of traverses meetsSpatially)
		(create-accessor read-write))
	(single-slot KiloFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes UnitOfMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot TemporalCompositionFn
;+		(comment "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.")
		(type SYMBOL)
;+		(allowed-parents TimeInterval)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot CosineFn
;+		(comment "(&%CosineFn ?DEGREE) returns the cosine of the &%PlaneAngleMeasure ?DEGREE.  The cosine of ?DEGREE is the ratio of the side next to ?DEGREE to the hypotenuse in a right-angled triangle.")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot strictness
;+		(comment "(&%strictness ?System ?Attribute) holds if the &%StrictnessAttribute ?Attribute describes the &%RealtimeSystem ?System.")
		(type INSTANCE)
;+		(allowed-classes StrictnessAttribute)
;+		(cardinality 0 1)
;+		(subslot-of property)
		(create-accessor read-write))
	(multislot coding
;+		(comment "A relation between a &%ContentBearingObject and a &%CodingScheme that specifies how the content is expressed.  Typically, this will be used either for encoded secret communications or computer files that might be coded simply for data compression instead of information security.")
		(type INSTANCE)
;+		(allowed-classes CodingScheme)
		(create-accessor read-write))
	(single-slot MinimalWeightedPathFn
;+		(comment "This &%BinaryFunction assigns two &%GraphNodes to the &%GraphPath with the smallest sum of weighted arcs between the two &%GraphNodes.")
		(type INSTANCE)
;+		(allowed-classes GraphPath)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot representsInLanguage
;+		(comment "A very general predicate. (&%representsInLanguage ?THING ?ENTITY ?LANGUAGE) means that the &%LinguisticExpression ?THING stands for ?ENTITY in the &%Language ?LANGUAGE.")
		(type INSTANCE)
;+		(allowed-classes Language)
		(create-accessor read-write))
	(single-slot standardInputDevice
;+		(comment "(&%standardInputDevice ?PROCESS ?DEVICE) holds just in case the DEVICE is the predefined input channelwith which the running version of the program PROCESS is initialised.")
		(type INSTANCE)
;+		(allowed-classes ComputerInputDevice)
;+		(cardinality 0 1)
;+		(subslot-of instrument)
		(create-accessor read-write))
	(single-slot abstractionLevel
;+		(comment "QOS ontology from Tekknowledge")
		(type INSTANCE)
;+		(allowed-classes AbstractionLevelAttribute)
;+		(cardinality 0 1)
;+		(subslot-of property)
		(create-accessor read-write))
	(single-slot %3ADomain1Type
;+		(comment "Specifies whether the first domain argument is an instance of the specified class or a subclass.\n  In SUMO, this signals whether the proposition describing the domains of the relation use the relation name \"domain\" or \"domainSubclass\".")
		(type SYMBOL)
		(allowed-values Instance Class)
;+		(cardinality 0 1)
;+		(associated-facet UBLinv018_00290)
		(create-accessor read-write))
	(single-slot %3AblockLineNumber
;+		(comment "The :blockLineNumber of a comment or unrecognized predicate is its location within the block where it occurs in a SKIF input file.")
		(type INTEGER)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot path
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Object)
		(create-accessor read-write))
	(multislot connectedEngineeringComponents
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes EngineeringComponent)
;+		(inverse-slot connectedEngineeringComponents)
;+		(subslot-of connected)
		(create-accessor read-write))
	(multislot %3AhasArguments
;+		(comment ":hasArguments specifies the classes of which the arguments of a :Method must be instances. ")
		(type INSTANCE)
;+		(allowed-classes %3ASKIF-CLASS)
		(create-accessor read-write))
	(multislot bandwidthOf
;+		(comment "(&%bandwidthOf ?NET ?BANDWIDTH) holds if ?BANDWIDTH is the amount of data which can be sent through an instance of a &%ComputerNetwork ?NET, measured in bits per second.")
		(type INSTANCE)
;+		(allowed-classes Bandwidth)
		(create-accessor read-write))
	(multislot disapproves
;+		(comment "(&%disapproves ?AGENT ?FORMULA) means that ?AGENT has a feeling of antipathy to the state of affairs represented by ?FORMULA, i.e. ?AGENT believes that the realization of ?FORMULA will thwart one of his/her goals.  Note that there is no implication that what is disapproved of by an agent is not already true.")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(subslot-of inScopeOfInterest)
		(create-accessor read-write))
	(multislot direction
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes DirectionalAttribute)
		(create-accessor read-write))
	(multislot inhibits
;+		(comment "A very general &%Predicate.  (&%inhibits ?PROC1 ?PROC2) means that the &%Process ?PROC1 inhibits or hinders the occurrence of the &%Process ?PROC2.  For example, obstructing an object inhibits moving it.  Note that this is a relation between types of &%Processes, not between instances.")
		(type SYMBOL)
;+		(allowed-parents Process)
		(create-accessor read-write))
	(multislot price
;+		(comment "(&%price ?Obj ?Money ?Agent) means that ?Agent pays the amount of money ?Money for ?Obj.")
		(type INSTANCE)
;+		(allowed-classes Agent)
		(create-accessor read-write))
	(single-slot needs
;+		(comment "(&%needs ?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?AGENT.")
		(type INSTANCE)
;+		(allowed-classes Physical)
;+		(cardinality 0 1)
;+		(subslot-of inScopeOfInterest)
		(create-accessor read-write))
	(single-slot top
;+		(comment "(&%top ?TOP ?OBJECT) means that ?TOP is the highest maximal superficial part of ?OBJECT.")
		(type INSTANCE)
;+		(allowed-classes SelfConnectedObject)
;+		(cardinality 0 1)
;+		(subslot-of superficialPart)
		(create-accessor read-write))
	(single-slot result
;+		(comment "(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.")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
;+		(subslot-of patient)
		(create-accessor read-write))
	(single-slot standardErrorDevice
;+		(comment "(&%standardErrorDevice ?PROGRAM ?DEVICE) holds just in case the DEVICE is the predefined error channelwith which the running version of this program is initialised.")
		(type INSTANCE)
;+		(allowed-classes ComputerOutputDevice)
;+		(cardinality 0 1)
;+		(subslot-of instrument)
		(create-accessor read-write))
	(single-slot attends
;+		(comment "(&%attends ?DEMO ?PERSON) means that ?PERSON attends, i.e. is a member of the audience, of the performance event ?DEMO.")
		(type INSTANCE)
;+		(allowed-classes Human)
;+		(cardinality 0 1)
;+		(subslot-of experiencer)
		(create-accessor read-write))
	(single-slot represents
;+		(comment "A very general semiotics &%Predicate. (&%represents ?THING ?ENTITY) means that ?THING in some way indicates, expresses, connotes, pictures, describes, etc. ?ENTITY.  The &%Predicates &%containsInformation and &%realization are subrelations of &%represents. Note that &%represents is a subrelation of &%refers, since something can represent something else only if it refers to this other thing.  See the documentation string for &%names.")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
;+		(subslot-of refers)
		(create-accessor read-write))
	(single-slot father
;+		(comment "The general relationship of fatherhood. (&%father ?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD.")
		(type INSTANCE)
;+		(allowed-classes Organism)
;+		(cardinality 0 1)
;+		(subslot-of parent)
		(create-accessor read-write))
	(multislot numberOfCPUs
;+		(comment "(&%numberOfCPUs ?COMPUTER ?INTEGER) means that the number of CPUs for the host ?COMPUTER is equal to INTEGER.")
		(type INSTANCE)
;+		(allowed-classes PositiveInteger)
		(create-accessor read-write))
	(multislot startupTimeDelay
;+		(comment "(&%startupTimeDelay ?PROGRAM ?TIME) says that ?TIME is the time to delay after the previous application was started before starting the application ?PROGRAM.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
		(create-accessor read-write))
	(single-slot %3ADomain3Type
;+		(comment "The type of the fifth argument, class or instance.\n  It specifies whether the first domain argument is an instance of the specified class or a subclass.\n  In SUMO, this signals whether the proposition describing the domains of the relation use the relation name \"domain\" or \"domainSubclass\".")
		(type SYMBOL)
		(allowed-values Class Instance)
;+		(cardinality 0 1)
;+		(associated-facet UBLinv018t_00300)
		(create-accessor read-write))
	(multislot authors
;+		(comment "(&%authors ?AGENT ?TEXT) means that ?AGENT is creatively responsible for ?TEXT.  For example, Agatha Christie is author of Murder_on_the_Orient_Express.")
		(type SYMBOL)
;+		(allowed-parents Text)
		(create-accessor read-write))
	(multislot copy
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(inverse-slot copy)
		(create-accessor read-write))
	(single-slot hopes
;+		(comment "(&%hopes ?AGENT ?FORMULA) means that ?AGENT hopes that the proposition ?FORMULA will be true, i.e. he/she believes that it will come to pass in the future and that it will be desirable for ?AGENT.")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(cardinality 0 1)
;+		(subslot-of expects)
		(create-accessor read-write))
	(single-slot meetsSpatially
;+		(comment "(&%meetsSpatially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are &%connected but that neither ?OBJ1 nor ?OBJ2 &%overlapsSpatially the other.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of connected)
		(create-accessor read-write))
	(multislot minimumCardinality
;+		(comment "(minimumCardinality ?REL ?NUMBER) means that, for any given assignment of a first argument to ?REL, there will be at least ?NUMBER assignments to the second argument of ?REL.")
		(type INSTANCE)
;+		(allowed-classes NonnegativeInteger)
		(create-accessor read-write))
	(multislot expressedInLanguage
;+		(comment "(&%expressedInLanguage ?EXPRESS ?LANG) means that ?EXPRESS is expressed in &%Language ?LANG.")
		(type INSTANCE)
;+		(allowed-classes Language)
		(create-accessor read-write))
	(multislot income
;+		(comment "(&%income ?Agent ?Money ?Period) means that ?Money is the amount of money or its equivalent received during a period of time in exchange for labor or services, from the sale of goods or property, or as profit from financial investments")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
		(create-accessor read-write))
	(single-slot immediateInstance
;+		(comment "An object is an &%immediateInstance of a &%SetOrClass if it is an instance of the &%SetOrClass and there does not exist a subclass of &%SetOrClass such that it is an instance of the subclass.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
;+		(cardinality 0 1)
;+		(subslot-of instance)
		(create-accessor read-write))
	(multislot domainSubclass
;+		(comment "&%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.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
		(create-accessor read-write))
	(multislot granularity
;+		(comment "Granularity is a sub-property of the timing requirements property of real-time systems.  Granularity is defined by how a timing requirement is specified in units of time.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
		(create-accessor read-write))
	(single-slot RationalNumberFn
;+		(comment "(&%RationalNumberFn ?NUMBER) returns the rational representation of ?NUMBER.")
		(type INSTANCE)
;+		(allowed-classes RationalNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot password
;+		(comment "(&%password ?Password ?User) means that ?Password is the password the &%ComputerUser uses while logging onto a computer system.")
		(type INSTANCE)
;+		(allowed-classes ComputerUser)
;+		(cardinality 0 1)
;+		(subslot-of names)
		(create-accessor read-write))
	(single-slot properPart
;+		(comment "(&%properPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 other than ?OBJ2 itself. This is a &%TransitiveRelation and &%AsymmetricRelation (hence an &%IrreflexiveRelation).")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of part)
		(create-accessor read-write))
	(single-slot SpeedFn
;+		(comment "Maps an instance of &%LengthMeasure and an instance of &%TimeDuration to the speed represented by this proportion of distance and time. For example, (&%SpeedFn (&%MeasureFn 55 &%Mile)(&%MeasureFn 1 &%HourDuration)) represents the velocity of 55 miles per hour.")
		(type INSTANCE)
;+		(allowed-classes FunctionQuantity)
;+		(cardinality 0 1)
;+		(subslot-of PerFn)
		(create-accessor read-write))
	(multislot temporalPart
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes TimePosition)
		(create-accessor read-write))
	(multislot amountDue
;+		(comment "(&%amountDue ?ACCOUNT ?AMOUNT ?DATE) means ?DATE is the date on which the amount of Money ?AMOUNT of a particular ?ACCOUNT is due and payable")
		(type INSTANCE)
;+		(allowed-classes TimePosition)
		(create-accessor read-write))
	(single-slot %3AhasFrequency
;+		(comment "The frequency is the fraction of the time that this term refers to the labeled concept.   The sum of frequencies onthis list may exceed 1.0, because this is not the freuency with which this concepot is labeled by this term, but the inverse.")
		(type FLOAT)
		(range 0.0 1.0)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot CardinalityFn
;+		(comment "(CardinalityFn ?CLASS) returns the number of instances in the &%SetOrClass or &%Collection ?CLASS.")
		(type INSTANCE)
;+		(allowed-classes Number)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot responseRate
;+		(comment "(&%responseRate ?Response ?Period) means that ?Period is the period at which the computer sends its ?Response.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
;+		(cardinality 0 1)
;+		(subslot-of frequency)
		(create-accessor read-write))
	(single-slot %3Adocumentation
;+		(comment "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.")
		(type STRING)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot closedOn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
		(create-accessor read-write))
	(single-slot %3ADomain3Class
;+		(comment "The fourth argument of a quaternary or higher-arity slot.  Thisis the class of which the value is an instance.")
		(type INSTANCE)
;+		(allowed-classes %3ASKIF-CLASS)
;+		(cardinality 0 1)
;+		(associated-facet UBLcore_00000)
		(create-accessor read-write))
	(multislot securedBy
;+		(comment "Assets pledged by a borrower to secure a loan or other credit, and subject to seizure in the event of &%FinancialDefault.")
		(type INSTANCE)
;+		(allowed-classes Collateral)
		(create-accessor read-write))
	(multislot subCollection
;+		(comment "(&%subCollection ?COLL1 ?COLL2) means that the &%Collection ?COLL1 is a proper part of the &%Collection ?COLL2.")
		(type INSTANCE)
;+		(allowed-classes Collection)
		(create-accessor read-write))
	(multislot hole
;+		(comment "(&%hole ?HOLE ?OBJ) means that ?HOLE is a &%Hole in ?OBJ.  A &%Hole is a fillable body located at the &%surface an &%Object.")
		(type INSTANCE)
;+		(allowed-classes SelfConnectedObject)
		(create-accessor read-write))
	(multislot interestEarned
;+		(comment "(&%interestEarned ?Account ?Interest ?Period) means that ?Interest is the amount earned on the &%FinancialAccount ?Account, for the &%TimeInterval ?Period.")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
		(create-accessor read-write))
	(single-slot MultiplicationFn
;+		(comment "If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%MultiplicationFn ?NUMBER1 ?NUMBER2) is the arithmetical product of these numbers.")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot patient
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Entity)
		(create-accessor read-write))
	(multislot experiencer
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Agent)
		(create-accessor read-write))
	(multislot wears
;+		(comment "(&%wears ?AGENT ?CLOTHING) means that ?AGENT is wearing the item of &%Clothing ?CLOTHING.")
		(type INSTANCE)
;+		(allowed-classes Clothing)
		(create-accessor read-write))
	(multislot origin
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Object)
		(create-accessor read-write))
	(single-slot holds
;+		(comment "(holds P N1 ... NK) is true just in case the tuple of objects denoted by N1,..., NK is an element of the &%Relation P.")
		(type INSTANCE)
;+		(allowed-classes %3ARow)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot financialAccount
;+		(comment "A formal banking, brokerage, or business relationship established to provide for regular services, dealings, and other financial transactions.  (&%accountAt ?ACCOUNT ?ORG) means that ?ACCOUNT is a financial account opened at the &%FinancialOrganization ?ORG.")
		(type INSTANCE)
;+		(allowed-classes FinancialOrganization)
;+		(cardinality 0 1)
;+		(subslot-of agreementMember)
		(create-accessor read-write))
	(multislot maximumReplications
;+		(comment "(&%maximumReplications ?PROGRAM ?INTEGER) means that ?INTEGER represents the maximum number of copies of this application which can be run during a process.")
		(type INSTANCE)
;+		(allowed-classes PositiveInteger)
		(create-accessor read-write))
	(multislot cooccur
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Physical)
;+		(inverse-slot cooccur)
		(create-accessor read-write))
	(multislot thresholdOf
;+		(comment "")
		(type INSTANCE)
;+		(allowed-classes PositiveRealNumber)
		(create-accessor read-write))
	(single-slot lacks
;+		(comment "(&%lacks ?AGENT ?OBJECT) means that ?AGENT &%needs ?OBJECT and it is not currently the case that ?AGENT &%possesses ?OBJECT.")
		(type INSTANCE)
;+		(allowed-classes Physical)
;+		(cardinality 0 1)
;+		(subslot-of needs)
		(create-accessor read-write))
	(single-slot financialAsset
;+		(comment "A predicate that relates an &%Agent to any item of economic value owned by the &%Agent.  Examples of financial assets are cash, securities, accounts receivable, inventory, office equipment, a house, a car, and other property.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of possesses)
		(create-accessor read-write))
	(single-slot %3Aarg2
;+		(comment "argument 2 of a higher-artity relation.  The argument can be an instance of Class, Slot, or metaclass.")
		(type INSTANCE)
;+		(allowed-classes %3ASTANDARD-CLASS Entity %3ASTANDARD-SLOT)
;+		(cardinality 1 1)
		(create-accessor read-write))
	(single-slot status
;+		(comment "(&%status ?PROCESS ?STATUS) holds if ?STATUS is the current status of ?PROCESS.")
		(type INSTANCE)
;+		(allowed-classes ProcessStatus)
;+		(cardinality 0 1)
;+		(subslot-of property)
		(create-accessor read-write))
	(single-slot ListOrderFn
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot lessThan
;+		(comment "(&%lessThan ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is less than the &%Quantity ?NUMBER2.")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(inverse-slot greaterThan)
		(create-accessor read-write))
	(multislot part
;+		(comment "The basic mereological relation.  All other mereological relations are defined in terms of this one. (&%part ?PART ?WHOLE) simply means that the &%Object ?PART is part of the &%Object ?WHOLE.  Note that, since &%part is a &%ReflexiveRelation, every &%Object is a part of itself.")
		(type INSTANCE)
;+		(allowed-classes Object)
		(create-accessor read-write))
	(single-slot TerminalNodeFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes GraphNode)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot geometricDistance
;+		(comment "(&%geometricDistance ?POINT1 ?POINT2 ?LENGTH) means that ?LENGTH is the distance between the two &%GeometricPoints ?POINT1 and ?POINT2.")
		(type INSTANCE)
;+		(allowed-classes LengthMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot issuedBy
;+		(comment "(&%issuedBy ?Instrument ?Agent) means that a &%FinancialInstrument ?Instrument is produced and offered by ?Agent.")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
		(create-accessor read-write))
	(multislot wife
;+		(comment "(&%wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN.")
		(type INSTANCE)
;+		(allowed-classes Man)
;+		(inverse-slot husband)
;+		(subslot-of spouse)
		(create-accessor read-write))
	(multislot material
;+		(comment "(&%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, plastic is a &%material of my computer monitor.  Compare &%part and its subrelations, viz &%component and &%piece.")
		(type INSTANCE)
;+		(allowed-classes CorpuscularObject)
		(create-accessor read-write))
	(single-slot RoundFn
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot signedBy
;+		(comment "(&%signedBy ?Instrument ?Agent) means that ?Instrument has been signed by ?Agent.")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
		(create-accessor read-write))
	(multislot prevents
;+		(comment "A very general &%Predicate.  (&%prevents ?PROC1 ?PROC2) means that ?PROC1 prevents the occurrence of ?PROC2.  In other words, if ?PROC1 is occurring in a particular time and place, ?PROC2 cannot occur at the same time and place.  For example, innoculating prevents contracting disease.  Note that this is a relation between types of &%Processes, not between instances.")
		(type SYMBOL)
;+		(allowed-parents Process)
		(create-accessor read-write))
	(single-slot or
;+		(comment "The truth-functional connective of disjunction.")
		(type INSTANCE)
;+		(allowed-classes %3ARow Formula)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot most
;+		(comment "(&%most ?MOST ?WHOLE) means that ?MOST is a &%part of ?WHOLE that is greater than &%half of ?WHOLE.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of part)
		(create-accessor read-write))
	(multislot softwarePath
;+		(comment "(&%softwarePath ?SYSTEM ?PATH) means that ?PATH is a computer path for the instance of &%SoftwareSystem ?SYSTEM.")
		(type INSTANCE)
;+		(allowed-classes ComputerPath)
		(create-accessor read-write))
	(single-slot ListConcatenateFn
;+		(comment "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).")
		(type INSTANCE)
;+		(allowed-classes List)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot transactionAmount
;+		(comment "(&%transactionAmount ?Transaction ?Amount) means that ?Amount is an instance of &%CurrencyMeasure being exhanged in a &%FinancialTransaction ?Transaction.")
		(type INSTANCE)
;+		(allowed-classes CurrencyMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot EditionFn
;+		(comment "A &%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.")
		(type SYMBOL)
;+		(allowed-parents ContentBearingObject)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot SignumFn
;+		(comment "(SignumFn ?NUMBER) denotes the sign of ?NUMBER. This is one of the following values:  -1, 1, or 0.")
		(type INSTANCE)
;+		(allowed-classes Integer)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot %3AslotType
;+		(comment ":slotType specifies whether a slot is an ordinary predicate, or a function.  If it is a function, the last argument (for whatever arity) serves as the range of the function.  The range will show up in a Protege slot as the 'value' of the slot.\n   The accepted values are the strings 'Predicate' and 'Function'.  The default is Predicate.")
		(type STRING)
		(default "Predicate")
;+		(cardinality 1 1)
;+		(associated-facet SKIFcore_Facet_1)
		(create-accessor read-write))
	(single-slot not
;+		(comment "The truth-functional connective of negation.    This relation definition was modified by P. Cassidy November 2003 to specify that 'not' is an instance of UnaryRelation")
		(type STRING)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot startupOf
;+		(comment "(&%startupOf ?STARTUP ?PROGRAM) holds just in case an instance of &%StartupBlock ?STARTUP specifies a set of instructions to start the ?PROGRAM.")
		(type INSTANCE)
;+		(allowed-classes ComputerProgram)
		(create-accessor read-write))
	(single-slot CutSetFn
;+		(comment "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.")
		(type SYMBOL)
;+		(allowed-parents GraphPath)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot MonthFn
;+		(comment "A &%BinaryFunction that maps a subclass of &%Month and a subclass of &%Year to the class containing the &%Months corresponding to thos &%Years. For example (&%MonthFn &%January (&%YearFn 1912)) is the class containing the eighth &%Month, i.e. August, of the &%Year 1912.  For another example, (&%MonthFn &%August &%Year) is equal to &%August, the class of all months of August.  Note that this function returns a &%Class as a value.  The reason for this is that the related functions, viz. 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.")
		(type SYMBOL)
;+		(allowed-parents Month)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot believes
;+		(comment "The epistemic predicate of belief. (&%believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(subslot-of inScopeOfInterest)
		(create-accessor read-write))
	(multislot lineMeasure
;+		(comment "(&%lineMeasure ?LINE ?MEASURE) means that the straight line ?LINE has the &%LengthMeasure of ?MEASURE.")
		(type INSTANCE)
;+		(allowed-classes LengthMeasure)
		(create-accessor read-write))
	(multislot sibling
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes Organism)
;+		(inverse-slot sibling)
;+		(subslot-of familyRelation)
		(create-accessor read-write))
	(multislot customer
;+		(comment "A very general relation that exists whenever there is a &%CommercialService between an &%Agent and an &%Organization. (&%customer ?AGENT ?ORG) means that ?AGENT is a customer of the &%Corporation ?ORG.")
		(type INSTANCE)
;+		(allowed-classes Corporation)
		(create-accessor read-write))
	(single-slot GigaFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes UnitOfMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot modalAttribute
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes NormativeAttribute)
;+		(subslot-of property)
		(create-accessor read-write))
	(multislot holdsRight
;+		(comment "Expresses a relationship between a &%Formula and a &%CognitiveAgent whereby the &%CognitiveAgent has the right to bring it about that the &%Formula is true.")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
		(create-accessor read-write))
	(multislot totalOrderingOn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
		(create-accessor read-write))
	(multislot successorAttribute
;+		(comment "(&%successorAttribute ?ATTR1 ?ATTR2) means that ?ATTR2 is the &%Attribute that comes immediately after ?ATTR1 on the scale that they share.")
		(type INSTANCE)
;+		(allowed-classes Attribute)
		(create-accessor read-write))
	(single-slot realization
;+		(comment "A subrelation of &%represents. (&%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.")
		(type INSTANCE)
;+		(allowed-classes Proposition)
;+		(cardinality 0 1)
;+		(subslot-of represents)
		(create-accessor read-write))
	(multislot simpleDeadline
;+		(comment "(&%simpleDeadline ?PATH ?TIME)holds if ?TIME is the maximum end-to-end path latency during a cycle of a continuous or quasicontinuous path or during the activation of a transient path.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
		(create-accessor read-write))
	(single-slot userName
;+		(comment "(&%userName ?Name ?User) means that ?Name is the name the &%ComputerUser uses to identify himself or herself when logging onto a computer system.")
		(type INSTANCE)
;+		(allowed-classes UserName)
;+		(cardinality 0 1)
;+		(subslot-of names)
		(create-accessor read-write))
	(multislot commandLineArguments
;+		(comment "(&%commandLineArguments ?PROGRAM ?LIST) means that the application ?PROGRAM requires command line arguments, as specified in ?LIST.")
		(type INSTANCE)
;+		(allowed-classes List)
		(create-accessor read-write))
	(multislot %3Apartition3
;+		(comment "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.\n   There may be more than one partition on a class. In SUMO there are a maximum of 2 partitions.  This slot is created for the possible situation where a class may have three partitions.")
		(type INSTANCE)
;+		(allowed-classes %3ASKIF-CLASS)
;+		(subslot-of partition)
		(create-accessor read-write))
	(multislot finishes
;+		(comment "(&%finishes ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both &%TimeIntervals that have the same ending &%TimePoint and that ?INTERVAL2 begins before ?INTERVAL1.")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
		(create-accessor read-write))
	(single-slot PrincipalHostFn
;+		(comment "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).")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot BeginNodeFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes GraphNode)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot subclass
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
		(create-accessor read-write))
	(single-slot computerRunning
;+		(comment "(&%computerRunning ?Process ?Computer) means that the ComputerProcess ?Process is running on ?Computer.")
		(type INSTANCE)
;+		(allowed-classes Computer)
;+		(cardinality 0 1)
;+		(subslot-of instrument)
		(create-accessor read-write))
	(single-slot DocumentFn
;+		(comment "(&%DocumentFn ?PROP) denotes the class of &%ContentBearingObjects that contain the information ?PROP.")
		(type SYMBOL)
;+		(allowed-parents Text)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot between
;+		(comment "(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.")
		(type INSTANCE)
;+		(allowed-classes Object)
		(create-accessor read-write))
	(single-slot %3ALOAD-SEQUENCE
;+		(comment "LOAD-SEQUENCE is a convenience slot which specifies the sequence in which a logically related block of predicates (or an axiom) was loaded from the input KIF-format file.  The sole function is to allow recreation of the original sequence of statements for the convenience of the ontologist.  A value of 0 is default for newly created concepts.")
		(type INTEGER)
		(range 0 %3FVARIABLE)
		(default 0)
;+		(cardinality 1 1)
;+		(associated-facet UBLinv019_00333)
		(create-accessor read-write))
	(multislot hasPurpose
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes Formula)
		(create-accessor read-write))
	(single-slot %3AAXIOMS
;+		(comment "Axioms from SUMO or other sources, constraining the meaning of the slot.")
		(type STRING)
;+		(cardinality 0 1)
;+		(associated-facet UBLinv014_00277)
		(create-accessor read-write))
	(multislot %3AisRestrictedTo
;+		(comment ":isRestrictedTo allows one to specify that a relation’s values may be restricted when that relation is applied to some subclass of the original domain 1.  This can help to make the relation more clear, and may limit the range of necessary inferences.  Such restrictions are realized in Protege by modifying the allowed class of a value of a relation at the level of some particular class which is a subclass of the higher-level class on which the relation is defined.  This provision in Protege distinguishes between the top-level definition of a slot and its application at lower levels.\n   A companion predicate :hasRestrictedVal assertws the same thjing, but has the first class as argument 1, allowing viewing of the relation in ")
		(type SYMBOL)
;+		(allowed-parents Entity)
;+		(associated-facet SKIFcore_00400)
		(create-accessor read-write))
	(single-slot IntervalFn
;+		(comment "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.")
		(type SYMBOL)
;+		(allowed-parents ConstantQuantity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot earlier
;+		(comment "(&%earlier ?INTERVAL1 ?INTERVAL2) means that the &%TimeInterval ?INTERVAL1 ends before the &%TimeInterval ?INTERVAL2 begins.")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
		(create-accessor read-write))
	(multislot performanceResult
;+		(comment "(&%performanceResult ?EVENT ?COMPONENT ?NUMBER) holds if the performance of ?COMPONENT has a value ?NUMBER, measured by ?EVENT, an instance of &%MeasuringPerformance.")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
		(create-accessor read-write))
	(single-slot ImmediatePastFn
;+		(comment "A &%UnaryFunction that maps a &%TimePosition to a short, indeterminate &%TimeInterval that immediately precedes the &%TimePosition.")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot mother
;+		(comment "The general relationship of motherhood. (&%mother ?CHILD ?MOTHER) means that ?MOTHER is the biological mother of ?CHILD.")
		(type INSTANCE)
;+		(allowed-classes Organism)
;+		(cardinality 0 1)
;+		(subslot-of parent)
		(create-accessor read-write))
	(single-slot MinimalCutSetFn
;+		(comment "A &%UnaryFunction that assigns a &%Graph the &%Class of &%GraphPaths which comprise cutsets for the &%Graph and which have the least number of &%GraphArcs.")
		(type SYMBOL)
;+		(allowed-parents GraphPath)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot destination
;+		(comment "(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.")
		(type INSTANCE)
;+		(allowed-classes Entity)
		(create-accessor read-write))
	(multislot slidingWindowSize
;+		(comment "(&%slidingWindowSize ?PATH ?N) holds if PATH has a realtime QoS sliding window size of ?N measured samples.")
		(type INSTANCE)
;+		(allowed-classes PositiveInteger)
		(create-accessor read-write))
	(single-slot %3ADomain3Value
;+		(comment "The instance value for the fourth argument of a higher-arity slot.\nIt is an instance of :Domain3Class")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
;+		(associated-facet SUMO152_00102)
		(create-accessor read-write))
	(multislot reflexiveOn
;+		(comment "A &%BinaryRelation is reflexive on a &%SetOrClass only if every instance of the &%SetOrClass bears the relation to itself.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
		(create-accessor read-write))
	(single-slot BackFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes SelfConnectedObject)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot ProbabilityFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot %3ArelationAllExists
;+		(comment "(:relationAllExists ?REL ?CLASS1 ?CLASS2) means that every instance of ?CLASS1 is related to some instance of ?CLASS2 by the ?REL relation.  The name was taken from the CYC rule macro predicate.")
		(type SYMBOL)
;+		(allowed-parents Entity)
;+		(associated-facet SKIFcore_00418)
		(create-accessor read-write))
	(single-slot MegaFn
;+		(comment "A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to 1,000,000 units of the original &%UnitOfMeasure.  For example, (&%MegaFn &%Hertz) is 1,000,000 &%Hertz.")
		(type INSTANCE)
;+		(allowed-classes UnitOfMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot environmentAttributes
;+		(comment "(&%environmentAttributes ?Program ?Attribute) holds if ?Attribute is an &%EnvironmentSoftwareAttribute which describes the &%ComputerProgram ?Program.")
		(type INSTANCE)
;+		(allowed-classes EnvironmentSoftwareAttribute)
;+		(cardinality 0 1)
;+		(subslot-of property)
		(create-accessor read-write))
	(single-slot PerFn
;+		(comment "&%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.")
		(type INSTANCE)
;+		(allowed-classes FunctionQuantity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot subOrganization
;+		(comment "(&%subOrganization ?ORG1 ?ORG2) means that ?ORG1 is an &%Organization which is a proper part of the &%Organization ?ORG2.")
		(type INSTANCE)
;+		(allowed-classes Organization)
;+		(subslot-of subCollection)
		(create-accessor read-write))
	(single-slot MaximalWeightedPathFn
;+		(comment "This &%BinaryFunction assigns two &%GraphNodes to the &%GraphPath with the largest sum of weighted arcs between the two &%GraphNodes.")
		(type INSTANCE)
;+		(allowed-classes GraphPath)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot confersObligation
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
		(create-accessor read-write))
	(multislot overlapsTemporally
;+		(comment "(&%overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the &%TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a &%TimeInterval as a common part.")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
;+		(inverse-slot overlapsTemporally)
		(create-accessor read-write))
	(multislot refers
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Entity)
		(create-accessor read-write))
	(single-slot altitude
;+		(comment "A &%TernaryPredicate that is used to state the &%distance between the &%top of an &%Object and another point that is below the &%top of the &%Object (often this other point will be sea level).  Note that this &%Predicate can be used to specify, for example, the height of geographic features, e.g. mountains, the altitude of aircraft, and the orbit of satellites around the Earth.")
		(type INSTANCE)
;+		(allowed-classes LengthMeasure)
;+		(cardinality 0 1)
;+		(subslot-of distance)
		(create-accessor read-write))
	(multislot responseTo
;+		(comment "(&%responseTo ?Response ?Request) means that ?Response is a &%ComputerResponse to the &%UserRequest ?Request.")
		(type INSTANCE)
;+		(allowed-classes UserRequest)
		(create-accessor read-write))
	(multislot industryProductType
;+		(comment "(&%industryProductType ?INDUSTRY ?TYPE) means that organizations with the &%IndustryAttribute ?INDUSTRY produce products of the kind ?TYPE.")
		(type SYMBOL)
;+		(allowed-parents Object)
		(create-accessor read-write))
	(single-slot uniqueIdentifier
;+		(comment "The class of &%names that uniquely identify an instance of &%Entity.  Some examples of &%uniqueIdentifiers are the keys of tables in database applications and the ISBN (International Standard Book Number).")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
;+		(subslot-of names)
		(create-accessor read-write))
	(multislot imageResolution
;+		(comment "The degree of sharpness of a displayed or printed image.")
		(type INSTANCE)
;+		(allowed-classes PhysicalQuantity)
		(create-accessor read-write))
	(multislot disjoint
;+		(comment "&%Classes are &%disjoint only if they share no instances, i.e. just in case the result of applying &%IntersectionFn to them is empty.")
		(type INSTANCE)
;+		(allowed-classes %3ASKIF-CLASS %3ASetOrClass)
;+		(inverse-slot disjoint)
		(create-accessor read-write))
	(multislot leaderPosition
;+		(comment "(&%leaderPosition ?ORG ?ROLE) means that in the organization ?ORG, the leader is the person who holds the &%Position ?ROLE in the organization.")
		(type INSTANCE)
;+		(allowed-classes Position)
		(create-accessor read-write))
	(multislot considers
;+		(comment "(&%considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA.")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(subslot-of inScopeOfInterest)
		(create-accessor read-write))
	(multislot monitorApplicationData
;+		(comment "(&%monitorApplicationData ?TIME ?APPLICATION) holds if the time stamp ?TIME specifies the time at which ?APPLICATION is running.")
		(type INSTANCE)
;+		(allowed-classes ComputerProgram)
		(create-accessor read-write))
	(multislot connects
;+		(comment "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).")
		(type INSTANCE)
;+		(allowed-classes SelfConnectedObject)
		(create-accessor read-write))
	(multislot capacity
;+		(comment "(&%capacity ?OBJ ?QUANTITY) means that ?OBJ can contain something that has the &%measure of ?QUANTITY.  This predicate denotes maximal capacity, i.e. ?OBJ can hold no more than ?QUANTITY.  Note, however, that this does not mean that &%capacity is a &%SingleValuedRelation, since an object may have various maximal capacities across different dimensions, e.g. a particular box may have a &%capacity of 3 pounds and a &%capacity of 1 liter.")
		(type INSTANCE)
;+		(allowed-classes ConstantQuantity)
		(create-accessor read-write))
	(multislot neighbor
;+		(comment "(&%neighbor ?PERSON1 ?PERSON2) means that ?PERSON1 is a neighbor of ?PERSON2, i.e. ?PERSON1 and ?PERSON2 have their &%homes &%Near one another.")
		(type INSTANCE)
;+		(allowed-classes Human)
;+		(inverse-slot neighbor)
		(create-accessor read-write))
	(single-slot superficialPart
;+		(comment "(&%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 &%MereologicalSumFn and &%MereologicalProductFn.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of part)
		(create-accessor read-write))
	(single-slot height
;+		(comment "The height of an &%Object is the distance between its &%top and its &%bottom.")
		(type INSTANCE)
;+		(allowed-classes LengthMeasure)
;+		(cardinality 0 1)
;+		(subslot-of length)
		(create-accessor read-write))
	(multislot contraryAttribute
;+		(comment "A &%contraryAttribute is a set of &%Attributes such that something can not simultaneously have more than one of these &%Attributes. For example, (&%contraryAttribute &%Pliable &%Rigid) means that nothing can be both &%Pliable and &%Rigid.")
		(type INSTANCE)
;+		(allowed-classes %3ARow Attribute)
		(create-accessor read-write))
	(multislot address
;+		(comment "(&%address ?AGENT ?ADDRESS) means that ?ADDRESS is an address or part of an address for the &%Agent ?AGENT.")
		(type INSTANCE)
;+		(allowed-classes Address)
		(create-accessor read-write))
	(single-slot MaxFn
;+		(comment "(&%MaxFn ?NUMBER1 ?NUMBER2) is the largest of ?NUMBER1 and ?NUMBER2.  In cases where ?NUMBER1 is equal to ?NUMBER2, &%MaxFn returns one of its arguments.")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot relatedExternalConcept
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes %3ALanguage Language)
		(create-accessor read-write))
	(multislot smaller
;+		(comment "(&%smaller ?OBJ1 ?OBJ2) simply means that ?OBJ1 is smaller, with respect to all &%LengthMeasures, than ?OBJ2.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(inverse-slot larger)
		(create-accessor read-write))
	(single-slot %3AhasClassValue
;+		(comment "\"(:hasClassValue ?REL ?CLASS ?VAL) is used to specify that every instance ?INST of class ?CLASS will have the same instance ?VAL related to ?INST by the relation ?REL.  This explicit assignment of a value can override a default assignment using the relation :hasDefaultValue.  Note that attempting to assign a value to one class and a different value to a subclass will result in a logical contradiction.  The parent class value must be set by :hasDefaultValue in order for hasClassValue to overide the default without contradiction.\"")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot equivalentContentClass
;+		(comment "A &%BinaryPredicate that relates two subclasses of &%ContentBearingObject.  (&%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 (&%equivalentContentClass ?CLASS1 ?CLASS2) implies (&%subsumesContentClass ?CLASS1 ?CLASS2) and (&%subsumesContentClass ?CLASS2 ?CLASS1).")
		(type SYMBOL)
;+		(allowed-parents ContentBearingObject)
;+		(inverse-slot equivalentContentClass)
;+		(subslot-of subsumesContentClass)
		(create-accessor read-write))
	(multislot hasOccupation
;+		(comment "(&%hasOccupation ?PERSON ?WORK) means that ?PERSON engages in activities of the class ?WORK as a means of earning a living.")
		(type SYMBOL)
;+		(allowed-parents IntentionalProcess)
		(create-accessor read-write))
	(multislot geometricPart
;+		(comment "(&%geometricPart ?PART ?WHOLE) means that the &%GeometricFigure ?PART is part of the &%GeometricFigure ?WHOLE.")
		(type INSTANCE)
;+		(allowed-classes GeometricFigure)
		(create-accessor read-write))
	(single-slot RelativeComplementFn
;+		(comment "A &%BinaryFunction that maps two &%SetOrClasses to the difference between these &%SetOrClasses.  More precisely, (&%RelativeComplementFn ?CLASS1 ?CLASS2) denotes the instances of ?CLASS1 that are not also instances of ?CLASS2.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot exactlyLocated
;+		(comment "The actual, minimal location of an Object.  This is a subrelation of the more general &%Predicate &%located.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of located)
		(create-accessor read-write))
	(single-slot formOfAdaptation
;+		(comment "(&%formOfAdaptation ?System ?Attribute) holds if ?Attribute is a &%FormOfAdaptationAttribute which describes the &%RealtimeSystem ?System.")
		(type INSTANCE)
;+		(allowed-classes FormOfAdaptationAttribute)
;+		(cardinality 0 1)
;+		(subslot-of property)
		(create-accessor read-write))
	(multislot agent
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Agent)
		(create-accessor read-write))
	(single-slot mimeSubType
;+		(comment "A relation between &%ComputerData and the MIME subtype it is coded in, with respect to IETF RFC 2046.")
		(type INSTANCE)
;+		(allowed-classes CodingScheme)
;+		(cardinality 0 1)
;+		(subslot-of coding)
		(create-accessor read-write))
	(single-slot hostStatus
;+		(comment "(&%hostStatus ?Computer ?Status) means that ?Status describes the status of the Computer, such as &%HostDown, &%HostReady.")
		(type INSTANCE)
;+		(allowed-classes ComputerStatus)
;+		(cardinality 0 1)
;+		(subslot-of attribute)
		(create-accessor read-write))
	(single-slot subset
;+		(comment "(subset ?SET1 ?SET2) is true just in case the &%elements of the &%Set ?SET1 are also &%elements of the &%Set ?SET2.")
		(type INSTANCE)
;+		(allowed-classes Set)
;+		(cardinality 0 1)
;+		(subslot-of subclass)
		(create-accessor read-write))
	(single-slot %3Aarg4
;+		(comment "argument 4 of a higher-artity relation.  The argument can be an instance of Class, Slot, or metaclass.")
		(type INSTANCE)
;+		(allowed-classes %3ASTANDARD-CLASS %3ASTANDARD-SLOT Entity)
;+		(cardinality 1 1)
		(create-accessor read-write))
	(single-slot overlapsPartially
;+		(comment "(&%overlapsPartially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 have part(s) in common, but neither ?OBJ1 nor ?OBJ2 is a &%part of the other.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of overlapsSpatially)
		(create-accessor read-write))
	(single-slot RelativeTimeFn
;+		(comment "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).")
		(type INSTANCE)
;+		(allowed-classes TimePosition)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot PathWeightFn
;+		(comment "A &%UnaryFunction that maps a &%GraphPath to the sum of the &%arcWeights on the &%GraphArcs in the &%GraphPath.")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot domain
;+		(comment "Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (&%domain ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be an instance of ?CLASS.  Specifying argument types is very helpful in maintaining ontologies.  Representation systems can use these specifications to classify terms and check integrity constraints. If the restriction on the argument type of a &%Relation is not captured by a &%SetOrClass already defined in the ontology, one can specify a &%SetOrClass compositionally with the functions &%UnionFn, &%IntersectionFn, etc.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
		(create-accessor read-write))
	(multislot prefers
;+		(comment "(&%prefers ?AGENT ?FORMULA1 ?FORMULA2) means that &%CognitiveAgent ?AGENT prefers the state of affairs expressed by ?FORMULA1 over the state of affairs expressed by ?FORMULA2 all things being equal.")
		(type INSTANCE)
;+		(allowed-classes Formula)
		(create-accessor read-write))
	(single-slot located
;+		(comment "(&%located ?PHYS ?OBJ) means that ?PHYS is &%partlyLocated at ?OBJ, and there is no &%part or &%subProcess of ?PHYS that is not &%located at ?OBJ.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of partlyLocated)
		(create-accessor read-write))
	(single-slot PastFn
;+		(comment "A &%UnaryFunction that maps a &%TimePosition to the &%TimeInterval that meets it and that begins at &%NegativeInfinity.")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot capability
;+		(comment "(&%capability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in &%Processes of type ?PROCESS.")
		(type INSTANCE)
;+		(allowed-classes Object)
		(create-accessor read-write))
	(single-slot dislikes
;+		(comment "(&%dislikes ?AGENT ?OBJECT) means that ?AGENT has a feeling of antipathy to ?OBJECT, i.e. ?AGENT believes that ?OBJECT will thwart one of his/her goals.  Note that there is no implication that what is hated by an agent is not already possessed by the agent.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of inScopeOfInterest)
		(create-accessor read-write))
	(single-slot piece
;+		(comment "A specialized common sense notion of part for arbitrary parts of &%Substances.  Quasi-synonyms are: chunk, hunk, bit, etc.  Compare &%component, the other subrelation of &%part.")
		(type INSTANCE)
;+		(allowed-classes Substance)
;+		(cardinality 0 1)
;+		(subslot-of part)
		(create-accessor read-write))
	(single-slot FloorFn
;+		(comment "(&%FloorFn ?NUMBER) returns the largest &%Integer less than or equal to the &%RealNumber ?NUMBER.")
		(type INSTANCE)
;+		(allowed-classes Integer)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot unitNumber
;+		(comment "(&%unitNumber ?UNIT ?ADDRESS) means that the &%StationaryArtifact ?UNIT is part of the address ?ADDRESS.")
		(type INSTANCE)
;+		(allowed-classes Address)
;+		(cardinality 0 1)
;+		(subslot-of address)
		(create-accessor read-write))
	(single-slot SecondFn
;+		(comment "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.")
		(type SYMBOL)
;+		(allowed-parents Second)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot SkinFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot NumeratorFn
;+		(comment "(&%NumeratorFn ?NUMBER) returns the numerator of the canonical reduced form ?NUMBER.")
		(type INSTANCE)
;+		(allowed-classes Integer)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot LogFn
;+		(comment "(LogFn ?NUMBER ?INT) returns the logarithm of the &%RealNumber ?NUMBER in the base denoted by the &%Integer ?INT.")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot PopulationFn
;+		(comment "(&%PopulationFn ?AREA) denotes the &%Integer that represents the count of the number of people inhabiting the &%GeopoliticalArea ?AREA.  The total population presents one overall measure of the potential impact of the country on the world and within its region.")
		(type INSTANCE)
;+		(allowed-classes Integer)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot temporallyBetweenOrEqual
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes TimePoint)
		(create-accessor read-write))
	(multislot property
;+		(comment "This &%Predicate holds between an instance of &%Entity and an instance of &%Attribute.  (property ?ENTITY ?ATTR) means that ?ENTITY has the &%Attribute ?ATTR.")
		(type INSTANCE)
;+		(allowed-classes Attribute)
		(create-accessor read-write))
	(single-slot governmentType
;+		(comment "(&%governmentType ?BODY ?FORM) means that the &%GeopoliticalArea or &%Organization ?BODY has a government with characteristic(s) of the type ?FORM.")
		(type INSTANCE)
;+		(allowed-classes FormOfGovernment)
;+		(cardinality 0 1)
;+		(subslot-of attribute)
		(create-accessor read-write))
	(multislot inverse
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes BinaryRelation)
;+		(inverse-slot inverse)
		(create-accessor read-write))
	(single-slot humanCapacity
;+		(comment "(&%humanCapacity ?CONSTRUCT ?NUMBER) means that the &%StationaryArtifact ?CONSTRUCT, e.g. a &%Building or a &%Room, can hold a maximum of ?NUMBER &%Humans without crowding.")
		(type INSTANCE)
;+		(allowed-classes PositiveInteger)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot PicoFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes UnitOfMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot subProposition
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Proposition)
		(create-accessor read-write))
	(single-slot wants
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Physical)
;+		(cardinality 0 1)
;+		(subslot-of inScopeOfInterest)
		(create-accessor read-write))
	(multislot frequency
;+		(comment "(frequency ?PROC ?TIME) means that the &%Process type of ?PROC recurs after every interval of ?TIME.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
		(create-accessor read-write))
	(single-slot TeraFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes UnitOfMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot GraphPathFn
;+		(comment "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.")
		(type SYMBOL)
;+		(allowed-parents GraphPath)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot holdsDuring
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Formula)
		(create-accessor read-write))
	(multislot %3AhasEquivalentMethod
;+		(comment ":hasEquivalentMethod is the inverse of :hasEquivalentAxiom.  This relation provides a mechanism for the ontologist to  (1) restrict interpretations of classes or functions more narrowly than might be possible by axioms alone; and (2) to provide a programming substitute for some axioms, so that the axioms can be disabled in the general axiom inventory, reducing the burden on the general inferencing routines.\n\nIt points from an axiom to a  :METHOD written in the Java language, which performs the equivalent inferencing.  The intention is to permit a programmer to implement a method to accomplish what is intended by the defining axiom(s), and to delete the axiom from the axiom base, reducing the burden on general inferencing procedures.  One :METHOD may replace more than one axiom.")
		(type INSTANCE)
;+		(allowed-classes %3AMethod)
;+		(inverse-slot %3AhasEquivalentAxiom)
		(create-accessor read-write))
	(single-slot LegislatureFn
;+		(comment "(&%LegislatureFn ?AREA) denotes the legislative branch of the &%GeopoliticalArea ?AREA.")
		(type INSTANCE)
;+		(allowed-classes LegislativeOrganization)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot LastFn
;+		(comment "(&%LastFn ?LIST) returns the last item in the &%List ?LIST.  For example, (&%LastFn (&%ListFn &%Monday &%Tuesday &%Wednesday)) would return the value of &%Wednesday.")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot electionWinner
;+		(comment "(&%electionWinner ?ELECTION ?POSITION ?CONTENDER) means that in the &%Election ?ELECTION, ?POSITION was won by the &%Agent ?CONTENDER.  Contenders may be either persons or political parties.")
		(type INSTANCE)
;+		(allowed-classes Agent)
;+		(subslot-of candidateForPosition)
		(create-accessor read-write))
	(single-slot MagnitudeFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot lessThanOrEqualTo
;+		(comment "(&%lessThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is less than or equal to the &%Quantity ?NUMBER2.")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(inverse-slot greaterThanOrEqualTo)
		(create-accessor read-write))
	(single-slot EndFn
;+		(comment "A &%UnaryFunction that maps a &%TimeInterval to the &%TimePoint at which the interval ends.")
		(type INSTANCE)
;+		(allowed-classes TimePoint)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot %3ASYNONYMS
;+		(comment "A list of synonyms in natural or formal languages for the concept represetned by this class.")
		(type INSTANCE)
;+		(allowed-classes %3ASynonym)
;+		(associated-facet SKIFcore4_00382)
		(create-accessor read-write))
	(multislot settlingTime
;+		(comment "(&%settlingTime ?PROGRAM ?TIME) says that ?TIME represents seconds to delay after an action was taken with respect to QoS.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
		(create-accessor read-write))
	(multislot responseTime
;+		(comment "The time it takes for the computer to comply with a user's request, such as looking up a customer record.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
		(create-accessor read-write))
	(multislot exploits
;+		(comment "(&%exploits ?OBJ ?AGENT) means that ?OBJ is used by ?AGENT as a &%resource in an unspecified instance of &%Process.  This &%Predicate, as its corresponding axiom indicates, is a composition of the relations &%agent and &%resource.")
		(type INSTANCE)
;+		(allowed-classes Agent)
		(create-accessor read-write))
	(multislot husband
;+		(comment "(&%husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN.")
		(type INSTANCE)
;+		(allowed-classes Woman)
;+		(inverse-slot wife)
;+		(subslot-of spouse)
		(create-accessor read-write))
	(multislot equal
;+		(comment "(equal ?ENTITY1 ?ENTITY2) is true just in case ?ENTITY1 is identical with ?ENTITY2.")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(inverse-slot equal)
		(create-accessor read-write))
	(single-slot properlyFills
;+		(comment "(&%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).")
		(type INSTANCE)
;+		(allowed-classes Hole)
;+		(cardinality 0 1)
;+		(subslot-of partiallyFills)
		(create-accessor read-write))
	(single-slot geopoliticalSubdivision
;+		(comment "(&%geopoliticalSubdivision ?AREA1 ?AREA2) means that ?AREA1 is any geopolitical part of ?AREA2; that is, ?AREA1 is an integral &%geographicSubregion of ?AREA2 (not a &%DependencyOrSpecialSovereigntyArea), having its own associated &%GovernmentOrganization which is subordinated to or constrained by the government of ?AREA2.  Cf. &%dependentGeopoliticalArea.")
		(type INSTANCE)
;+		(allowed-classes GeopoliticalArea)
;+		(cardinality 0 1)
;+		(subslot-of geographicSubregion)
		(create-accessor read-write))
	(multislot publishes
;+		(comment "(&%publishes ?ORG ?TEXT) means that ?ORG publishes ?TEXT.  For example, Bantam Books publishes Agatha Christie's Murder_on_the_Orient_Express.")
		(type SYMBOL)
;+		(allowed-parents Text)
		(create-accessor read-write))
	(multislot ipAddressOf
;+		(comment "(&%ipAddressOf ?HOST ?ADDRESS) holds if ?ADDRESS is the &%IPAddress of the computer ?HOST.")
		(type INSTANCE)
;+		(allowed-classes IPAddress)
		(create-accessor read-write))
	(multislot maturityDate
;+		(comment "The date on which the principal amount of the account becomes due and payable.")
		(type INSTANCE)
;+		(allowed-classes Day)
		(create-accessor read-write))
	(multislot measure
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes PhysicalQuantity)
		(create-accessor read-write))
	(multislot priority
;+		(comment "(&%priority ?SYSTEM ?QUANTITY) means that the priority of the ?SYSTEM is characterized by a &%PriorityAttribute, such as &%HighPriority or &%LowPriority.")
		(type INSTANCE)
;+		(allowed-classes PriorityAttribute)
		(create-accessor read-write))
	(single-slot immediateSubclass
;+		(comment "A &%SetOrClass ?CLASS1 is an &%immediateSubclass of another &%SetOrClass ?CLASS2 just in case ?CLASS1 is a subclass of ?CLASS2 and there is no other subclass of ?CLASS2 such that ?CLASS1 is also a subclass of it.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
;+		(cardinality 0 1)
;+		(subslot-of subclass)
		(create-accessor read-write))
	(multislot partialOrderingOn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
		(create-accessor read-write))
	(multislot directoryOf
;+		(comment "(&%directoryOf ?FILE ?DIRECTORY) means that the &%ComputerFile ?FILE is in the &%ComputerDirectory ?DIRECTORY.")
		(type INSTANCE)
;+		(allowed-classes ComputerDirectory)
		(create-accessor read-write))
	(multislot tangent
;+		(comment "(&%tangent ?LINE ?CIRCLE) means that the straight line ?LINE is tangent to the &%Circle ?CIRCLE, i.e. ?LINE touches ?CIRCLE without intersecting it.")
		(type INSTANCE)
;+		(allowed-classes Circle)
		(create-accessor read-write))
	(multislot %3AhasInstanceTypes
;+		(comment ":hasInstanceTypes specfies the instance parent type classes -- useful for instances that have multiple direct types.")
		(type SYMBOL)
;+		(allowed-parents %3ASYSTEM-CLASS Entity)
;+		(associated-facet SKIFcore_Facet_10001)
		(create-accessor read-write))
	(single-slot ReciprocalFn
;+		(comment "(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.")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot DescendantsFn
;+		(comment "(&%DescendantsFn ?PERSON) denotes all and only the descendants of ?PERSON, i.e. the &%Group consisting of ?OFFSPRING who satisfy the following formula:  (&%ancestor ?OFFSPRING ?PERSON).")
		(type INSTANCE)
;+		(allowed-classes FamilyGroup)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot FrontFn
;+		(comment "A &%Function that maps an &%Object to the side that generally receives the most attention or that typically faces the direction in which the &%Object moves.  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.")
		(type INSTANCE)
;+		(allowed-classes SelfConnectedObject)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot interiorPart
;+		(comment "(&%interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any &%superficialPart ?OBJ2.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of part)
		(create-accessor read-write))
	(single-slot leader
;+		(comment "(&%leader ?ORGANIZATION ?PERSON) means that the leader of ?ORGANIZATION is ?PERSON.")
		(type INSTANCE)
;+		(allowed-classes Agent)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot traverses
;+		(comment "(&%traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2.  Note that &%crosses and &%penetrates are subrelations of &%traverses.")
		(type INSTANCE)
;+		(allowed-classes Object)
		(create-accessor read-write))
	(single-slot sendRate
;+		(comment "(&%sendRate ?Program ?Period) holds if ?Period is the period at which the &%ComputationalSystem ?System sends data reports.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
;+		(cardinality 0 1)
;+		(subslot-of frequency)
		(create-accessor read-write))
	(single-slot %3AhasEquivalentAxiom
;+		(comment ":hasEquivalentAxiom relates a :Method written in the Java language to an axiom which performs the equivalent inferencing.  The intention is to permit a programmer to implement a method to accomplish what is intended by the defining axiom(s), and to delete the axiom from the axiom base, reducing the burden on general inferencing procedures.  One :Method may replace more than one axiom, but one axiom should not have more than one :Method to implement it.")
		(type INSTANCE)
;+		(allowed-classes %3ASKIF-AXIOM %3AKIF-AXIOM)
;+		(cardinality 0 1)
;+		(inverse-slot %3AhasEquivalentMethod)
		(create-accessor read-write))
	(multislot currencyType
;+		(comment "(&%currencyType ?AREA ?UNIT) means that the official currency used in the &%GeopoliticalArea ?AREA is the &%UnitOfMeasure ?UNIT.")
		(type INSTANCE)
;+		(allowed-classes UnitOfMeasure)
		(create-accessor read-write))
	(multislot trichotomizingOn
;+		(comment "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).")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
		(create-accessor read-write))
	(single-slot engineeringSubcomponent
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes EngineeringComponent)
;+		(cardinality 0 1)
;+		(subslot-of properPart)
		(create-accessor read-write))
	(multislot checkAccount
;+		(comment "(&%checkAccount ?Check ?Account) means that ?Account is the &%FinancialAccount from which the amount specifed on the check is paid.")
		(type INSTANCE)
;+		(allowed-classes FinancialAccount)
		(create-accessor read-write))
	(single-slot subsumedExternalConcept
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes %3ALanguage Language)
;+		(cardinality 0 1)
;+		(subslot-of relatedExternalConcept)
		(create-accessor read-write))
	(single-slot SuccessorFn
;+		(comment "A &%UnaryFunction that maps an &%Integer to its successor, e.g. the successor of 5 is 6.")
		(type INSTANCE)
;+		(allowed-classes Integer)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot stockHolder
;+		(comment "(&%stockHolder ?Stock ?Agent) means that ?Agent possesses the &%Stock ?Stock.")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
		(create-accessor read-write))
	(multislot conjugate
;+		(comment "(&%conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical &%CompoundSubstances except that one has one more &%Proton than the other.")
		(type INSTANCE)
;+		(allowed-classes CompoundSubstance)
;+		(inverse-slot conjugate)
		(create-accessor read-write))
	(multislot batchInterArrival
;+		(comment "(&%batchInterArrival ?PATH ?TIME) holds if ?TIME is the maximum allowable time between processing of a particular element of a continuous or quasicontinuous path's data stream in successive cycles.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
		(create-accessor read-write))
	(single-slot JudiciaryFn
;+		(comment "(&%JudiciaryFn ?AREA) denotes the judicial branch of the &%GeopoliticalArea ?AREA, that is, the &%JudicialOrganization(s) associated with the government of ?AREA, considered as a whole.")
		(type INSTANCE)
;+		(allowed-classes JudicialOrganization)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot daughter
;+		(comment "The general relationship of daughterhood. (&%daughter ?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT.")
		(type INSTANCE)
;+		(allowed-classes Human)
;+		(cardinality 0 1)
;+		(subslot-of parent)
		(create-accessor read-write))
	(single-slot GovernmentFn
;+		(comment "(&%GovernmentFn ?AREA) denotes the &%Government of the &%GeopoliticalArea ?AREA.  For example, (&%GovernmentFn &%UnitedStates) denotes the Federal-level government of the United States; (&%GovernmentFn &%PuertoRico) denotes the government of the Commonwealth of Puerto Rico.")
		(type INSTANCE)
;+		(allowed-classes Government)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot premise
;+		(comment "(&%premise ?ARGUMENT ?PROPOSITION) means that the &%Proposition ?PROPOSITION is an explicit assumption of the &%Argument ?ARGUMENT.")
		(type INSTANCE)
;+		(allowed-classes Proposition)
		(create-accessor read-write))
	(single-slot ImmediateFamilyFn
;+		(comment "(&%ImmediateFamilyFn ?PERSON) denotes the immediate family of ?PERSON, i.e. the &%Group consisting of the &%parents of ?PERSON and anyone of whom ?PERSON is a &%parent.")
		(type INSTANCE)
;+		(allowed-classes FamilyGroup)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot portNumber
;+		(comment "(&%portNumber ?PROGRAM ?NUMBER) holds if ?NUMBER identifies a protocol port, i.e. a TCP-IP software abstraction used to distinguish different applications providing services within a single destination computer. The different ports on a host are identified by a positive 16-bit number.")
		(type INSTANCE)
;+		(allowed-classes PositiveInteger)
		(create-accessor read-write))
	(multislot subProcess
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Process)
		(create-accessor read-write))
	(single-slot RemainderFn
;+		(comment "(RemainderFn ?NUMBER ?DIVISOR) is the remainder of the number ?NUMBER divided by the number ?DIVISOR. The result has the same sign as ?DIVISOR.")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot streetNumber
;+		(comment "(&%streetNumber ?BUILDING ?ADDRESS) means that the &%Building ?BUILDING is part of the address ?ADDRESS.")
		(type INSTANCE)
;+		(allowed-classes Address)
;+		(cardinality 0 1)
;+		(subslot-of address)
		(create-accessor read-write))
	(multislot %3C%3D%3E
;+		(comment "The truth-functional connective of bi-implication.")
		(type INSTANCE)
;+		(allowed-classes Formula)
		(create-accessor read-write))
	(multislot subAttribute
;+		(comment "Means that the second argument can be ascribed to everything which has the first argument ascribed to it.")
		(type INSTANCE)
;+		(allowed-classes Attribute)
		(create-accessor read-write))
	(single-slot %3AassociatedSlot
;+		(comment ":associatedSlot  points to the Slot which is the Slot representation of  a reified higher-arity relation.  The Slot looks like an ordinary Slot, but has additional facets specifying the allowed classes for each of the arguments.  Thus the slot is needed to specify allowed classes, but the reified relation is needed in Protege to specify the instance values for the arguments when an instance of the relation is assertged.")
		(type INSTANCE)
;+		(allowed-classes %3ASTANDARD-SLOT)
;+		(cardinality 1 1)
		(create-accessor read-write))
	(single-slot FirstFn
;+		(comment "(&%FirstFn ?LIST) returns the first item in the &%List ?LIST.  For example, (&%FirstFn (&%ListFn &%Monday &%Tuesday &%Wednesday)) would return the value of &%Monday.")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot parent
;+		(comment "The general relationship of parenthood. (&%parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.")
		(type INSTANCE)
;+		(allowed-classes Organism)
;+		(subslot-of familyRelation)
		(create-accessor read-write))
	(multislot independentProbability
;+		(comment "One of the basic &%ProbabilityRelations. (&%independentProbability ?FORMULA1 ?FORMULA2) means that the probabilities of ?FORMULA1 and ?FORMULA2 being true are independent.")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(inverse-slot independentProbability)
		(create-accessor read-write))
	(multislot profit
;+		(comment "The positive gain from an investment or business operation after subtracting for all expenses.")
		(type INSTANCE)
;+		(allowed-classes CurrencyMeasure)
		(create-accessor read-write))
	(multislot links
;+		(comment "a &%TernaryPredicate that specifies the &%GraphArc connecting two &%GraphNodes.")
		(type INSTANCE)
;+		(allowed-classes GraphArc)
		(create-accessor read-write))
	(single-slot filename
;+		(comment "A relation between a &%SymbolicString and an instance of &%ComputerData that specified the filename of the data on a particular computer file system.  This relation is for a fully qualified filename including a device specification such as a drive letter or name, a directory, and a name.  This can include names that are aliases for a different physical file location.  It does not include the specification of a particular machine on a network, such as an internet domain name, although it may reference a device specification that ultimately resolves to a storage device on a network.")
		(type INSTANCE)
;+		(allowed-classes ComputerData)
;+		(cardinality 0 1)
;+		(subslot-of names)
		(create-accessor read-write))
	(single-slot PowerSetFn
;+		(comment "(&%PowerSetFn ?CLASS) maps the &%SetOrClass ?CLASS to the &%SetOrClass of all &%subclasses of ?CLASS.")
		(type SYMBOL)
;+		(allowed-parents SetOrClass)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot %3ADomain2Class
;+		(comment "The third argument of a higher-arity relation, after usual domain and range.")
		(type INSTANCE)
;+		(allowed-classes %3ASKIF-CLASS)
;+		(cardinality 0 1)
;+		(associated-facet SUMO148_00000)
		(create-accessor read-write))
	(multislot exists
;+		(comment "The existential quantifier of predicate logic.")
		(type INSTANCE)
;+		(allowed-classes Formula)
		(create-accessor read-write))
	(single-slot enjoys
;+		(comment "(&%enjoys ?AGENT ?PROCESS) means that the &%CognitiveAgent ?AGENT tends to enjoy actions of type ?PROCESS, i.e. tends to enjoy being the &%agent or &%experiencer of such actions.")
		(type INSTANCE)
;+		(allowed-classes IntentionalProcess)
;+		(cardinality 0 1)
;+		(subslot-of inScopeOfInterest)
		(create-accessor read-write))
	(multislot processAborted
;+		(comment "(&%processAborted ?Abort ?Process) means that the &%ComputerProcess ?Process is aborted as the result of ?Abort.")
		(type INSTANCE)
;+		(allowed-classes ComputerProcess)
		(create-accessor read-write))
	(single-slot AbsoluteValueFn
;+		(comment "The value of (&%AbsoluteValueFn ?NUMBER) is the absolute value of the &%RealNumber ?NUMBER.")
		(type INSTANCE)
;+		(allowed-classes NonnegativeRealNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot partlyLocated
;+		(comment "(&%partlyLocated ?THING ?OBJ) means that the instance of &%Physical ?THING is at least partially located at ?OBJ.  For example, Istanbul is partly located in Asia and partly located in Europe. Note that &%partlyLocated is the most basic localization relation:  &%located is an immediate &%subrelation of &%partlyLocated and &%exactlyLocated is an immediate &%subrelation of &%located.")
		(type INSTANCE)
;+		(allowed-classes Object)
		(create-accessor read-write))
	(multislot stockOf
;+		(comment "(&%stockOf ?Stock ?Corporation) means that ?Stock is issued by the &%Corporation ?Corporation.")
		(type INSTANCE)
;+		(allowed-classes Corporation)
		(create-accessor read-write))
	(single-slot MereologicalDifferenceFn
;+		(comment "(&%MereologicalDifferenceFn ?OBJ1 ?OBJ2) denotes the &%Object consisting of the parts which belong to ?OBJ1 and not to ?OBJ2.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot requestRate
;+		(comment "(&%requestRate ?Request ?Period) means that ?Period is the period at which the user sends its ?Request.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
;+		(cardinality 0 1)
;+		(subslot-of frequency)
		(create-accessor read-write))
	(multislot monitorComponentData
;+		(comment "(&%monitorComponentData ?TIME ?ID ?NUMBER) holds if at time ?TIME, a component with the &%IDNumber ?ID has a performance of a value ?NUMBER.")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
		(create-accessor read-write))
	(single-slot bottom
;+		(comment "(&%bottom ?BOTTOM ?OBJECT) holds if ?BOTTOM is the lowest or deepest maximal superficial part of ?OBJECT.")
		(type INSTANCE)
;+		(allowed-classes SelfConnectedObject)
;+		(cardinality 0 1)
;+		(subslot-of superficialPart)
		(create-accessor read-write))
	(single-slot ExponentiationFn
;+		(comment "(&%ExponentiationFn ?NUMBER ?INT) returns the &%RealNumber ?NUMBER raised to the power of the &%Integer ?INT.")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot candidateForPosition
;+		(comment "(&%candidateForPosition ?ELECTION ?POSITION ?CONTENDER) means that in the &%Election ?ELECTION for ?POSITION, the &%Agent ?CONTENDER was one of the candidates.")
		(type INSTANCE)
;+		(allowed-classes Agent)
		(create-accessor read-write))
	(single-slot pointOfFigure
;+		(comment "(&%pointOfFigure ?POINT ?FIGURE) means that the &%GeometricPoint ?POINT is part of the &%GeometricFigure ?FIGURE.")
		(type INSTANCE)
;+		(allowed-classes GeometricFigure)
;+		(cardinality 0 1)
;+		(subslot-of geometricPart)
		(create-accessor read-write))
	(multislot representativeAgentToAgent
;+		(comment "(&%representativeAgentToAgent ?SENDER ?REP ?RECEIVER) means that the &%Agent ?SENDER has the &%Agent ?REP as its representative to the &%Agent ?RECEIVER.  ?REP works for ?SENDER and is not assumed to be an impartial mediator.")
		(type INSTANCE)
;+		(allowed-classes Agent)
		(create-accessor read-write))
	(single-slot fills
;+		(comment "Holes can be filled.  (&%fills ?OBJ ?HOLE) means that the &%Object ?OBJ fills the &%Hole ?HOLE.  Note that &%fills here means perfectly filled.")
		(type INSTANCE)
;+		(allowed-classes Hole)
;+		(cardinality 0 1)
;+		(subslot-of completelyFills properlyFills)
		(create-accessor read-write))
	(multislot systemMeasured
;+		(comment "(&%systemMeasured ?Event ?System) means that ?Event is an event of measuring the performance of the &%ComputationalSystem ?System.")
		(type INSTANCE)
;+		(allowed-classes ComputationalSystem)
		(create-accessor read-write))
	(single-slot partiallyFills
;+		(comment "(&%partiallyFills ?OBJ ?HOLE) means that ?OBJ &%completelyFills some part of ?HOLE. Note that if (&%partiallyFills ?OBJ1 ?HOLE) and (&%part ?OBJ1 ?OBJ2), then (&%partiallyFills ?OBJ2 ?HOLE). Note too that a partial filler need not be wholly inside a hole (it may stick out), which means that every complete filler also qualifies as (is a limit case of) a partial one.")
		(type INSTANCE)
;+		(allowed-classes Hole)
;+		(cardinality 0 1)
;+		(subslot-of located)
		(create-accessor read-write))
	(single-slot EndNodeFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes GraphNode)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot %3AhasUsage
;+		(comment "This relation records the usage for a synonymous word: one of a list of possibilities.")
		(type SYMBOL)
		(allowed-values preferred deprecated technical slang)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot ExecutiveBranchFn
;+		(comment "(&%ExecutiveBranchFn ?ORG) denotes the executive branch of ?ORG, with all its officials and agencies, considered as a whole.")
		(type INSTANCE)
;+		(allowed-classes Organization)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot disjointRelation
;+		(comment "This predicate relates any number of &%Relations.  (&%disjointRelation @ROW) means that any two relations in @ROW have no tuples in common.  As a consequence, the intersection of all of the relations in @ROW is the null set.")
		(type INSTANCE)
;+		(allowed-classes %3ASKIF-SLOT)
;+		(associated-facet SKIFcore4_00381)
		(create-accessor read-write))
	(single-slot administrativeCenter
;+		(comment "(&%administrativeCenter ?CENTER ?REGION) means that ?CENTER is the &%City (or other area) from which the larger &%GeopoliticalArea ?REGION is administered.")
		(type INSTANCE)
;+		(allowed-classes GeopoliticalArea)
;+		(cardinality 0 1)
;+		(subslot-of geopoliticalSubdivision)
		(create-accessor read-write))
	(single-slot MicroFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes UnitOfMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot meetsTemporally
;+		(comment "(&%meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the &%TimeInterval ?INTERVAL1 is the initial point of the &%TimeInterval ?INTERVAL2.")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
		(create-accessor read-write))
	(multislot starts
;+		(comment "(&%starts ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both &%TimeIntervals that have the same initial &%TimePoint and that ?INTERVAL1 ends before ?INTERVAL2.")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
		(create-accessor read-write))
	(single-slot CPUUtilizationFn
;+		(comment "(&%CPUUtilizationFn ?PROGRAM) refers to the percentage of time the CPU is used by an application ?PROGRAM.")
		(type INSTANCE)
;+		(allowed-classes ConstantQuantity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot electronNumber
;+		(comment "(&%electronNumber ?SUBSTANCE ?NUMBER) means that the &%PureSubstance ?SUBSTANCE has the number of &%Electrons ?NUMBER.")
		(type INSTANCE)
;+		(allowed-classes PositiveInteger)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot AdditionFn
;+		(comment "If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot runningOn
;+		(comment "(runningOn ?Program ?Computer) holds if the &%ComputerProgram ?Program is being executed on ?Computer.")
		(type INSTANCE)
;+		(allowed-classes Computer)
		(create-accessor read-write))
	(multislot confersRight
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
		(create-accessor read-write))
	(single-slot home
;+		(comment "The relation between a &%Human and a home of the &%Human.")
		(type INSTANCE)
;+		(allowed-classes StationaryArtifact)
;+		(cardinality 0 1)
;+		(subslot-of inhabits)
		(create-accessor read-write))
	(multislot parallel
;+		(comment "(&%parallel ?LINE1 ?LINE2) means that the &%OneDimensionalFigures ?LINE1 and ?LINE2 are parallel to one another, i.e. they are equidistant from one another at every point.")
		(type INSTANCE)
;+		(allowed-classes OneDimensionalFigure)
		(create-accessor read-write))
	(multislot defaultNetwork
;+		(comment "(&%defaultNetwork ?SYSTEM ?NET) holds if ?NET is the default network of the &%HardwareSystem ?SYSTEM.")
		(type INSTANCE)
;+		(allowed-classes ComputerNetwork)
		(create-accessor read-write))
	(multislot desires
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(subslot-of inScopeOfInterest)
		(create-accessor read-write))
	(single-slot synonymousExternalConcept
;+		(comment "(&%synonymousExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING has the same meaning as ?STRING in ?LANGUAGE.")
		(type INSTANCE)
;+		(allowed-classes %3ALanguage Language)
;+		(cardinality 0 1)
;+		(subslot-of relatedExternalConcept)
		(create-accessor read-write))
	(multislot graphPart
;+		(comment "A basic relation for &%Graphs and their parts.  (&%graphPart ?PART ?GRAPH) means that ?PART is a &%GraphArc or &%GraphNode of the &%Graph ?GRAPH.")
		(type INSTANCE)
;+		(allowed-classes Graph)
		(create-accessor read-write))
	(multislot runsOn
;+		(comment "(runsOn ?Program ?Computer) means that ?Program is capable of running on ?Computer.")
		(type INSTANCE)
;+		(allowed-classes Computer)
		(create-accessor read-write))
	(multislot programRunning
;+		(comment "(&%programRunning ?Process ?Program) means that the &%ComputerProcess ?Process is executing the &%ComputerProgram ?Program.")
		(type INSTANCE)
;+		(allowed-classes ComputerProgram)
		(create-accessor read-write))
	(single-slot %3AhasReturnType
;+		(comment ":hasReturnType specifies the return type for a :Method that is attached to a Function.  The value returned will be an instance of a class.")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot inhabits
;+		(comment "A very basic notion of living within something else.  (&%inhabits ?ORGANISM ?OBJECT) means that ?OBJECT is the residence, nest, home, etc. of ?ORGANISM.")
		(type INSTANCE)
;+		(allowed-classes Object)
		(create-accessor read-write))
	(multislot connected
;+		(comment "(connected ?OBJ1 ?OBJ2) means that ?OBJ1 &%meetsSpatially ?OBJ2 or that ?OBJ1 &%overlapsSpatially ?OBJ2.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(inverse-slot connected)
		(create-accessor read-write))
	(multislot periodicPayment
;+		(comment "(&%periodicPayment ?Account ?Amount ?Period) holds if ?Amount is the amount that must be made from the &%FinancialAccount ?Account after every period of duration ?Period.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
		(create-accessor read-write))
	(multislot beforeOrEqual
;+		(comment "(&%beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.")
		(type INSTANCE)
;+		(allowed-classes TimePoint)
		(create-accessor read-write))
	(single-slot PropertyFn
;+		(comment "A &%UnaryFunction that maps an &%Agent to the &%Set of &%Property owned by the &%Agent.")
		(type INSTANCE)
;+		(allowed-classes Set)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot ExtensionFn
;+		(comment "A &%UnaryFunction that maps an &%Attribute into the &%Class whose condition for membership is the &%Attribute.")
		(type INSTANCE)
;+		(allowed-classes Class)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot subList
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes List)
		(create-accessor read-write))
	(multislot hostOf
;+		(comment "(hostOf ?SYSTEM ?COMPUTER) means that ?COMPUTER is the host of the computational system ?SYSTEM.")
		(type INSTANCE)
;+		(allowed-classes Computer)
		(create-accessor read-write))
	(single-slot %3AinputFile
;+		(comment ":inputFile is the name of the file from which a particular module  was derived.")
		(type STRING)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot StartupFn
;+		(comment "(&%StartupFn ?Program) returns an instance of &%StartupBlock which contains the instructions to start the ?Program.")
		(type INSTANCE)
;+		(allowed-classes StartupBlock)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot TimeIntervalFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot doubts
;+		(comment "(&%doubts ?AGENT ?FORMULA) means that ?AGENT is unsure about the truth of ?FORMULA, in particular ?AGENT does not believe that ?FORMULA is true.")
		(type INSTANCE)
;+		(allowed-classes Formula)
		(create-accessor read-write))
	(multislot hasExpertise
;+		(comment "(&%hasExpertise ?PERSON ?FIELD) means that ?PERSON has studied the &%FieldOfStudy ?FIELD and is regarded as an expert.")
		(type INSTANCE)
;+		(allowed-classes FieldOfStudy)
		(create-accessor read-write))
	(single-slot RealNumberFn
;+		(comment "(RealNumberFn ?NUMBER) returns the part of ?NUMBER that is a &%RealNumber.")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot crosses
;+		(comment "(crosses ?OBJ1 ?OBJ2) means that &%Object ?OBJ1 &%traverses Object ?OBJ2, without being &%connected to it.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of traverses)
		(create-accessor read-write))
	(single-slot initialList
;+		(comment "(&%initialList ?LIST1 ?LIST2) means that ?LIST1 is a &%subList of ?LIST2 and (&%ListOrderFn ?LIST1 ?NUMBER) returns the same value as (&%ListOrderFn ?LIST2 ?NUMBER) for all of the values of ?NUMBER over which (&%ListOrderFn ?LIST1 ?NUMBER) is defined.")
		(type INSTANCE)
;+		(allowed-classes List)
;+		(cardinality 0 1)
;+		(subslot-of subList)
		(create-accessor read-write))
	(single-slot memorySize
;+		(comment "(&%memorySize ?System ?Size) holds if ?Size is the required memory size for the &%ComputationalSystem ?System.")
		(type INSTANCE)
;+		(allowed-classes ConstantQuantity)
;+		(cardinality 0 1)
;+		(subslot-of measure)
		(create-accessor read-write))
	(multislot forall
;+		(comment "The universal quantifier of predicate logic.")
		(type INSTANCE)
;+		(allowed-classes Formula)
		(create-accessor read-write))
	(multislot representsForAgent
;+		(comment "A very general predicate. (&%representsForAgent ?THING ?ENTITY ?AGENT) means that the ?AGENT chooses to use the &%instance of &%Physical ?THING to 'stand for' ?ENTITY.")
		(type INSTANCE)
;+		(allowed-classes Agent)
		(create-accessor read-write))
	(single-slot atomicNumber
;+		(comment "(&%atomicNumber ?ELEMENT ?NUMBER) means that the &%ElementalSubstance ?ELEMENT has the atomic number ?NUMBER. The atomic number is the number of &%Protons in the nucleus of an &%Atom.")
		(type INSTANCE)
;+		(allowed-classes PositiveInteger)
;+		(cardinality 0 1)
;+		(subslot-of protonNumber)
		(create-accessor read-write))
	(single-slot taskRelation
;+		(comment "(&%taskRelation ?System ?Attribute) holds if ?Attribute is a &%TaskRelationAttribute which describes the &%RealtimeSystem ?System.")
		(type INSTANCE)
;+		(allowed-classes TaskRelationAttribute)
;+		(cardinality 0 1)
;+		(subslot-of property)
		(create-accessor read-write))
	(single-slot grasps
;+		(comment "The state of grasping an &%Object.  (&%grasps ?ANIMAL ?OBJ) means that the &%Animal ?ANIMAL is intentionally holding on to the &%Object ?OBJ.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of meetsSpatially)
		(create-accessor read-write))
	(single-slot width
;+		(comment "&%BinaryPredicate that is used to state the measure of an &%Object from side to side at its widest span.")
		(type INSTANCE)
;+		(allowed-classes LengthMeasure)
;+		(cardinality 0 1)
;+		(subslot-of length)
		(create-accessor read-write))
	(single-slot YearFn
;+		(comment "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.")
		(type SYMBOL)
;+		(allowed-parents Year)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot %3AInstanceAssertions
;+		(comment "assertions at the instance level that reference this instance.")
		(type INSTANCE)
;+		(allowed-classes %3AAssertion)
		(create-accessor read-write))
	(multislot range
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
		(create-accessor read-write))
	(multislot faces
;+		(comment "(&%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).")
		(type INSTANCE)
;+		(allowed-classes DirectionalAttribute)
		(create-accessor read-write))
	(single-slot average
;+		(comment "A partial function that relates a &%List to a &%RealNumber, provided that the &%List only has list elements that are &%RealNumbers. The &%RealNumber associated with the &%List is equal to the mathematical average of the &%RealNumbers in the &%List divided by the total number of list elements.")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot %3ASKIF-statement
;+		(comment "The field which holds the Axioms imported from a SKIF file.  In versions of Protege earlier than 2.1 axioms were stored in subclasses of PAL-constraint, but new format checking has made that difficult.")
		(type STRING)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot citizen
;+		(comment "(&%citizen ?PERSON ?NATION) means that the &%Human ?PERSON is a citizen of &%Nation ?NATION.")
		(type INSTANCE)
;+		(allowed-classes Nation)
		(create-accessor read-write))
	(multislot occupiesPosition
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Organization)
		(create-accessor read-write))
	(multislot hasAccount
;+		(comment "(&%hasAccount ?User ?Account) holds if ?User is assigned the &%UserAccount ?Account.")
		(type INSTANCE)
;+		(allowed-classes UserAccount)
;+		(subslot-of possesses)
		(create-accessor read-write))
	(single-slot GeneralizedIntersectionFn
;+		(comment "A &%UnaryFunction that takes a &%SetOrClass of &%Classes as its single argument and returns a &%SetOrClass which is the intersection of all of the &%Classes in the original &%SetOrClass, i.e. the &%SetOrClass containing just those instances which are instances of all instances of the original &%SetOrClass.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot programCopy
;+		(comment "(&%programCopy ?File ?Program) means that the &%ComputerFile ?File is one of the copies of the &%ComputerProgram ?Program.")
		(type INSTANCE)
;+		(allowed-classes ComputerProgram)
;+		(cardinality 0 1)
;+		(subslot-of containsInformation)
		(create-accessor read-write))
	(multislot contains
;+		(comment "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 &%part should be used. (&%contains ?OBJ1 ?OBJ2) means that the &%SelfConnectedObject ?OBJ1 has a space (i.e. a &%Hole) which is at least partially filled by ?OBJ2.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(subslot-of partlyLocated)
		(create-accessor read-write))
	(single-slot MilliFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes UnitOfMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot %3AhasInstanceMethod
;+		(comment ":hasInstanceMethod  points to a Java method that may be atttached to an instance of a class.  Unlike a class method, which is a  static method, instance methods should be specific to instances. This relation can be used judiciously to allow specifying restrictions on interpretation of the meanings of instances, and to provide a code that may substitute for certain axioms related to an instance.")
		(type INSTANCE)
;+		(allowed-classes %3AMethod)
		(create-accessor read-write))
	(single-slot diameter
;+		(comment "&%BinaryPredicate that is used to state the measure of a circular &%Object from side to side.  (&%diameter ?CIRCLE ?LENGTH) means that the diameter of the &%Circle ?CIRCLE has a length of ?LENGTH.")
		(type INSTANCE)
;+		(allowed-classes LengthMeasure)
;+		(cardinality 0 1)
;+		(subslot-of width)
		(create-accessor read-write))
	(multislot partition2
;+		(comment "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 \nin the partition.")
		(type INSTANCE)
;+		(allowed-classes %3ASKIF-CLASS)
;+		(subslot-of partition)
		(create-accessor read-write))
	(single-slot NanoFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes UnitOfMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot %3AhasClassMethod
;+		(comment ":hasClassMethod points to a Java method that may be atttached to a class.  When attached to a class, it is equivalent to a static method.  This relation can be used judiciously to allow specifying restrictions on interpretation of classes, and to provide a code that may substitute for certain axioms related to a class.")
		(type INSTANCE)
;+		(allowed-classes %3AMethod)
;+		(associated-facet SKIFcore_00434)
		(create-accessor read-write))
	(multislot time
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes TimePosition)
		(create-accessor read-write))
	(single-slot half
;+		(comment "(&%half ?HALF ?WHOLE) means that ?HALF is one half of ?WHOLE.")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of part)
		(create-accessor read-write))
	(multislot criticalityLevel
;+		(comment "(&%criticalityLevel ?PROGRAM ?INTEGER) holds just in case ?INTEGER indicates the relative priority of ?PROGRAM with respect to other applications within the &%SoftwareSystem.")
		(type INSTANCE)
;+		(allowed-classes Integer)
		(create-accessor read-write))
	(multislot dependencyDelay
;+		(comment "if the dependency type is &%StartupBlock, then (&%dependencyDelay ?PROGRAM ?TIME) means that the application ?PROGRAM can only be started after a dependency delay of ?TIME after the startup of the application. If the dependency type is &%ShutdownBlock, then (&%dependencyDelay ?PROGRAM ?TIME) means that the application ?PROGRAM can only be stopped after a dependency delay of ?TIME after the application is stopped.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
		(create-accessor read-write))
	(multislot incomeEarned
;+		(comment "(&%incomeEarned ?Agent ?Money ?Action) means that ?Agent earned the amount of money ?Money from performing ?Action.  Note that &%incomeEarned denotes that amount of money made before taxes are deducted.")
		(type INSTANCE)
;+		(allowed-classes IntentionalProcess)
		(create-accessor read-write))
	(multislot pathLength
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes PositiveInteger)
		(create-accessor read-write))
	(single-slot manner
;+		(comment "(&%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.")
		(type INSTANCE)
;+		(allowed-classes Attribute)
;+		(cardinality 0 1)
;+		(subslot-of property)
		(create-accessor read-write))
	(single-slot geographicSubregion
;+		(comment "(&%geographicSubregion ?PART ?WHOLE) means that the &%GeographicArea ?PART is part of the &%GeographicArea ?WHOLE.")
		(type INSTANCE)
;+		(allowed-classes GeographicArea)
;+		(cardinality 0 1)
;+		(subslot-of properPart located)
		(create-accessor read-write))
	(single-slot side
;+		(comment "(&%side ?SIDE ?OBJECT) means that ?SIDE is a side of the object, as opposed to the &%top or &%bottom.")
		(type INSTANCE)
;+		(allowed-classes SelfConnectedObject)
;+		(cardinality 0 1)
;+		(subslot-of superficialPart)
		(create-accessor read-write))
	(single-slot collectRate
;+		(comment "(&%collectRate ?System ?Period) holds if ?Period is the period at which &%ComputationalSystem ?System collects data.")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
;+		(cardinality 0 1)
;+		(subslot-of frequency)
		(create-accessor read-write))
	(single-slot IntegerSquareRootFn
;+		(comment "(&%IntegerSquareRootFn ?NUMBER) returns the integer square root of ?NUMBER.")
		(type INSTANCE)
;+		(allowed-classes NonnegativeInteger)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot unitMeasuringPerformance
;+		(comment "(&%unitMeasuringPerformance ?COMPONENT ?UNIT) holds in case ?UNIT is an instance of &%UnitOfMeasure which is used to measure the performance of ?COMPONENT.")
		(type INSTANCE)
;+		(allowed-classes UnitOfMeasure)
		(create-accessor read-write))
	(single-slot SquareRootFn
;+		(comment "(SquareRootFn ?NUMBER) is the principal square root of ?NUMBER.")
		(type INSTANCE)
;+		(allowed-classes Number)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot dependentGeopoliticalArea
;+		(comment "(&%dependentGeopoliticalArea ?AREA1 ?AREA2) means that ?AREA1 is a geopolitical possession of the &%GeopoliticalArea ?AREA2 and is not a &%geopoliticalSubdivision of ?AREA2.  For example, (&%dependentGeopoliticalArea &%Guam &%UnitedStates), because Guam is a territory of the &%UnitedStates, not one of the fifty U.S. states.  Contrast &%primaryGeopoliticalSubdivision.")
		(type INSTANCE)
;+		(allowed-classes GeopoliticalArea)
;+		(subslot-of claimedTerritory)
		(create-accessor read-write))
	(multislot loss
;+		(comment "The amount by which the cost of an investment or business operation exceeds its return, i.e. the negative quantity left after subtracting for all expenses.")
		(type INSTANCE)
;+		(allowed-classes CurrencyMeasure)
		(create-accessor read-write))
	(multislot subPlan
;+		(comment "(&%subPlan ?PLAN1 ?PLAN2) means that ?PLAN1 is a &%Plan which is a proper part of ?PLAN2.  This relation is generally used to relate a supporting &%Plan to the overall &%Plan in a particular context.")
		(type INSTANCE)
;+		(allowed-classes Plan)
;+		(subslot-of subProposition)
		(create-accessor read-write))
	(single-slot ListLengthFn
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes NonnegativeInteger)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot subGraph
;+		(comment "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.")
		(type INSTANCE)
;+		(allowed-classes Graph)
		(create-accessor read-write))
	(multislot electionForPosition
;+		(comment "(&%electionForPosition ?ELECTION ?POSITION) means that in the &%Election ?ELECTION, candidates run for election to the role(s) ?POSITION.")
		(type INSTANCE)
;+		(allowed-classes SocialRole)
		(create-accessor read-write))
	(single-slot %3Aarg3
;+		(comment "argument 3 of a higher-artity relation.  The argument can be an instance of Class, Slot, or metaclass.")
		(type INSTANCE)
;+		(allowed-classes %3ASTANDARD-CLASS %3ASTANDARD-SLOT Entity)
;+		(cardinality 1 1)
		(create-accessor read-write))
	(multislot %3AClassPredicates
;+		(comment ":ClassPredicates shows the list of predicates which are asserted on a class but do not have their own facet pane in the class display  window.  They are given as strings and do not directly point to the classes or instances whjich may be values of the predicate arguments.")
		(type STRING)
		(create-accessor read-write))
	(single-slot %3ADomain4Type
;+		(comment "The type of the fifth argument, class or instance.\n    Specifies whether the first domain argument is an instance of the specified class or a subclass.\n  In SUMO, this signals whether the proposition describing the domains of the relation use the relation name \"domain\" or \"domainSubclass\".")
		(type SYMBOL)
		(allowed-values Class Instance)
;+		(cardinality 0 1)
;+		(associated-facet UBLinv018t_00306)
		(create-accessor read-write))
	(single-slot ShutdownFn
;+		(comment "(&%ShutdownFn ?Program) returns an instance of &%ShutdownBlock which contains the instructions to end ?PROGRAM.")
		(type INSTANCE)
;+		(allowed-classes ShutdownBlock)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot WhereFn
;+		(comment "Maps an &%Object and a &%TimePoint at which the &%Object exists to the &%Region where the &%Object existed at that &%TimePoint.")
		(type INSTANCE)
;+		(allowed-classes Region)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot attribute
;+		(comment "(&%attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a &%Attribute of ?OBJECT.  For example, (&%attribute &%MyLittleRedWagon &%Red).")
		(type INSTANCE)
;+		(allowed-classes Attribute)
;+		(cardinality 0 1)
;+		(subslot-of property)
		(create-accessor read-write))
	(single-slot InitialProfileFn
;+		(comment "The function which returns as its value the initial profile of the program, i.e. a report of its execution characteristics.")
		(type INSTANCE)
;+		(allowed-classes ComputerReport)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot standardOutputDevice
;+		(comment "(&%standardOutputDevice ?PROGRAM ?DEVICE) holds just in case the DEVICE is the predefined output channel with which the running version of this program is initialised.")
		(type INSTANCE)
;+		(allowed-classes ComputerOutputDevice)
;+		(cardinality 0 1)
;+		(subslot-of instrument)
		(create-accessor read-write))
	(single-slot GeneralizedUnionFn
;+		(comment "A &%UnaryFunction that takes a &%SetOrClass of &%Classes as its single argument and returns a &%SetOrClass which is the merge of all of the &%Classes in the original &%SetOrClass, i.e. the &%SetOrClass containing just those instances which are instances of an instance of the original &%SetOrClass.")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot postalBoxNumber
;+		(comment "(&%postalBoxNumber ?NUMBER ?ADDRESS) means that the post office box ?NUMBER is part of the address ?ADDRESS.")
		(type INSTANCE)
;+		(allowed-classes Address)
;+		(cardinality 0 1)
;+		(subslot-of uniqueIdentifier)
		(create-accessor read-write))
	(single-slot groupMember
;+		(comment "A &%subrelation of &%member, &%groupMember is used to relate a &%Human to a &%GroupOfPeople of which he/she is a &%member.