; Wed Jan 21 16:03:02 GMT-05:00 2004
; 
;+ (version "1.9")
;+ (build "Build 1120")


(defclass %3ACLIPS_TOP_LEVEL_SLOT_CLASS
	(is-a USER)
	(role concrete)
	(single-slot subOrganization_2
;+		(comment "\"(&%subOrganization ?ORG1 ?ORG2) means that ?ORG1 is an &%Organization which is a proper part of the &%Organization ?ORG2.\"")
		(type INSTANCE)
;+		(allowed-classes Organization)
;+		(cardinality 0 1)
;+		(subslot-of subCollection_2)
		(create-accessor read-write))
	(single-slot CardinalityFn_3
;+		(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 property_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot MinuteFn_2
;+		(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))
	(single-slot modalAttribute_3
;+		(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)
;+		(cardinality 0 1)
;+		(subslot-of property_1)
		(create-accessor read-write))
	(single-slot considers_1
;+		(comment "\"(&%considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA.\"")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(cardinality 0 1)
;+		(subslot-of inScopeOfInterest_2)
		(create-accessor read-write))
	(single-slot student_1
;+		(comment "\"(&%student ?AGENT ?ORG) means that ?AGENT is enrolled in the &%EducationalOrganization ?ORG.\"")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
;+		(cardinality 0 1)
;+		(subslot-of member_2)
		(create-accessor read-write))
	(single-slot RoundFn_3
;+		(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))
	(single-slot connects_2
;+		(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)
;+		(cardinality 0 1)
;+		(inverse-slot connects_2)
		(create-accessor read-write))
	(single-slot capacity_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot dependentGeopoliticalArea_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot successorAttributeClosure_3
;+		(comment "\"The transitive closure of &%successorAttribute.  (&%successorAttributeClosure ?ATTR1 ?ATTR2) means that there is a chain of &%successorAttribute assertions connecting ?ATTR1 and ?ATTR2.\"")
		(type INSTANCE)
;+		(allowed-classes Attribute)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot connectsEngineeringComponents
;+		(comment "\"&%connectsEngineeringComponents is a &%TernaryPredicate that maps from an &%EngineeringConnection to the &%EngineeringComponents it connects.  Since &%EngineeringComponents cannot be connected to themselves and there cannot be an &%EngineeringConnection without a &%connectedEngineeringComponents &%Predicate, the second and third arguments of any &%connectsEngineeringComponents relationship will always be distinct for any given first argument.\"")
		(type INSTANCE)
;+		(allowed-classes EngineeringComponent)
;+		(cardinality 0 1)
;+		(subslot-of connects_2)
		(create-accessor read-write))
	(single-slot %3ADomain4Class
;+		(comment "The class of the fifth argument")
		(type INSTANCE)
;+		(allowed-classes %3AUBL-CLASS)
;+		(cardinality 0 1)
;+		(associated-facet UBLinv018t_00302)
		(create-accessor read-write))
	(single-slot subList_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot economyType_1
;+		(comment "\"(&%economyType ?POLITY ?TYPE) means that the &%GeopoliticalArea ?POLITY has an economic system of &%TYPE.\"")
		(type INSTANCE)
;+		(allowed-classes EconomicAttribute)
;+		(cardinality 0 1)
;+		(subslot-of attribute_2)
		(create-accessor read-write))
	(single-slot SineFn_2
;+		(comment "\"(&%SineFn ?DEGREE) is the sine of the &%PlaneAngleMeasure ?DEGREE.  The sine of ?DEGREE is the ratio of the side opposite ?DEGREE to the hypotenuse in a right-angled triangle.\"")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot CeilingFn_2
;+		(comment "\"(&%CeilingFn ?NUMBER) returns the smallest &%Integer greater than or equal to the &%RealNumber ?NUMBER.\"")
		(type INSTANCE)
;+		(allowed-classes Integer)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot LogFn_1
;+		(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 starts_4
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot lessThanOrEqualTo_3
;+		(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)
;+		(cardinality 0 1)
;+		(inverse-slot greaterThanOrEqualTo_3)
		(create-accessor read-write))
	(single-slot titles_1
;+		(comment "\"A predicate used to indicate the title of a &%Text. Note that the second argument type restriction is a subclass, rather than an instance, of &%Text.  Thus, the title Murder_on_the_Orient_Express corresponds to a large class of &%Books, and not just to a single copy of the book.\"")
		(type INSTANCE)
;+		(allowed-classes Text)
;+		(cardinality 0 1)
;+		(subslot-of names)
		(create-accessor read-write))
	(single-slot currentAccountBalance_1
;+		(comment "\"(&%currentAccountBalance ?Account ?Date ?Amount) means that ?Amount is the balance of the &%FinancialAccount ?Account as of the date ?Date.\"")
		(type INSTANCE)
;+		(allowed-classes CurrencyMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot telephoneNumber_2
;+		(comment "\"(&%telephoneNumber ?NUMBER ?AGENT) means that ?NUMBER is a telephone number at which ?AGENT can be regularly contacted.\"")
		(type INSTANCE)
;+		(allowed-classes Agent)
;+		(cardinality 0 1)
;+		(subslot-of uniqueIdentifier_2)
		(create-accessor read-write))
	(single-slot subsumesContentInstance_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot SecondFn_2
;+		(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 MilliFn_2
;+		(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))
	(single-slot grasps_2
;+		(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_2)
		(create-accessor read-write))
	(single-slot ImmediatePastFn_3
;+		(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))
	(multislot hasField_4
;+		(comment "hasField relates a StructuredText to the fields that comprise its structure. \nFor multiple subfield, see hasField_1, hasField_2, etc.")
		(type INSTANCE)
;+		(allowed-classes)
		(cardinality 2 ?VARIABLE)
		(create-accessor read-write))
	(single-slot brother_2
;+		(comment "\"The general relationship of being a brother. (&%brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.\"")
		(type INSTANCE)
;+		(allowed-classes Human)
;+		(cardinality 0 1)
;+		(subslot-of sibling_3)
		(create-accessor read-write))
	(single-slot hasField_2
;+		(comment "hasField relates a StructuredText to the fields that comprise its structure. \nFor multiple subfield, see hasField_1, hasField_2, etc.")
		(type INSTANCE)
;+		(allowed-classes)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot hasExpertise_1
;+		(comment "\"(&%hasExpertise ?PERSON ?FIELD) means that ?PERSON has studied the &%FieldOfStudy ?FIELD and is regarded as an expert.\"")
		(type INSTANCE)
;+		(allowed-classes FieldOfStudy)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot patientMedical_1
;+		(comment "\"The relation of receiving medical care from a recognized medical practitioner.  (&%patientMedical ?PATIENT ?DOCTOR) means that ?PATIENT is the patient of ?DOCTOR.  Note that argument type restriction on the second argument is &%CognitiveAgent to allow for cases where someone is the patient of an &%Organization, viz. a &%CareOrganization.\"")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot AssignmentFn_2
;+		(comment "\"If F is a function with a value for the objects denoted by N1,..., NK, then the term (AssignmentFn F N1 ... NK) denotes the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined.\"")
		(type INSTANCE)
;+		(allowed-classes %3ARow)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot PerFn_2
;+		(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))
	(single-slot EditionFn_2
;+		(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 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_2)
		(create-accessor read-write))
	(single-slot ImmediateFutureFn_3
;+		(comment "\"A &%UnaryFunction that maps a &%TimePosition to a short, indeterminate &%TimeInterval that immediately follows the &%TimePosition.\"")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot RemainderFn_3
;+		(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 overlapsTemporally_4
;+		(comment "\"(&%overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the &%TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a &%TimeInterval as a common part.\"")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
;+		(cardinality 0 1)
;+		(inverse-slot overlapsTemporally_4)
		(create-accessor read-write))
	(single-slot greaterThanOrEqualTo_3
;+		(comment "\"(&%greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is greater than the &%Quantity ?NUMBER2.\"")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(cardinality 0 1)
;+		(inverse-slot lessThanOrEqualTo_3)
		(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))
	(single-slot increasesLikelihood_3
;+		(comment "\"One of the basic &%ProbabilityRelations. (&%increasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is more likely to be true if ?FORMULA1 is true.\"")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot %3AargumentList
;+		(comment "The :argumentList is the list of top-level arguments (not breaking parenthesized arguments such as functions into their components)\n")
		(type STRING)
		(create-accessor read-write))
	(single-slot parent_3
;+		(comment "\"The general relationship of parenthood. (&%parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.\"")
		(type INSTANCE)
;+		(allowed-classes Organism)
;+		(cardinality 0 1)
;+		(subslot-of familyRelation_2)
		(create-accessor read-write))
	(single-slot entails_2
;+		(comment "\"The operator of logical entailment.  (&%entails ?FORMULA1 ?FORMULA2) means that ?FORMULA2 can be derived from ?FORMULA1 by means of the proof theory of SUO-KIF.\"")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot bottom_1
;+		(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_2)
		(create-accessor read-write))
	(single-slot %3AinLanguage
;+		(comment "inLanguage relates a word -- a string of characters -- to the language in which it is a word.\nThe language may be natural or artificial -- e.g. the terms in an ontology are considered a language for this purpose.")
		(type INSTANCE)
;+		(allowed-classes %3AHumanLanguage)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot governmentType_1
;+		(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_2)
		(create-accessor read-write))
	(single-slot %3AStartingBlock
;+		(comment "The block number fot the block ich starts this module - which should be the module definition block itself.")
		(type INTEGER)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot subAttribute_2
;+		(comment "\"Means that the second argument can be ascribed to everything which has the first argument ascribed to it.\"")
		(type INSTANCE)
;+		(allowed-classes Attribute)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot ExecutiveBranchFn_1
;+		(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))
	(single-slot GigaFn_2
;+		(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))
	(single-slot teacher_1
;+		(comment "\"(&%teacher ?AGENT ?ORG) means that ?AGENT is a teacher at the &%EducationalOrganization ?ORG.\"")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
;+		(cardinality 0 1)
;+		(subslot-of member_2)
		(create-accessor read-write))
	(single-slot subCollection_2
;+		(comment "\"(&%subCollection ?COLL1 ?COLL2) means that the &%Collection ?COLL1 is a proper part of the &%Collection ?COLL2.\"")
		(type INSTANCE)
;+		(allowed-classes Collection)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot engineeringSubcomponent_1
;+		(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_2)
		(create-accessor read-write))
	(single-slot greaterThan_4
;+		(comment "\"(&%greaterThan ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is greater than the &%Quantity ?NUMBER2.\"")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(cardinality 0 1)
;+		(inverse-slot lessThan_4)
		(create-accessor read-write))
	(single-slot BeginFn_3
;+		(comment "\"A &%UnaryFunction that maps a &%TimeInterval to the &%TimePoint at which the interval begins.\"")
		(type INSTANCE)
;+		(allowed-classes TimePoint)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot couponInterest_1
;+		(comment "\"(&%couponInterest ?BOND ?INTEREST) means that ?INTEREST is the periodic interest payment made to bondholders during the life of the ?BOND.\"")
		(type INSTANCE)
;+		(allowed-classes CurrencyMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot currencyType_1
;+		(comment "\"(&%currencyType ?AREA ?UNIT) means that the official currency used in the &%GeopoliticalArea ?AREA is the &%UnitOfMeasure ?UNIT.\"")
		(type INSTANCE)
;+		(allowed-classes UnitOfMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot stockHolder_1
;+		(comment "\"(&%stockHolder ?Stock ?Agent) means that ?Agent possesses the &%Stock ?Stock.\"")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot WhenFn_3
;+		(comment "\"A &%UnaryFunction that maps an &%Object or &%Process to the exact &%TimeInterval during which it exists.  Note that, for every &%TimePoint ?TIME outside of the &%TimeInterval (WhenFn ?THING), (time ?THING ?TIME) does not hold.\"")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot primaryGeopoliticalSubdivision_2
;+		(comment "\"(&%primaryGeopoliticalSubdivision ?AREA ?COUNTRY) means that the &%GeopoliticalArea ?AREA is one of the first-order administrative divisions of the &%Nation ?COUNTRY.  For example, in the United States, any of the fifty states.  This does not include subordinate regions that have a lesser status, such as British Crown colonies, U.S. territories, or protectorates.  See &%geopoliticalSubdivision.\"")
		(type INSTANCE)
;+		(allowed-classes GeopoliticalArea)
;+		(cardinality 0 1)
;+		(subslot-of geopoliticalSubdivision_2)
		(create-accessor read-write))
	(single-slot ListOrderFn_2
;+		(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))
	(single-slot accountHolder
;+		(comment "\"(&%accountHolder ?Account ?Agent) means that ?Agent is the account holder of the &%FinancialAccount ?Account.\"")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
;+		(cardinality 0 1)
;+		(subslot-of agreementMember_2)
		(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))
	(single-slot %3D%3E_2
;+		(comment "\"The truth-functional connective of implication.\"")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot temporallyBetween_2
;+		(comment "\"(&%temporallyBetween ?POINT1 ?POINT2 ?POINT3) means that the &%TimePoint ?POINT2 is between the &%TimePoints ?POINT1 and ?POINT3, i.e. ?POINT1 is before ?POINT2 and ?POINT2 is before ?POINT3.\"")
		(type INSTANCE)
;+		(allowed-classes TimePoint)
;+		(cardinality 0 1)
;+		(subslot-of temporallyBetweenOrEqual_2)
		(create-accessor read-write))
	(single-slot humanCapacity_2
;+		(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 checkAccount_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot headOfGovernment_1
;+		(comment "\"(&%headOfGovernment ?POLITY ?ROLE ?PERSON) means that ?PERSON is the top administrative leader of the &%Government of the &%GeopoliticalArea ?POLITY, with authority for managing its day-to-day functions.  The office held by this person is the &%Position ?ROLE (e.g., President, Prime Minister, Governor). Note: this term is defined as in the CIA World Fact Book.\"")
		(type INSTANCE)
;+		(allowed-classes Human)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot needs_1
;+		(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_2)
		(create-accessor read-write))
	(single-slot subGraph_3
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot MereologicalProductFn_3
;+		(comment "\"(&%MereologicalProductFn ?OBJ1 ?OBJ2) denotes the &%Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2.\"")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot WealthFn_1
;+		(comment "\"A &%UnaryFunction that maps an &%Agent to a &%CurrencyMeasure specifying the value of the property owned by the &%Agent. Note that this &%Function is generally used in conjunction with the &%Function &%PropertyFn, e.g. (&%WealthFn (&%PropertyFn BillGates)) would return the monetary value of the sum of Bill Gates' holdings.\"")
		(type INSTANCE)
;+		(allowed-classes CurrencyMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot trichotomizingOn_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot industryOfArea_1
;+		(comment "\"(&%industryOfArea ?AREA ?SECTOR) means that the &%GeopoliticalArea ?AREA produces goods or services in the economic area ?SECTOR.\"")
		(type INSTANCE)
;+		(allowed-classes IndustryAttribute)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot geometricPart_2
;+		(comment "\"(&%geometricPart ?PART ?WHOLE) means that the &%GeometricFigure ?PART is part of the &%GeometricFigure ?WHOLE.\"")
		(type INSTANCE)
;+		(allowed-classes GeometricFigure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot fears_2
;+		(comment "\"(&%fears ?AGENT ?FORMULA) means that ?AGENT fears 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 undesirable for ?AGENT.\"")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(cardinality 0 1)
;+		(subslot-of expects_2)
		(create-accessor read-write))
	(single-slot superficialPart_2
;+		(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_2)
		(create-accessor read-write))
	(single-slot immediateSubclass_2
;+		(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_2)
		(create-accessor read-write))
	(single-slot NanoFn_2
;+		(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))
	(single-slot FutureFn_3
;+		(comment "\"A &%UnaryFunction that maps a &%TimePosition to the &%TimeInterval which it meets and which ends at &%PositiveInfinity.\"")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot hasPurpose_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot GreatestCommonDivisorFn_3
;+		(comment "\"(&%GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER.\"")
		(type INSTANCE)
;+		(allowed-classes %3ARow)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot completelyFills_3
;+		(comment "\"(&%completelyFills ?OBJ ?HOLE) means that some &%part of the &%Object ?OBJ fills the &%Hole ?HOLE. Note that if (&%completelyFills ?OBJ1 ?HOLE) and (&%part ?OBJ1 ?OBJ2), then (&%completelyFills ?OBJ2 ?HOLE).\"")
		(type INSTANCE)
;+		(allowed-classes Hole)
;+		(cardinality 0 1)
;+		(subslot-of partiallyFills_2)
		(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)
;+		(cardinality 0 1)
;+		(subslot-of relatedExternalConcept)
		(create-accessor read-write))
	(multislot partition
;+		(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.\"")
		(type INSTANCE)
;+		(allowed-classes %3AUBL-CLASS %3ATHING)
		(create-accessor read-write))
	(single-slot father_2
;+		(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_3)
		(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))
	(single-slot partialOrderingOn_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot subsumingExternalConcept
;+		(comment "\"(&%subsumingExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING subsumes the meaning of ?STRING in ?LANGUAGE, i.e. the concept ?THING is broader in meaning than ?STRING.\"")
		(type INSTANCE)
;+		(allowed-classes %3ALanguage)
;+		(cardinality 0 1)
;+		(subslot-of relatedExternalConcept)
		(create-accessor read-write))
	(single-slot tangent_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot maturityDate_1
;+		(comment "\"The date on which the principal amount of the account becomes due and payable.\"")
		(type INSTANCE)
;+		(allowed-classes Day)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot conditionalProbability_2
;+		(comment "\"One of the basic &%ProbabilityRelations. &%conditionalProbability is used to state the numeric value of a conditional probability.  (&%conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER) means that the probability of ?FORMULA2 being true given that ?FORMULA1 is true is ?NUMBER.\"")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot PrincipalHostFn_4
;+		(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 DenominatorFn_2
;+		(comment "\"(&%DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the &%RealNumber ?NUMBER.\"")
		(type INSTANCE)
;+		(allowed-classes Integer)
;+		(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 %3AUBL-SLOT)
;+		(associated-facet SKIFcore4_00381)
		(create-accessor read-write))
	(single-slot component
;+		(comment "\"A specialized common sense notion of part for heterogeneous parts of complexes. (&%component ?COMPONENT ?WHOLE) means that ?COMPONENT is a component of ?WHOLE. Examples of component include the doors and walls of a house, the states or provinces of a country, or the limbs and organs of an animal.  Compare &%piece, which is also a subrelation of &%part.\"")
		(type INSTANCE)
;+		(allowed-classes CorpuscularObject)
;+		(cardinality 0 1)
;+		(subslot-of part_2)
		(create-accessor read-write))
	(multislot %3AisInModule
;+		(comment ":IsInModule is a slot that attaches to both :UBL-SLOT and :UBL-CLASS.\nIt is used to organize the concepts in related groupings.  Initially, the modules specified will be those of the SUMO ontology.\n   we allow a concpet to be inmore than one module, but in order to reproduce the structure of a particular KIF file, only one module should be specified.")
		(type INSTANCE)
;+		(allowed-classes %3AModule)
;+		(associated-facet UBLinv018t_00322)
		(create-accessor read-write))
	(single-slot holdsDuring_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot SignumFn_2
;+		(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 PredecessorFn_2
;+		(comment "\"A &%UnaryFunction that maps an &%Integer to its predecessor, e.g. the predecessor of 5 is 4.\"")
		(type INSTANCE)
;+		(allowed-classes Integer)
;+		(cardinality 0 1)
		(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 %3AUBL-CLASS)
;+		(cardinality 0 1)
;+		(associated-facet UBLcore_00000)
		(create-accessor read-write))
	(multislot hasField_6
;+		(comment "hasField relates a StructuredText to the fields that comprise its structure. \nFor multiple subfield, see hasField1, hasField2, etc.")
		(type INSTANCE)
;+		(allowed-classes)
		(cardinality 2 ?VARIABLE)
		(create-accessor read-write))
	(single-slot duration_3
;+		(comment "\"(&%duration ?POS ?TIME) means that the duration of the &%TimePosition ?POS is ?TIME.  Note that this &%Predicate can be used in conjunction with the &%Function &%WhenFn to specify the duration of any instance of &%Physical.\"")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot ProbabilityFn_4
;+		(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))
	(single-slot ResidentFn_1
;+		(comment "\"(&%ResidentFn ?AREA) denotes the &%GroupOfPeople who have their &%home in ?AREA.\"")
		(type INSTANCE)
;+		(allowed-classes GroupOfPeople)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot refers_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot hasField_5
;+		(comment "hasField relates a StructuredText to the fields that comprise its structure. \nFor multiple subfield, see hasField1, hasField2, etc.")
		(type INSTANCE)
;+		(allowed-classes)
		(cardinality 2 ?VARIABLE)
		(create-accessor read-write))
	(single-slot doubts_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot cooccur_3
;+		(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)
;+		(cardinality 0 1)
;+		(inverse-slot cooccur_3)
		(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))
	(single-slot distance_3
;+		(comment "\"(&%distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT.  Note that the difference between the predicates &%length and &%distance is that the &%length is used to state the &%LengthMeasure of one of the dimensions of a single object, while &%distance is used to state the &%LengthMeasure that separates two distinct objects.\"")
		(type INSTANCE)
;+		(allowed-classes LengthMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot hasOccupation_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot inScopeOfInterest_2
;+		(comment "\"A very general &%Predicate. (&%inScopeOfInterest ?AGENT ?ENTITY) means that ?ENTITY is within the scope of interest of ?AGENT.  Note that the interest indicated can be either positive or negative, i.e. the ?AGENT can have an interest in avoiding or promoting ?ENTITY.\"")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot PerCapitaFn_1
;+		(comment "\"(&%PerCapitaFn ?AREA ?QUANTITY) denotes the average amount of ?QUANTITY possessed by a resident of &%GeopoliticalArea ?AREA.\"")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot FrontFn_5
;+		(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 and_2
;+		(comment "\"The truth-functional connective of conjunction.\"")
		(type INSTANCE)
;+		(allowed-classes %3ARow Formula)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot lacks_1
;+		(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_1)
		(create-accessor read-write))
	(single-slot top_1
;+		(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_2)
		(create-accessor read-write))
	(single-slot loss_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot member_2
;+		(comment "\"A specialized common sense notion of part for uniform parts of &%Collections.  For example, each sheep in a flock of sheep would have the relationship of member to the flock.\"")
		(type INSTANCE)
;+		(allowed-classes Collection)
;+		(cardinality 0 1)
;+		(subslot-of part_2)
		(create-accessor read-write))
	(single-slot temporalPart_3
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot incomeEarned_1
;+		(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)
;+		(cardinality 0 1)
		(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)
;+		(cardinality 0 1)
;+		(subslot-of relatedExternalConcept)
		(create-accessor read-write))
	(single-slot MereologicalSumFn_3
;+		(comment "\"(&%MereologicalSumFn ?OBJ1 ?OBJ2) denotes the &%Object consisting of the parts which belong to either ?OBJ1 or ?OBJ2.\"")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot reflexiveOn_2
;+		(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)
;+		(cardinality 0 1)
		(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 hasField_3
;+		(comment "hasField relates a StructuredText to the fields that comprise its structure. \nFor multiple subfield, see hasField_1, hasField_2, etc.")
		(type INSTANCE)
;+		(allowed-classes)
		(cardinality 2 ?VARIABLE)
		(create-accessor read-write))
	(single-slot beforeOrEqual_3
;+		(comment "\"(&%beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.\"")
		(type INSTANCE)
;+		(allowed-classes TimePoint)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot average_3
;+		(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 profit_1
;+		(comment "\"The positive gain from an investment or business operation after subtracting for all expenses.\"")
		(type INSTANCE)
;+		(allowed-classes CurrencyMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot pathLength_3
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot %3AsynonymousTerm
;+		(comment "A string serving as a synonym for the class label.\n     The value of  the relation :synonymousTerm is a string of characters used as a label for the concept which is represented by the class which has that :Synonym pointed to by the :hasSynonym slot.\n   Technically,  :synonymousTerm is a slot of the class :Synonym.  Instances of  the class :Syonym are the values of the relation :SYNONYMS, which is an own slot of the class :SYN-CLASS.\n")
		(type STRING)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot dislikes_1
;+		(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_2)
		(create-accessor read-write))
	(multislot %3AcommentLines
;+		(comment "The individual comment lines found in a SKIF inpout file.")
		(type STRING)
		(create-accessor read-write))
	(single-slot LeastCommonMultipleFn_3
;+		(comment "\"(&%LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the least common multiple of ?NUMBER1 through ?NUMBER.\"")
		(type INSTANCE)
;+		(allowed-classes %3ARow)
;+		(cardinality 0 1)
		(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_2)
		(create-accessor read-write))
	(single-slot lineMeasure_2
;+		(comment "\"(&%lineMeasure ?LINE ?MEASURE) means that the straight line ?LINE has the &%LengthMeasure of ?MEASURE.\"")
		(type INSTANCE)
;+		(allowed-classes LengthMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot initialList_2
;+		(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_2)
		(create-accessor read-write))
	(single-slot transactionAmount_3
;+		(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 copy_2
;+		(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)
;+		(cardinality 0 1)
;+		(inverse-slot copy_2)
		(create-accessor read-write))
	(single-slot conjugate_4
;+		(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)
;+		(cardinality 0 1)
;+		(inverse-slot conjugate_4)
		(create-accessor read-write))
	(single-slot securedBy_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot price_1
;+		(comment "\"(&%price ?Obj ?Money ?Agent) means that ?Agent pays the amount of money ?Money for ?Obj.\"")
		(type INSTANCE)
;+		(allowed-classes Agent)
;+		(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_1)
		(create-accessor read-write))
	(single-slot origin_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot barometricPressure_2
;+		(comment "\"(&%barometricPressure ?AREA ?PRESSURE) means that the atmospheric pressure measured at ?AREA is ?PRESSURE. Barometric pressure is typically expressed in units of &%InchMercury or &%MmMercury.  For example, standard sea level pressure is 29.92 inches (760 mm) of mercury: (&%barometricPressure &%SeaLevel (&%MeasureFn 29.92 &%InchMercury)).\"")
		(type INSTANCE)
;+		(allowed-classes PressureMeasure)
;+		(cardinality 0 1)
;+		(subslot-of measure_2)
		(create-accessor read-write))
	(multislot partition3
;+		(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 %3AUBL-CLASS %3ATHING)
;+		(subslot-of partition)
		(create-accessor read-write))
	(single-slot larger_4
;+		(comment "\"(&%larger ?OBJ1 ?OBJ2) simply means that ?OBJ1 is larger, with respect to all &%LengthMeasures, than ?OBJ2.\"")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(inverse-slot smaller_4)
		(create-accessor read-write))
	(single-slot ImaginaryPartFn_2
;+		(comment "\"(&%ImaginaryPartFn ?NUMBER) returns the part of ?NUMBER that has the square root of -1 as its factor.\"")
		(type INSTANCE)
;+		(allowed-classes ImaginaryNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot measure_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot %3AliteralTranscription
;+		(comment ":literalTranscription is a byte-for-byte copy of the input proposition.")
		(type STRING)
;+		(cardinality 1 1)
		(create-accessor read-write))
	(single-slot SuccessorFn_2
;+		(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))
	(single-slot penetrates_2
;+		(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_2 meetsSpatially_2)
		(create-accessor read-write))
	(single-slot MicroFn_2
;+		(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))
	(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 electionWinner_1
;+		(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)
;+		(cardinality 0 1)
;+		(subslot-of candidateForPosition_1)
		(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))
	(single-slot graphPart_3
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot connectedEngineeringComponents_2
;+		(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)
;+		(cardinality 0 1)
;+		(inverse-slot connectedEngineeringComponents_2)
;+		(subslot-of connected_4)
		(create-accessor read-write))
	(single-slot MegaFn_2
;+		(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 conclusion_3
;+		(comment "\"(&%conclusion ?ARGUMENT ?PROPOSITION) means that the &%Proposition ?PROPOSITION is the conclusion explicitly drawn from the &%Argument ?ARGUMENT.  Note that it may or may not be the case that ?ARGUMENT &%entails ?PROPOSITION.\"")
		(type INSTANCE)
;+		(allowed-classes Proposition)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot diameter_3
;+		(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_2)
		(create-accessor read-write))
	(single-slot overlapsPartially_4
;+		(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_2)
		(create-accessor read-write))
	(single-slot subProcess_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot path_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot desires_1
;+		(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)
;+		(cardinality 0 1)
;+		(subslot-of inScopeOfInterest_2)
		(create-accessor read-write))
	(single-slot part_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot frequency_2
;+		(comment "\"(frequency ?PROC ?TIME) means that the &%Process type of ?PROC recurs after every interval of ?TIME.\"")
		(type INSTANCE)
;+		(allowed-classes TimeDuration)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot independentProbability_3
;+		(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)
;+		(cardinality 0 1)
;+		(inverse-slot independentProbability_3)
		(create-accessor read-write))
	(single-slot ExtensionFn_2
;+		(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))
	(single-slot equal_3
;+		(comment "\"(equal ?ENTITY1 ?ENTITY2) is true just in case ?ENTITY1 is identical with ?ENTITY2.\"")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
;+		(inverse-slot equal_3)
		(create-accessor read-write))
	(single-slot inhabits_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot side_1
;+		(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_2)
		(create-accessor read-write))
	(single-slot totalOrderingOn_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot possesses_2
;+		(comment "\"&%Relation that holds between an &%Agent and an &%Object when the &%Agent has ownership of the &%Object.\"")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot PeriodicalIssueFn_2
;+		(comment "\"A &%BinaryFunction that maps a subclass of &%Periodical and a number to all of the issues of the &%Periodical corresponding to the number.\"")
		(type SYMBOL)
;+		(allowed-parents Periodical)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot range_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot inhibits_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot maximumCardinality_1
;+		(comment "\"(maximumCardinality ?REL ?NUMBER) means that, for any given assignment of a first argument to ?REL, there will be at most ?NUMBER assignments to the second argument of ?REL.\"")
		(type INSTANCE)
;+		(allowed-classes NonnegativeInteger)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot radius_3
;+		(comment "\"(&%radius ?CIRCLE ?LENGTH) means that the radius of the &%Circle ?CIRCLE has a length of ?LENGTH.\"")
		(type INSTANCE)
;+		(allowed-classes LengthMeasure)
;+		(cardinality 0 1)
		(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 DivisionFn_4
;+		(comment "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%DivisionFn ?NUMBER1 ?NUMBER2) is the result of dividing ?NUMBER1 by ?NUMBER2.  An exception occurs when ?NUMBER1 = 1, in which case (&%DivisionFn ?NUMBER1 ?NUMBER2) is the reciprocal of ?NUMBER2.\"")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(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 angleOfFigure
;+		(comment "\"(&%angleOfFigure ?ANGLE ?FIGURE) means that the &%TwoDimensionalAngle ?ANGLE is part of the &%GeometricFigure ?FIGURE.\"")
		(type INSTANCE)
;+		(allowed-classes GeometricFigure)
;+		(cardinality 0 1)
;+		(subslot-of geometricPart_2)
		(create-accessor read-write))
	(single-slot altitude_1
;+		(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_3)
		(create-accessor read-write))
	(single-slot disapproves_1
;+		(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)
;+		(cardinality 0 1)
;+		(subslot-of inScopeOfInterest_2)
		(create-accessor read-write))
	(single-slot ListLengthFn_2
;+		(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))
	(single-slot RealNumberFn_1
;+		(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 exists_2
;+		(comment "\"The existential quantifier of predicate logic.\"")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot cityAddress
;+		(comment "\"(&%cityAddress ?CITY ?ADDRESS) means that the &%City ?CITY is part of the address ?ADDRESS.\"")
		(type INSTANCE)
;+		(allowed-classes Address)
;+		(cardinality 0 1)
;+		(subslot-of address_1)
		(create-accessor read-write))
	(single-slot JudiciaryFn_1
;+		(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 partiallyFills_2
;+		(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_2)
		(create-accessor read-write))
	(single-slot leaderPosition_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot PicoFn_2
;+		(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))
	(single-slot RelativeComplementFn_2
;+		(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 resource
;+		(comment "\"(&%resource ?PROCESS ?RESOURCE) means that ?RESOURCE is present at the beginning of ?PROCESS, is used by ?PROCESS, and as a consequence is changed by ?PROCESS.  For example, soap is a &%resource in the following proposition:  the gun was carved out of soap. Note that &%resource differs from &%instrument, another subrelation of &%patient, in that its internal or physical properties are altered in some way by the &%Process.\"")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of patient_1)
		(create-accessor read-write))
	(single-slot IntersectionFn_2
;+		(comment "\"A &%BinaryFunction that maps two %SetOrClasses to the intersection of these &%SetOrClasses.  An object is an instance of the intersection of two &%SetOrClasses just in case it is an instance of both of those &%SetOrClasses.\"")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot not_3
;+		(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))
	(single-slot between_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot subsumesContentClass_2
;+		(comment "\"A &%BinaryPredicate that relates two subclasses of &%ContentBearingObject.  (&%subsumesContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS2 is also expressed by each instance of ?CLASS1.  Examples include the relationship between a poem and one of its stanzas or between a book and one of its chapters.  Note that this is a relation between subclasses of &%ContentBearingObject, rather than instances.  If one wants to relate instances, the &%Predicate &%subsumesContentInstance can be used.  Note that &%subsumesContentClass is needed in many cases.  Consider, for example, the relation between the King James edition of the Bible and its Book of Genesis.  This relation holds for every copy of this edition and not just for a single instance.\"")
		(type SYMBOL)
;+		(allowed-parents ContentBearingObject)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot true
;+		(comment "\"The &%BinaryPredicate that relates a &%Sentence to its &%TruthValue.\"")
		(type INSTANCE)
;+		(allowed-classes TruthValue)
;+		(cardinality 0 1)
;+		(subslot-of property_1)
		(create-accessor read-write))
	(single-slot MinimalCutSetFn_1
;+		(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))
	(single-slot hopes_2
;+		(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_2)
		(create-accessor read-write))
	(single-slot orbits_2
;+		(comment "\"(&%orbits ?SATELLITE ?FOCUS) means that the &%Object ?SATELLITE revolves around the &%AstronomicalBody ?FOCUS.\"")
		(type INSTANCE)
;+		(allowed-classes AstronomicalBody)
;+		(cardinality 0 1)
		(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_2)
		(create-accessor read-write))
	(single-slot streetAddress
;+		(comment "\"(&%streetAddress ?STREET ?ADDRESS) means that the &%Roadway ?STREET is part of the address ?ADDRESS.\"")
		(type INSTANCE)
;+		(allowed-classes Address)
;+		(cardinality 0 1)
;+		(subslot-of address_1)
		(create-accessor read-write))
	(single-slot LastFn_1
;+		(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))
	(single-slot address_1
;+		(comment "\"(&%address ?AGENT ?ADDRESS) means that ?ADDRESS is an address or part of an address for the &%Agent ?AGENT.  address relates an instance of a CognitiveAgent to the unique designation of a stationary artifact, location, or mail drop where that agent can be contacted.  This address includes buildings, room numbers, streets, mail drop numbers, and post office boxes, but excludes telephone numbers and other addresses that are not stationary.  This is not the most general type of address.\"")
		(type INSTANCE)
;+		(allowed-classes Address)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot pointOfIntersection_1
;+		(comment "\"(&%pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.\"")
		(type INSTANCE)
;+		(allowed-classes GeometricPoint)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot RecurrentTimeIntervalFn_2
;+		(comment "\"A function that is useful for generating recurring time intervals.  For example, (&%RecurrentTimeIntervalFn (&%HourFn 6 &%Day) (&%HourFn 12 &%Day)) returns the &%Class of &%TimeIntervals beginning at 6 in the morning and ending at 12 noon.  For another example, (&%RecurrentTimeInterval &%Saturday &%Sunday) returns the &%Class of all weekends.  For still another example, (&%RecurrentTimeInterval &%June &%August) returns the &%Class containing the academic summer period.\"")
		(type SYMBOL)
;+		(allowed-parents TimeInterval)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot subProposition_3
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot sideOfFigure
;+		(comment "\"(&%sideOfFigure ?SIDE ?FIGURE) means that the &%OneDimensionalFigure ?POINT is a side of the &%GeometricFigure ?FIGURE.\"")
		(type INSTANCE)
;+		(allowed-classes GeometricFigure)
;+		(cardinality 0 1)
;+		(subslot-of geometricPart_2)
		(create-accessor read-write))
	(single-slot developmentalForm_3
;+		(comment "\"(&%developmentalForm ?OBJECT ?FORM) means that ?FORM is an earlier stage in the individual maturation of ?OBJECT.  For example, tadpole and caterpillar are &%developmentalForms of frogs and butterflies, respectively.\"")
		(type INSTANCE)
;+		(allowed-classes DevelopmentalAttribute)
;+		(cardinality 0 1)
;+		(subslot-of attribute_2)
		(create-accessor read-write))
	(single-slot date_3
;+		(comment "\"A &%BinaryPredicate that specifies a &%TimePosition in absolute calendar time, at the resolution of one day, for a particular &%Object or &%Process.\"")
		(type INSTANCE)
;+		(allowed-classes Day)
;+		(cardinality 0 1)
;+		(subslot-of time_3)
		(create-accessor read-write))
	(single-slot experiencer_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot lessThan_4
;+		(comment "\"(&%lessThan ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is less than the &%Quantity ?NUMBER2.\"")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(cardinality 0 1)
;+		(inverse-slot greaterThan_4)
		(create-accessor read-write))
	(single-slot MagnitudeFn_1
;+		(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))
	(single-slot UnionFn_2
;+		(comment "\"A &%BinaryFunction that maps two &%SetOrClasses to the union of these &%SetOrClasses.  An object is an &%element of the union of two &%SetOrClasses just in case it is an &%instance of either &%SetOrClass.\"")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
;+		(cardinality 0 1)
		(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 %3AUBL-CLASS %3ASetOrClass)
;+		(inverse-slot disjoint)
		(create-accessor read-write))
	(single-slot %3ADomain4Value
;+		(comment "The value of the fifth argument")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
;+		(associated-facet UBLinv018t_00304)
		(create-accessor read-write))
	(single-slot MultiplicationFn_5
;+		(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))
	(single-slot irreflexiveOn_2
;+		(comment "\"A &%BinaryRelation is irreflexive on a &%SetOrClass only if no instance of the &%SetOrClass bears the relation to itself.\"")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot citizen_2
;+		(comment "\"(&%citizen ?PERSON ?NATION) means that the &%Human ?PERSON is a citizen of &%Nation ?NATION.\"")
		(type INSTANCE)
;+		(allowed-classes Nation)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot GeneralizedIntersectionFn_2
;+		(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 element_3
;+		(comment "\"(element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the &%Set ?SET.  An &%Entity can be an &%element of another &%Entity only if the latter is a &%Set.\"")
		(type INSTANCE)
;+		(allowed-classes Set)
;+		(cardinality 0 1)
;+		(subslot-of instance_1)
		(create-accessor read-write))
	(single-slot wife_2
;+		(comment "\"(&%wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN.\"")
		(type INSTANCE)
;+		(allowed-classes Man)
;+		(cardinality 0 1)
;+		(inverse-slot husband_2)
;+		(subslot-of spouse_2)
		(create-accessor read-write))
	(single-slot candidateForPosition_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot valence_3
;+		(comment "\"Specifies the number of arguments that a relation can take.  If a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of &%VariableArityRelation.  For example, &%holds is a &%VariableArityRelation.\"")
		(type INSTANCE)
;+		(allowed-classes PositiveInteger)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot successorAttribute_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot domain_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot SquareRootFn_1
;+		(comment "\"(SquareRootFn ?NUMBER) is the principal square root of ?NUMBER.\"")
		(type INSTANCE)
;+		(allowed-classes Number)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot spouse_2
;+		(comment "\"The relationship of marriage between two &%Humans.\"")
		(type INSTANCE)
;+		(allowed-classes Human)
;+		(cardinality 0 1)
;+		(inverse-slot spouse_2)
;+		(subslot-of legalRelation_2)
		(create-accessor read-write))
	(single-slot principalAmount_1
;+		(comment "\"(&%principalAmount ?ACCOUNT ?BALANCE) means that ?BALANCE is the amount originally borrowed (excluding interest).\"")
		(type INSTANCE)
;+		(allowed-classes CurrencyMeasure)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot hole_3
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot TerminalNodeFn_2
;+		(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 fills_1
;+		(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_3 properlyFills_1)
		(create-accessor read-write))
	(single-slot %3ADomain2Type
;+		(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_00288)
		(create-accessor read-write))
	(single-slot representativeAgentToAgent_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot authors_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot leader_3
;+		(comment "\"(&%leader ?ORGANIZATION ?PERSON) means that the leader of ?ORGANIZATION is ?PERSON.\"")
		(type INSTANCE)
;+		(allowed-classes Agent)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot Name
;+		(comment "UBL-element Jul 26-03 (UBL-ID=UBL000003):\n<ccts:BBIE dictionaryEntryName=''Accounts_ Contact. Name'' definition=''identifies the department or employee name given as a contact.'' qualifierTermObjectClassTerm=''Accounts'' objectClassTerm=''Contact'' propertyTerm=''Name'' representationTerm=''Name''/>")
		(type INSTANCE)
;+		(allowed-classes)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot located_2
;+		(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_3)
		(create-accessor read-write))
	(single-slot LegislatureFn_1
;+		(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 signedBy_1
;+		(comment "\"(&%signedBy ?Instrument ?Agent) means that ?Instrument has been signed by ?Agent.\"")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot premise_2
;+		(comment "\"(&%premise ?ARGUMENT ?PROPOSITION) means that the &%Proposition ?PROPOSITION is an explicit assumption of the &%Argument ?ARGUMENT.\"")
		(type INSTANCE)
;+		(allowed-classes Proposition)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot subrelation_2
;+		(comment "\"(&%subrelation ?REL1 ?REL2) means that every tuple of ?REL1 is also a tuple of ?REL2.  In other words, if the &%Relation ?REL1 holds for some arguments arg_1, arg_2, ... arg_n, then the &%Relation ?REL2 holds for the same arguments.  A consequence of this is that a &%Relation and its subrelations must have the same &%valence. In CycL, &%subrelation is called #$genlPreds.\"")
		(type INSTANCE)
;+		(allowed-classes Relation)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot contestParticipant_1
;+		(comment "\"(&%contestParticipant ?CONTEST ?AGENT) means that ?AGENT is one of the sides in the &%Contest ?CONTEST.  For example, if the ?CONTEST is a football game, then ?AGENT would be one of the opposing teams.  For another example, if ?CONTEST is a &%Battle, then ?AGENT would be one of the sides fighting each other.\"")
		(type INSTANCE)
;+		(allowed-classes Agent)
;+		(cardinality 0 1)
;+		(subslot-of agent_1)
		(create-accessor read-write))
	(single-slot PowerSetFn_2
;+		(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))
	(multislot disjointDecomposition
;+		(comment "\"A &%disjointDecomposition of a &%Class C is a set of subclasses of C that are mutually &%disjoint.\"")
		(type INSTANCE)
;+		(allowed-classes %3AUBL-CLASS %3ARow)
		(create-accessor read-write))
	(single-slot PathWeightFn_1
;+		(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))
	(single-slot parallel_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot administrativeCenter_1
;+		(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_2)
		(create-accessor read-write))
	(single-slot hasSkill_2
;+		(comment "\"Similar to the &%capability &%Predicate with the additional restriction that the ability be practised/ demonstrated to some measurable degree.\"")
		(type INSTANCE)
;+		(allowed-classes Agent)
;+		(cardinality 0 1)
		(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_2)
		(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 %3AUBL-CLASS %3ATHING)
;+		(subslot-of partition)
		(create-accessor read-write))
	(single-slot before_3
;+		(comment "\"(&%before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.\"")
		(type INSTANCE)
;+		(allowed-classes TimePoint)
;+		(cardinality 0 1)
;+		(subslot-of beforeOrEqual_3)
		(create-accessor read-write))
	(single-slot TangentFn_2
;+		(comment "\"(&%TangentFn ?DEGREE) is the tangent of the &%PlaneAngleMeasure ?DEGREE.  The tangent of ?DEGREE is the ratio of the side opposite ?DEGREE to the side next to ?DEGREE in a right-angled triangle.\"")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot finishes_4
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot exhaustiveAttribute_2
;+		(comment "\"This predicate relates a &%Class to a set of &%Attributes, and it means that the elements of this set exhaust the instances of the &%Class.  For example, (&%exhaustiveAttribute &%PhysicalState &%Solid &%Liquid &%Gas) means that there are only three instances of the class &%PhysicalState, viz. &%Solid, &%Liquid, and &%Gas.\"")
		(type INSTANCE)
;+		(allowed-classes %3ARow)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot manner_2
;+		(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_1)
		(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_2)
		(create-accessor read-write))
	(single-slot crosses_2
;+		(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_2)
		(create-accessor read-write))
	(single-slot ComplementFn_2
;+		(comment "\"The complement of a given &%SetOrClass C is the &%SetOrClass of all things that are not instances of C.  In other words, an object is an instance of the complement of a &%SetOrClass C just in case it is not an instance of C.\"")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot material_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot editor_2
;+		(comment "\"(&%editor ?AGENT ?TEXT) means that ?AGENT is an editor of ?TEXT.\"")
		(type SYMBOL)
;+		(allowed-parents Text)
;+		(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_1)
		(create-accessor read-write))
	(single-slot overlapsSpatially_2
;+		(comment "\"(&%overlapsSpatially ?OBJ1 ?OBJ2) means that the &%Objects ?OBJ1 and ?OBJ2 have some parts in common.  This is a reflexive and symmetric (but not transitive) relation.\"")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of connected_4)
		(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 %3AUBL-CLASS)
;+		(cardinality 0 1)
;+		(associated-facet SUMO148_00000)
		(create-accessor read-write))
	(single-slot periodicPayment_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot capitalCity_1
;+		(comment "\"(&%capitalCity ?CITY ?REGION) means that the &%City ?CITY is the capital of the &%GeopoliticalArea ?REGION.\"")
		(type INSTANCE)
;+		(allowed-classes GeopoliticalArea)
;+		(cardinality 0 1)
;+		(subslot-of administrativeCenter_1)
		(create-accessor read-write))
	(single-slot inList_3
;+		(comment "\"The analog of &%element and &%instance for &%Lists. (&%inList ?OBJ ?LIST) means that ?OBJ is in the &%List ?LIST.  For example, (&%inList &%Tuesday (&%ListFn &%Monday &%Tuesday &%Wednesday)) would be true.\"")
		(type INSTANCE)
;+		(allowed-classes List)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot fiscalYearPeriod_1
;+		(comment "\"The predicate &%fiscalYearPeriod indicates the period that an &%Agent or &%Organization uses as its 12-month accounting period.  (&%fiscalYearPeriod ?AGENT &%Year) means that ?AGENT observes its 12-month accounting period during the regular calendar year (CY), from &%January to &%December.  For fiscal years with other beginning and ending months (FYs), use (&%fiscalYearPeriod ?AGENT (&%RecurrentTimeIntervalFn ?STARTMONTH ?ENDMONTH)). For example, (&%fiscalYearPeriod (&%GovernmentFn &%UnitedStates) (&%RecurrentTimeIntervalFn &%October &%September)).  For FYs that begin or end mid-month, days may be specified within &%RecurrentTimeIntervalFn.\"")
		(type SYMBOL)
;+		(allowed-parents TimeInterval)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot AbsoluteValueFn_2
;+		(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))
	(single-slot HourFn_2
;+		(comment "\"A &%BinaryFunction that assigns a &%PositiveRealNumber and a subclass of &%Days to the &%Hours within each &%Day corresponding to that &%PositiveRealNumber.  For example, (&%HourFn 12 &%Thursday) is the &%Class of all instances of noon Thursday.  For another example, (&%HourFn 24 &%Day) would return the class of all instances of midnight.  For still another example, (&%HourFn 14 (&%DayFn 18 (&%MonthFn 8 (YearFn 1912)))) denotes 2 PM on the 18th day of August 1912.\"")
		(type SYMBOL)
;+		(allowed-parents Hour)
;+		(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))
	(single-slot representsInLanguage_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot SubtractionFn_4
;+		(comment "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%SubtractionFn ?NUMBER1 ?NUMBER2) is the arithmetical difference between ?NUMBER1 and ?NUMBER2, i.e. ?NUMBER1 minus ?NUMBER2.  An exception occurs when ?NUMBER1 is equal to 0, in which case (&%SubtractionFn ?NUMBER1 ?NUMBER2) is the negation of ?NUMBER2.\"")
		(type INSTANCE)
;+		(allowed-classes Quantity)
;+		(cardinality 0 1)
		(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_2)
		(create-accessor read-write))
	(single-slot EndFn_3
;+		(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))
	(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_2)
		(create-accessor read-write))
	(single-slot minimumCardinality_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot holdsObligation_2
;+		(comment "\"Expresses a relationship between a &%Formula and a &%CognitiveAgent whereby the &%CognitiveAgent has the obligation to bring it about that the &%Formula is true.\"")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot employs_1
;+		(comment "\"(&%employs ?ORG ?PERSON) means that ?ORG has hired ?PERSON and currently retains ?PERSON, on a salaried or contractual basis, to provide services in exchange for monetary compensation.\"")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot %3C%3D%3E_2
;+		(comment "\"The truth-functional connective of bi-implication.\"")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(cardinality 0 1)
		(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_2)
		(create-accessor read-write))
	(single-slot causes_2
;+		(comment "\"The causation relation between instances of &%Process. (&%causes ?PROCESS1 ?PROCESS2) means that the instance of &%Process ?PROCESS1 brings about the instance of &%Process ?PROCESS2, e.g. (&%causes &%Killing &%Death).\"")
		(type INSTANCE)
;+		(allowed-classes Process)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot PremisesFn_1
;+		(comment "\"(&%PremisesFn ?ARGUMENT) returns the complete set of &%premises of the &%Argument ?ARGUMENT.\"")
		(type INSTANCE)
;+		(allowed-classes Proposition)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot PastFn_3
;+		(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))
	(single-slot earlier_4
;+		(comment "\"(&%earlier ?INTERVAL1 ?INTERVAL2) means that the &%TimeInterval ?INTERVAL1 ends before the &%TimeInterval ?INTERVAL2 begins.\"")
		(type INSTANCE)
;+		(allowed-classes TimeInterval)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot EndNodeFn_2
;+		(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 protonNumber_3
;+		(comment "\"(&%protonNumber ?SUBSTANCE ?NUMBER) means that the &%PureSubstance ?SUBSTANCE has the number of &%Protons ?NUMBER.\"")
		(type INSTANCE)
;+		(allowed-classes PositiveInteger)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot causesSubclass_2
;+		(comment "\"The causation relation between subclasses of &%Process. (&%causesSubclass ?PROCESS1 ?PROCESS2) means that the subclass of &%Process ?PROCESS1 brings about the subclass of &%Process ?PROCESS2, e.g. (&%causes &%Killing &%Death).\"")
		(type SYMBOL)
;+		(allowed-parents Process)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot containsInformation_2
;+		(comment "\"A subrelation of &%represents.  This predicate relates a &%ContentBearingObject to the &%Proposition that is expressed by the &%ContentBearingObject. Examples include the relationships between a physical novel and its story and between a printed score and its musical content.\"")
		(type INSTANCE)
;+		(allowed-classes Proposition)
;+		(cardinality 0 1)
;+		(subslot-of represents)
		(create-accessor read-write))
	(single-slot confersObligation_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot ReciprocalFn_3
;+		(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 %3ASUO-name
;+		(comment "The :SUO-name is the name of an instance that is used for display.  This is an important element of the ontology as it permits the assignment  of instances to multiple classes, a tactic forbidden by the Protege program, which requires that all frame names be unique.\n Thus, if an instance of any concept has a :SUO-name, that name is the one that will appear in \"instance\" propositions that are exported to a KIF data file.")
		(type STRING)
;+		(cardinality 0 1)
;+		(associated-facet KIFcore2_00373)
		(create-accessor read-write))
	(single-slot occupiesPosition_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot meetsSpatially_2
;+		(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_4)
		(create-accessor read-write))
	(single-slot mother_2
;+		(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_3)
		(create-accessor read-write))
	(single-slot ImmediateFamilyFn_1
;+		(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))
	(single-slot arcWeight_2
;+		(comment "\"This predicate indicates the value of a &%GraphArc in a &%Graph.  This could map to the length of a road in a road network or the flow rate of a pipe in a plumbing system.\"")
		(type INSTANCE)
;+		(allowed-classes RealNumber)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot prefers_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot son_1
;+		(comment "\"The general relationship of being a son. (&%son ?CHILD ?PARENT) means that ?CHILD is the biological son of ?PARENT.\"")
		(type INSTANCE)
;+		(allowed-classes Human)
;+		(cardinality 0 1)
;+		(subslot-of parent_3)
		(create-accessor read-write))
	(single-slot expects_2
;+		(comment "\"Any belief about the future.  (&%expects ?AGENT ?BELIEF) means that (&%believes ?AGENT ?BELIEF) and, if ?BELIEF happens, it will happen in the future, i.e. after the expectation.\"")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(cardinality 0 1)
;+		(subslot-of believes_1)
		(create-accessor read-write))
	(single-slot postalCode_2
;+		(comment "\"(&%postalCode ?NUMBER ?ADDRESS) means that the the postal code, e.g. zip code, ?NUMBER is part of the address ?ADDRESS.\"")
		(type INSTANCE)
;+		(allowed-classes Address)
;+		(cardinality 0 1)
;+		(subslot-of uniqueIdentifier_2)
		(create-accessor read-write))
	(single-slot temporallyBetweenOrEqual_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot DocumentFn_1
;+		(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))
	(single-slot ListFn_3
;+		(comment "\"A &%Function that takes any number of arguments and returns the &%List containing those arguments in exactly the same order.\"")
		(type INSTANCE)
;+		(allowed-classes %3ARow)
;+		(cardinality 0 1)
		(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 geopoliticalSubdivision_2
;+		(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_3)
		(create-accessor read-write))
	(single-slot wears_1
;+		(comment "\"(&%wears ?AGENT ?CLOTHING) means that ?AGENT is wearing the item of &%Clothing ?CLOTHING.\"")
		(type INSTANCE)
;+		(allowed-classes Clothing)
;+		(cardinality 0 1)
		(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_3)
		(create-accessor read-write))
	(single-slot issuedBy_1
;+		(comment "\"(&%issuedBy ?Instrument ?Agent) means that a &%FinancialInstrument ?Instrument is produced and offered by ?Agent.\"")
		(type INSTANCE)
;+		(allowed-classes CognitiveAgent)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot traverses_2
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot geographicSubregion_3
;+		(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_2 located_2)
		(create-accessor read-write))
	(multislot %3AidenticalTo
;+		(comment ":identicalTo points to other concepts within the ontology that are intended to be the same as the base concept. This is a way to work around the Protege restriction that no frame can be an instanceof more than one class, and no Slot can also be an instance, and no instance can also be a class.")
		(type STRING)
;+		(associated-facet SKIFcore4_00393)
		(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_1)
		(create-accessor read-write))
	(single-slot quantityInEvent_1
;+		(comment "\"(quantityInEvent ?PROC ?QUANT ?OBJ) means that the number of &%Objects that are instances of ?OBJ that participate in an event ?PROC in the role of &%patient is ?QUANT.\"")
		(type SYMBOL)
;+		(allowed-parents Object)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot IntervalFn_1
;+		(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))
	(single-slot sister_2
;+		(comment "\"The general relationship of being a sister. (&%sister ?WOMAN ?PERSON) means that ?WOMAN is the sister of ?PERSON.\"")
		(type INSTANCE)
;+		(allowed-classes Human)
;+		(cardinality 0 1)
;+		(subslot-of sibling_3)
		(create-accessor read-write))
	(single-slot TimeIntervalFn_2
;+		(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))
	(single-slot connected_4
;+		(comment "\"(connected ?OBJ1 ?OBJ2) means that ?OBJ1 &%meetsSpatially ?OBJ2 or that ?OBJ1 &%overlapsSpatially ?OBJ2.\"")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(inverse-slot connected_4)
		(create-accessor read-write))
	(single-slot attribute_2
;+		(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_1)
		(create-accessor read-write))
	(single-slot confersRight_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot partlyLocated_3
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot hasField
;+		(comment "hasField relates a StructuredText to the fields that comprise its structure. ")
		(type INSTANCE)
;+		(allowed-classes)
;+		(cardinality 1 1)
		(create-accessor read-write))
	(single-slot MaximalWeightedPathFn_1
;+		(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))
	(single-slot uniqueIdentifier_2
;+		(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 hasField_7
;+		(comment "hasField relates a StructuredText to the fields that comprise its structure. \nFor multiple subfield, see hasField1, hasField2, etc.")
		(type INSTANCE)
;+		(allowed-classes)
		(cardinality 2 ?VARIABLE)
		(create-accessor read-write))
	(single-slot contains_2
;+		(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)
;+		(cardinality 0 1)
;+		(subslot-of partlyLocated_3)
		(create-accessor read-write))
	(single-slot agent_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot patient_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot YearFn_2
;+		(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))
	(single-slot equivalenceRelationOn_2
;+		(comment "\"A &%BinaryRelation is an &%equivalenceRelationOn a &%SetOrClass only if the relation is &%reflexiveOn the &%SetOrClass and it is both a &%TransitiveRelation and a &%SymmetricRelation.\"")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
;+		(cardinality 0 1)
		(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 instance_1
;+		(comment "\"An object is an &%instance of a &%SetOrClass if it is included in that &%SetOrClass.  An individual may be an instance of many classes, some of which may be subclasses of others.  Thus, there is no assumption in the meaning of &%instance about specificity or uniqueness.\"")
		(type INSTANCE)
;+		(allowed-classes SetOrClass)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(multislot relatedInternalConcept
;+		(comment "\"Means that the two arguments are related concepts within the SUMO, i.e. there is a significant similarity of meaning between them.  To indicate a meaning relation between a SUMO concept and a concept from another source, use the Predicate &%relatedExternalConcept.\"")
		(type STRING)
;+		(inverse-slot relatedInternalConcept)
;+		(associated-facet SKIFcore4_00380)
		(create-accessor read-write))
	(single-slot interiorPart_2
;+		(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_2)
		(create-accessor read-write))
	(single-slot believes_1
;+		(comment "\"The epistemic predicate of belief. (&%believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.\"")
		(type INSTANCE)
;+		(allowed-classes Formula)
;+		(cardinality 0 1)
;+		(subslot-of inScopeOfInterest_2)
		(create-accessor read-write))
	(single-slot representsForAgent_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot MinimalWeightedPathFn_1
;+		(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))
	(single-slot domainSubclass_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot TeraFn_2
;+		(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 ancestor_2
;+		(comment "\"The transitive closure of the &%parent predicate. (&%ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the &%parent of ?DESCENDANT or the &%parent of the &%parent of &%DESCENDANT or etc.\"")
		(type INSTANCE)
;+		(allowed-classes Organism)
;+		(cardinality 0 1)
;+		(subslot-of familyRelation_2)
		(create-accessor read-write))
	(single-slot height_1
;+		(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))
	(single-slot MeasureFn_2
;+		(comment "\"This &%BinaryFunction maps a &%RealNumber and a &%UnitOfMeasure to that &%Number of units.  It is used for expressing &%ConstantQuantities.  For example, the concept of three meters is represented as (&%MeasureFn 3 &%Meter).\"")
		(type INSTANCE)
;+		(allowed-classes ConstantQuantity)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot links_1
;+		(comment "\"a &%TernaryPredicate that specifies the &%GraphArc connecting two &%GraphNodes.\"")
		(type INSTANCE)
;+		(allowed-classes GraphArc)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot names
;+		(comment "\"(&%names ?STRING ?ENTITY) means that the thing ?ENTITY has the &%SymbolicString ?STRING as its name.  Note that &%names and &%represents are the two immediate &%subrelations of &%refers.  The predicate &%names is used when the referring item is merely a tag without connotative content, while the predicate &%represents is used for referring items that have such content.\"")
		(type INSTANCE)
;+		(allowed-classes Entity)
;+		(cardinality 0 1)
;+		(subslot-of refers_1)
		(create-accessor read-write))
	(single-slot amountDue_1
;+		(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)
;+		(cardinality 0 1)
		(create-accessor read-write))
	(single-slot smaller_4
;+		(comment "\"(&%smaller ?OBJ1 ?OBJ2) simply means that ?OBJ1 is smaller, with respect to all &%LengthMeasures, than ?OBJ2.\"")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(inverse-slot larger_4)
		(create-accessor read-write))
	(single-slot surface_1
;+		(comment "\"(&%surface ?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected &%superficialPart of ?OBJ2.  Note that some &%SelfConnectedObjects have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface.\"")
		(type INSTANCE)
;+		(allowed-classes SelfConnectedObject)
;+		(cardinality 0 1)
;+		(subslot-of superficialPart_2)
		(create-accessor read-write))
	(single-slot CitizenryFn
;+		(comment "\"(&%CitizenryFn ?AREA) denotes the &%GroupOfPeople who are legal and permanent residents of the &%GeopoliticalArea ?AREA.\"")
		(type INSTANCE)
;+		(allowed-classes GroupOfPeople)
;+		(cardinality 0 1)
;+		(subslot-of ResidentFn_1)
		(create-accessor read-write))
	(single-slot postalBoxNumber_2
;+		(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_2)
		(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)
		(create-accessor read-write))
	(single-slot instrument
;+		(comment "\"(instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT and that ?TOOL is not changed by ?EVENT.  For example, the key is an &%instrument in the following proposition: The key opened the door.  Note that &%instrument and &%resource cannot be satisfied by the same ordered pair.\"")
		(type INSTANCE)
;+		(allowed-classes Object)
;+		(cardinality 0 1)
;+		(subslot-of p