; Wed Jan 21 11:22:55 GMT-05:00 2004
; 
;+ (version "1.9")
;+ (build "Build 1120")

([%22This+is+a+string%22] of %3AAbstractString
	(%3ASUO-name "\"This is a string\""))

([%28AbsoluteValueFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28AbstractionFn+Class%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28AdditionFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28BackFn+SelfConnectedObject%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28BeginFn+TimeInterval%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28BeginNodeFn+GraphPath%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CardinalityFn+%28UnionFn+SetOrClass+Collection%29%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CeilingFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CitizenryFn+GeopoliticalArea%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ComplementFn+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CosineFn+PlaneAngleMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CutSetFn+Graph%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DayFn+PositiveRealNumber+Month%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DenominatorFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DensityFn+MassMeasure+VolumeMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DescendantsFn+Human%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DivisionFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DocumentFn+Proposition%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28EditionFn+ContentBearingObject+PositiveInteger%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28EndFn+TimeInterval%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28EndNodeFn+GraphPath%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ExecutiveBranchFn+Agent%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ExponentiationFn+Quantity+Integer%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ExtensionFn+Attribute%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28FirstFn+List%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28FloorFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28FrontFn+SelfConnectedObject%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28FutureFn+TimePosition%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GeneralizedIntersectionFn+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GeneralizedUnionFn+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GigaFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GovernmentFn+GeopoliticalArea%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GraphPathFn+GraphNode+GraphNode%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28HourFn+PositiveRealNumber+Day%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ImaginaryPartFn+ComplexNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ImmediateFamilyFn+Human%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ImmediateFutureFn+TimePosition%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ImmediatePastFn+TimePosition%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28InitialNodeFn+GraphArc%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28IntegerSquareRootFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28IntersectionFn+SetOrClass+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28IntervalFn+ConstantQuantity+ConstantQuantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28JudiciaryFn+GeopoliticalArea%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28KappaFn+SymbolicString+Formula%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28KiloFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28LastFn+List%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28LegislatureFn+GeopoliticalArea%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ListConcatenateFn+List+List%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ListLengthFn+List%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ListOrderFn+List+PositiveInteger%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28LogFn+RealNumber+PositiveInteger%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MagnitudeFn+ConstantQuantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MaxFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MaximalWeightedPathFn+GraphNode+GraphNode%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MeasureFn+RealNumber+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MegaFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MereologicalDifferenceFn+Object+Object%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MereologicalProductFn+Object+Object%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MereologicalSumFn+Object+Object%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MicroFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MilliFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MinFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MinimalCutSetFn+Graph%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MinimalWeightedPathFn+GraphNode+GraphNode%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MinuteFn+PositiveRealNumber+Hour%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MonthFn+Month+Year%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MultiplicationFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28NanoFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28NumeratorFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PastFn+TimePosition%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PathWeightFn+GraphPath%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PerCapitaFn+Quantity+GeopoliticalArea%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PerFn+ConstantQuantity+ConstantQuantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PeriodicalIssueFn+Periodical+PositiveInteger%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PicoFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PopulationFn+GeopoliticalArea%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PowerSetFn+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PredecessorFn+Integer%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PremisesFn+Argument%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PrincipalHostFn+Hole%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ProbabilityFn+Formula%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PropertyFn+Agent%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RationalNumberFn+Number%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RealNumberFn+Number%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ReciprocalFn+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RecurrentTimeIntervalFn+TimeInterval+TimeInterval%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RelativeComplementFn+SetOrClass+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RelativeTimeFn+TimePosition+TimeZone%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RemainderFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ResidentFn+GeopoliticalArea%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RoundFn+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SecondFn+PositiveRealNumber+Minute%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SeriesVolumeFn+Series+PositiveInteger%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SignumFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SineFn+PlaneAngleMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SkinFn+Hole%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SpeedFn+LengthMeasure+TimeDuration%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SquareRootFn+RealNumber%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SubtractionFn+Quantity+Quantity%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SuccessorFn+Integer%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TangentFn+PlaneAngleMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TemporalCompositionFn+TimeInterval+TimeInterval%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TeraFn+UnitOfMeasure%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TerminalNodeFn+GraphArc%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TimeIntervalFn+TimePoint+TimePoint%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28UnionFn+SetOrClass+SetOrClass%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28WealthFn+Agent%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28WhenFn+Physical%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28WhereFn+Physical+TimePoint%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28YearFn+Integer%29] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%3AAbstractString] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AAssertion] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AAXIOMS] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv014_00277]))

([%3AClass] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ACodeList] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3ASYNONYMS [UBLcore_00353])
	(%3AisInModule [KIF-core]))

([%3AConstructedLanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ADomain1Type] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018_00290]))

([%3ADomain2Class] of %3AUBL-SLOT
	(%3ADomain1Type Instance)
	(%3AASSOCIATED-FACET [SUMO148_00000]))

([%3ADomain2Type] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018_00288]))

([%3ADomain2Value] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [SUMO152_00100]))

([%3ADomain3Class] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLcore_00000]))

([%3ADomain3Type] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018t_00300]))

([%3ADomain3Value] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [SUMO152_00102]))

([%3ADomain4Class] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018t_00302]))

([%3ADomain4Type] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018t_00306]))

([%3ADomain4Value] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018t_00304]))

([%3AEmbeddedComment] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AGroup] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AhasFrequency] of %3AUBL-SLOT
	(%3ASUO-name ":hasFrequency"))

([%3AhasUsage] of %3AUBL-SLOT
	(%3ASUO-name ":hasUsage"))

([%3AHumanLanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AinLanguage] of %3AUBL-SLOT
	(%3ASUO-name ":inLanguage"))

([%3AisInModule] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [UBLinv018t_00322]))

([%3AKIFentity] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ALanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AList] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AModule] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ANaturalLanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AOrderedSet] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0))

([%3AProtegeSymbolList] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ARow] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASet] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASetOrClass] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASKIFdocs] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3AStringList] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASUMOProposition] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASUO-name] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [KIFcore2_00373]))

([%3ASynonym] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASYNONYMS] of %3AUBL-SLOT
	(%3AASSOCIATED-FACET [SKIFcore4_00382]))

([%3AUnclassifiedProposition] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3C%3D%3E] of BinaryPredicate
	(%3ALOAD-SEQUENCE 86)
	(%3Adocumentation "\"The truth-functional connective of bi-implication.\"")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3AidenticalTo
		"Instance(<=>_1 of Cls(LogicalOperator))"
		"Slot(<=>_2)")
	(%3ASUO-name "<=>"))

([%3C%3D%3E_1] of LogicalOperator
	(%3ALOAD-SEQUENCE 86)
	(%3AidenticalTo
		"Instance(<=> of Cls(BinaryPredicate))"
		"Slot(<=>_2)")
	(%3Adocumentation "\"The truth-functional connective of bi-implication.\"")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "<=>"))

([%3C%3D%3E_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 86)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(<=>_1 of Cls(LogicalOperator))"
		"Instance(<=> of Cls(BinaryPredicate))")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "<=>"))

([%3D%3E] of BinaryPredicate
	(%3ALOAD-SEQUENCE 85)
	(%3Adocumentation "\"The truth-functional connective of implication.\"")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3AidenticalTo
		"Instance(=>_1 of Cls(LogicalOperator))"
		"Slot(=>_2)")
	(%3ASUO-name "=>"))

([%3D%3E_1] of LogicalOperator
	(%3ALOAD-SEQUENCE 85)
	(%3AidenticalTo
		"Instance(=> of Cls(BinaryPredicate))"
		"Slot(=>_2)")
	(%3Adocumentation "\"The truth-functional connective of implication.\"")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "=>"))

([%3D%3E_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 85)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(=> of Cls(BinaryPredicate))"
		"Instance(=>_1 of Cls(LogicalOperator))")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "=>"))

([%3FTHING] of Entity
	(%3ALOAD-SEQUENCE 109)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "?THING")
	(%3AAXIOMS "\n(UAX-047)\n(exists (?THING) (instance ?THING Entity))\n\n(UAX-048)\n(<=>\n	(instance ?CLASS Class)\n      (subclass ?CLASS Entity))\n"))

([AbnormalAnatomicalStructure] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1662)
	(%3AisInModule [OBJECTS])
	(disjoint [BodyPart])
	(%3ASLOT-CONSTRAINTS [UAX-701]))

([Above] of PositionalAttribute
	(%3ALOAD-SEQUENCE 1919)
	(%3Adocumentation "\"This is a &%PositionalAttribute derived from the up/down schema and not involving contact.  Note that this means directly above, i.e., if one object is &%Above another object, then the projections of the two objects overlap.\"")
	(%3AisInModule [QUALITIES])
	(contraryAttribute_2 [Below])
	(%3ASUO-name "Above")
	(%3AAXIOMS "\n(UAX-810)\n(=>\n   (orientation ?OBJ1 ?OBJ2 Above)\n   (not\n      (connected ?OBJ1 ?OBJ2)))\n"))

([AbsoluteMonarchy] of FormOfGovernment
	(%3ALOAD-SEQUENCE 3481)
	(%3Adocumentation "\"A monarchy in which the supreme power is held by the monarch, in contrast to ConstitutionalMonarchy, where the monarch's power is limited.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "AbsoluteMonarchy"))

([AbsoluteValueFn] of UnaryFunction
	(%3ALOAD-SEQUENCE 497)
	(%3Adocumentation "\"The value of (&%AbsoluteValueFn ?NUMBER) is the absolute value of the &%RealNumber ?NUMBER.\"")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3AidenticalTo
		"Instance(AbsoluteValueFn_1 of Cls(TotalValuedRelation))"
		"Slot(AbsoluteValueFn_2)")
	(%3ASUO-name "AbsoluteValueFn"))

([AbsoluteValueFn_1] of TotalValuedRelation
	(%3ALOAD-SEQUENCE 497)
	(%3AidenticalTo
		"Slot(AbsoluteValueFn_2)"
		"Instance(AbsoluteValueFn of Cls(UnaryFunction))")
	(%3Adocumentation "\"The value of (&%AbsoluteValueFn ?NUMBER) is the absolute value of the &%RealNumber ?NUMBER.\"")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ASUO-name "AbsoluteValueFn"))

([AbsoluteValueFn_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 497)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(AbsoluteValueFn_1 of Cls(TotalValuedRelation))"
		"Instance(AbsoluteValueFn of Cls(UnaryFunction))")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ASUO-name "AbsoluteValueFn")
	(%3AAXIOMS "\n(UAX-196)\n(<=>\n     (and\n         (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2)\n         (instance ?NUMBER1 RealNumber)\n         (instance ?NUMBER2 RealNumber))\n     (or\n         (and\n              (instance ?NUMBER1 NonnegativeRealNumber)\n              (equal ?NUMBER1 ?NUMBER2))\n         (and\n              (instance ?NUMBER1 NegativeRealNumber)\n              (equal ?NUMBER2 (SubtractionFn 0 ?NUMBER1)))))\n"))

([Abstract] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 191)
	(%3AisInModule [BASE_ONTOLOGY])
	(disjointDecomposition
		[Quantity]
		[Attribute]
		[SetOrClass]
		[Relation]
		[Proposition]
		[Graph]
		[GraphElement])
	(disjoint [Physical])
	(%3ASLOT-CONSTRAINTS [UAX-074]))

([AbstractionFn] of UnaryFunction
	(%3ALOAD-SEQUENCE 199)
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%Class into the instance of &%Attribute that specifies the condition(s) for membership in the &%Class.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(AbstractionFn_1 of Cls(PartialValuedRelation))"
		"Slot(AbstractionFn_2)")
	(%3ASUO-name "AbstractionFn"))

([AbstractionFn_1] of PartialValuedRelation
	(%3ALOAD-SEQUENCE 199)
	(%3AidenticalTo
		"Instance(AbstractionFn of Cls(UnaryFunction))"
		"Slot(AbstractionFn_2)")
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%Class into the instance of &%Attribute that specifies the condition(s) for membership in the &%Class.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "AbstractionFn"))

([AbstractionFn_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 199)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(AbstractionFn of Cls(UnaryFunction))"
		"Instance(AbstractionFn_1 of Cls(PartialValuedRelation))")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "AbstractionFn")
	(%3AAXIOMS "\n(UAX-075)\n(<=>\n   (equal (AbstractionFn ?CLASS) ?ATTR)\n   (forall (?INST)\n      (<=>\n         (instance ?INST ?CLASS)\n         (property ?INST ?ATTR))))\n"))

([AcademicDegree] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2860)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1215]))

([Accelerating] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2914)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1236]))

([accountHolder] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 3291)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(accountHolder_2 of Cls(BinaryPredicate))"
		"Instance(accountHolder_1 of Cls(TotalValuedRelation))")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "accountHolder"))

([accountHolder_1] of TotalValuedRelation
	(%3ALOAD-SEQUENCE 3291)
	(%3AidenticalTo
		"Instance(accountHolder_2 of Cls(BinaryPredicate))"
		"Slot(accountHolder)")
	(%3Adocumentation "\"(&%accountHolder ?Account ?Agent) means that ?Agent is the account holder of the &%FinancialAccount ?Account.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "accountHolder"))

([accountHolder_2] of BinaryPredicate
	(%3ALOAD-SEQUENCE 3291)
	(%3Adocumentation "\"(&%accountHolder ?Account ?Agent) means that ?Agent is the account holder of the &%FinancialAccount ?Account.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo
		"Instance(accountHolder_1 of Cls(TotalValuedRelation))"
		"Slot(accountHolder)")
	(%3ASUO-name "accountHolder"))

([Acre] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2693)
	(%3AidenticalTo "Instance(Acre_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [MidLevel]))

([Acre_1] of UnitOfMeasure
	(%3ALOAD-SEQUENCE 2693)
	(%3Adocumentation "A &%UnitOfMeasure equal to 4840 square yards.")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo "Cls(Acre)"))

([AdditionFn] of BinaryFunction
	(%3ALOAD-SEQUENCE 491)
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3AidenticalTo
		"Slot(AdditionFn_5)"
		"Instance(AdditionFn_1 of Cls(AssociativeFunction))"
		"Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))"
		"Instance(AdditionFn_2 of Cls(CommutativeFunction))"
		"Instance(AdditionFn_4 of Cls(TotalValuedRelation))")
	(%3ASUO-name "AdditionFn"))

([AdditionFn_1] of AssociativeFunction
	(%3ALOAD-SEQUENCE 491)
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3AidenticalTo
		"Slot(AdditionFn_5)"
		"Instance(AdditionFn of Cls(BinaryFunction))"
		"Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))"
		"Instance(AdditionFn_2 of Cls(CommutativeFunction))"
		"Instance(AdditionFn_4 of Cls(TotalValuedRelation))")
	(%3ASUO-name "AdditionFn"))

([AdditionFn_2] of CommutativeFunction
	(%3ALOAD-SEQUENCE 491)
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3AidenticalTo
		"Slot(AdditionFn_5)"
		"Instance(AdditionFn of Cls(BinaryFunction))"
		"Instance(AdditionFn_1 of Cls(AssociativeFunction))"
		"Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))"
		"Instance(AdditionFn_4 of Cls(TotalValuedRelation))")
	(%3ASUO-name "AdditionFn"))

([AdditionFn_3] of RelationExtendedToQuantities
	(%3ALOAD-SEQUENCE 491)
	(%3AidenticalTo
		"Slot(AdditionFn_5)"
		"Instance(AdditionFn of Cls(BinaryFunction))"
		"Instance(AdditionFn_1 of Cls(AssociativeFunction))"
		"Instance(AdditionFn_2 of Cls(CommutativeFunction))"
		"Instance(AdditionFn_4 of Cls(TotalValuedRelation))")
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ASUO-name "AdditionFn"))

([AdditionFn_4] of TotalValuedRelation
	(%3ALOAD-SEQUENCE 491)
	(%3AidenticalTo
		"Slot(AdditionFn_5)"
		"Instance(AdditionFn of Cls(BinaryFunction))"
		"Instance(AdditionFn_1 of Cls(AssociativeFunction))"
		"Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))"
		"Instance(AdditionFn_2 of Cls(CommutativeFunction))")
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ASUO-name "AdditionFn"))

([AdditionFn_5] of %3ATernarySlot
	(%3ALOAD-SEQUENCE 491)
	(%3ADomain2Class Quantity)
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ADomain2Type Instance)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(AdditionFn of Cls(BinaryFunction))"
		"Instance(AdditionFn_1 of Cls(AssociativeFunction))"
		"Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))"
		"Instance(AdditionFn_2 of Cls(CommutativeFunction))"
		"Instance(AdditionFn_4 of Cls(TotalValuedRelation))")
	(%3ASUO-name "AdditionFn")
	(%3AAXIOMS "\n(UAX-193)\n(equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1))\n"))

([Address] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2321)
	(%3AisInModule [MidLevel]))

([address] of BinaryPredicate
	(%3ALOAD-SEQUENCE 2320)
	(%3Adocumentation "\"(&%address ?AGENT ?ADDRESS) means that ?ADDRESS is an address or part of an address for the &%Agent ?AGENT.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo "Slot(address_1)")
	(%3ASUO-name "address"))

([address_1] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 2320)
	(%3ADomain1Type Instance)
	(%3AidenticalTo "Instance(address of Cls(BinaryPredicate))")
	(%3AisInModule [MidLevel])
	(relatedInternalConcept "telephoneNumber")
	(%3ASUO-name "address"))

([Adjacent] of PositionalAttribute
	(%3ALOAD-SEQUENCE 1923)
	(%3Adocumentation "\"Used to assert that an object ?OBJ1 is close to, near or abutting ?OBJ2.  This &%PositionalAttribute covers the following common sense notions:  adjoins, abuts, is contiguous to, is juxtaposed, and is close to.\"")
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "Adjacent")
	(%3AAXIOMS "\n(UAX-812)\n(<=>\n   (orientation ?OBJ1 ?OBJ2 Adjacent)\n   (or\n      (orientation ?OBJ1 ?OBJ2 Near)\n      (connected ?OBJ1 ?OBJ2)))\n"))

([Adjective] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1698)
	(%3AisInModule [OBJECTS])
	(disjoint
		[Noun]
		[Verb]
		[Adverb]
		[Particle]))

([administrativeCenter] of BinaryPredicate
	(%3ALOAD-SEQUENCE 3524)
	(%3Adocumentation "\"(&%administrativeCenter ?CENTER ?REGION) means that ?CENTER is the &%City (or other area) from which the larger &%GeopoliticalArea ?REGION is administered.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo
		"Slot(administrativeCenter_1)"
		"Instance(administrativeCenter_2 of Cls(SpatialRelation))")
	(%3ASUO-name "administrativeCenter"))

([administrativeCenter_1] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 3524)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(administrativeCenter of Cls(BinaryPredicate))"
		"Instance(administrativeCenter_2 of Cls(SpatialRelation))")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "administrativeCenter"))

([administrativeCenter_2] of SpatialRelation
	(%3ALOAD-SEQUENCE 3524)
	(%3AidenticalTo
		"Instance(administrativeCenter of Cls(BinaryPredicate))"
		"Slot(administrativeCenter_1)")
	(%3Adocumentation "\"(&%administrativeCenter ?CENTER ?REGION) means that ?CENTER is the &%City (or other area) from which the larger &%GeopoliticalArea ?REGION is administered.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "administrativeCenter"))

([Adverb] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1699)
	(%3AisInModule [OBJECTS])
	(disjoint
		[Noun]
		[Verb]
		[Adjective]
		[Particle]))

([Advertising] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1417)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-604]))

([Aerator] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2191)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-919]))

([Africa] of Continent
	(%3ALOAD-SEQUENCE 3458)
	(%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Africa"))

([Afternoon] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3028)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1289]))

([age] of SingleValuedRelation
	(%3ALOAD-SEQUENCE 832)
	(%3AidenticalTo
		"Slot(age_1)"
		"Instance(age_2 of Cls(BinaryPredicate))")
	(%3Adocumentation "\"Simply relates an &%Object to a &%ConstantQuantity specifying the age of the &%Object.\"")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASUO-name "age"))

([age_1] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 832)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(age of Cls(SingleValuedRelation))"
		"Instance(age_2 of Cls(BinaryPredicate))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASUO-name "age"))

([age_2] of BinaryPredicate
	(%3ALOAD-SEQUENCE 832)
	(%3Adocumentation "\"Simply relates an &%Object to a &%ConstantQuantity specifying the age of the &%Object.\"")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo
		"Instance(age of Cls(SingleValuedRelation))"
		"Slot(age_1)")
	(%3ASUO-name "age"))

([AgeGroup] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1829)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-778]))

([agent] of CaseRole
	(%3ALOAD-SEQUENCE 281)
	(%3Adocumentation "\"(&%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.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo "Slot(agent_1)")
	(%3ASUO-name "agent"))

([Agent] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 183)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-072]))

([agent_1] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 281)
	(%3ADomain1Type Instance)
	(%3AidenticalTo "Instance(agent of Cls(CaseRole))")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "agent")
	(%3AAXIOMS "\n(UAX-099)\n(=>\n   (instance ?PROCESS Process)\n   (exists (?CAUSE)\n      (agent ?PROCESS ?CAUSE)))\n"))

([agreementMember] of BinaryPredicate
	(%3ALOAD-SEQUENCE 3261)
	(%3Adocumentation "\"(&%agreementMember ?Agreement ?Agent) means that ?Agent is one of the participants of the &%Contract ?Agreement.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo
		"Instance(agreementMember_1 of Cls(TotalValuedRelation))"
		"Slot(agreementMember_2)")
	(%3ASUO-name "agreementMember"))

([agreementMember_1] of TotalValuedRelation
	(%3ALOAD-SEQUENCE 3261)
	(%3AidenticalTo
		"Instance(agreementMember of Cls(BinaryPredicate))"
		"Slot(agreementMember_2)")
	(%3Adocumentation "\"(&%agreementMember ?Agreement ?Agent) means that ?Agent is one of the participants of the &%Contract ?Agreement.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "agreementMember"))

([agreementMember_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 3261)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(agreementMember of Cls(BinaryPredicate))"
		"Instance(agreementMember_1 of Cls(TotalValuedRelation))")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "agreementMember"))

([Agriculture] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3431)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1437]))

([Air] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1641)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-688]
		[UAX-689]
		[UAX-690]
		[UAX-691]
		[UAX-692]))

([Aircraft] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3607)
	(%3AisInModule [MidLevel])
	(partition
		[FixedWingAircraft]
		[Helicopter]))

([Airplane] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3609)
	(%3AisInModule [MidLevel]))

([Airport] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3574)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1478]))

([AirStream] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3418)
	(%3AisInModule [MidLevel]))

([AirTransportation] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2953)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1255]
		[UAX-1256]))

([Alaska] of AmericanState
	(%3ALOAD-SEQUENCE 3738)
	(%3Adocumentation "\"The largest state in the &%UnitedStates.\"")
	(%3AisInModule [MidLevel])
	(%3AAXIOMS "\n(UAX-1507)\n(=>\n   (and\n      (subclass ?UNIT AreaMeasure)\n      (measure Alaska (MeasureFn ?NUMBER1 ?UNIT))\n      (measure ?STATE (MeasureFn ?NUMBER2 ?UNIT))\n      (instance ?STATE AmericanState)\n      (not (equal Alaska ?STATE)))\n   (lessThan ?NUMBER2 ?NUMBER1))\n")
	(%3ASUO-name "Alaska"))

([Alcohol] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2476)
	(%3AisInModule [MidLevel]))

([AlcoholicBeverage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2544)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1068]))

([AlethicAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1965)
	(%3AisInModule [QUALITIES]))

([Alga] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1577)
	(%3AisInModule [OBJECTS])
	(disjoint
		[Fern]
		[Fungus]
		[Moss])
	(%3ASLOT-CONSTRAINTS [UAX-673]))

([altitude] of SingleValuedRelation
	(%3ALOAD-SEQUENCE 837)
	(%3AidenticalTo
		"Instance(altitude_2 of Cls(SpatialRelation))"
		"Instance(altitude_3 of Cls(TernaryPredicate))"
		"Slot(altitude_1)")
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASUO-name "altitude"))

([altitude_1] of %3ATernarySlot
	(%3ALOAD-SEQUENCE 837)
	(%3ADomain2Class Physical)
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ADomain2Type Instance)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(altitude_2 of Cls(SpatialRelation))"
		"Instance(altitude_3 of Cls(TernaryPredicate))"
		"Instance(altitude of Cls(SingleValuedRelation))")
	(%3ASUO-name "altitude")
	(%3AAXIOMS "\n(UAX-310)\n(=>\n   (altitude ?OBJ1 ?OBJ2 ?HEIGHT)\n   (orientation ?OBJ1 ?OBJ2 Above))\n\n(UAX-311)\n(=>\n   (altitude ?OBJ1 ?OBJ2 ?HEIGHT)\n   (exists (?TOP)\n      (and\n         (top ?TOP ?OBJ1)\n         (distance ?TOP ?OBJ2 ?HEIGHT))))\n"))

([altitude_2] of SpatialRelation
	(%3ALOAD-SEQUENCE 837)
	(%3AidenticalTo
		"Instance(altitude_3 of Cls(TernaryPredicate))"
		"Instance(altitude of Cls(SingleValuedRelation))"
		"Slot(altitude_1)")
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASUO-name "altitude"))

([altitude_3] of TernaryPredicate
	(%3ALOAD-SEQUENCE 837)
	(%3AidenticalTo
		"Instance(altitude_2 of Cls(SpatialRelation))"
		"Instance(altitude of Cls(SingleValuedRelation))"
		"Slot(altitude_1)")
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASUO-name "altitude"))

([Ambulating] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1209)
	(%3AisInModule [PROCESSES])
	(partition
		[Walking]
		[Running]))

([AmericanCity] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2449)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1030]))

([AmericanState] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2447)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1029]))

([AmerindianEthnicity] of EthnicGroup
	(%3ALOAD-SEQUENCE 3706)
	(%3Adocumentation "\"A broad ethnic group encompassing any of the North, Central, or South American tribal peoples.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "AmerindianEthnicity"))

([amountDue] of TernaryPredicate
	(%3ALOAD-SEQUENCE 3371)
	(%3AidenticalTo "Slot(amountDue_1)")
	(%3Adocumentation "\"(&%amountDue ?ACCOUNT ?AMOUNT ?DATE) means ?DATE is the date on which the amount of Money ?AMOUNT of a particular ?ACCOUNT is due and payable\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "amountDue"))

([amountDue_1] of %3ATernarySlot
	(%3ALOAD-SEQUENCE 3371)
	(%3ADomain2Class CurrencyMeasure)
	(%3AisInModule [MidLevel])
	(%3ADomain2Type Instance)
	(%3ADomain1Type Instance)
	(%3AidenticalTo "Instance(amountDue of Cls(TernaryPredicate))")
	(%3ASUO-name "amountDue")
	(%3AAXIOMS "\n(UAX-1416)\n(=>\n	(and\n		(amountDue ?Account ?Amount ?DueDate)\n		(accountHolder ?Account ?Agent))\n	(holdsObligation (exists (?Payment ?Date)\n				  (and\n					(instance ?Payment Payment)\n					(transactionAmount ?Payment ?Amount)\n                              (agent ?Payment ?Agent)\n					(origin ?Payment ?Account)\n					(date ?Payment ?Date)\n					(beforeOrEqual (EndFn ?Date) (EndFn ?DueDate)))) ?Agent))\n"))

([Ampere] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 694)
	(%3AidenticalTo "Instance(Ampere_1 of Cls(SystemeInternationalUnit))")
	(%3AisInModule [UNITS_OF_MEASURE]))

([Ampere_1] of SystemeInternationalUnit
	(%3ALOAD-SEQUENCE 694)
	(%3Adocumentation "SI electric current measure.  Symbol: A. It is one of the base units in SI. It is defined as follows: the &%Ampere is that constant current which, if maintained in two straight parallel conductors of infinite length, of negligible circular cross-section, and placed 1 &%Meter apart in a vacuum, would produce between these conductors a force equal to 2*10^(-7) &%Newton per &%Meter of length.")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(Ampere)"))

([Amphibian] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1603)
	(%3AisInModule [OBJECTS])
	(disjoint
		[Fish]
		[Reptile]))

([Amu] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 762)
	(%3AidenticalTo "Instance(Amu_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-283]))

([Amu_1] of UnitOfMeasure
	(%3ALOAD-SEQUENCE 762)
	(%3Adocumentation "Atomic mass unit.  Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope.")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(Amu)"))

([Anaconda] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2619)
	(%3AisInModule [MidLevel]))

([Anarchy] of FormOfGovernment
	(%3ALOAD-SEQUENCE 3507)
	(%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Anarchy"))

([AnatomicalStructure] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1659)
	(partition2
		[AnimalAnatomicalStructure]
		[PlantAnatomicalStructure])
	(%3AisInModule [OBJECTS])
	(disjoint [Organism])
	(%3ASLOT-CONSTRAINTS
		[UAX-699]
		[UAX-700])
	(partition
		[BodyPart]
		[AbnormalAnatomicalStructure]))

([ancestor] of TransitiveRelation
	(%3ALOAD-SEQUENCE 1571)
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [OBJECTS])
	(%3AidenticalTo
		"Instance(ancestor_3 of Cls(BinaryPredicate))"
		"Instance(ancestor_1 of Cls(IrreflexiveRelation))"
		"Slot(ancestor_2)")
	(%3ASUO-name "ancestor"))

([ancestor_1] of IrreflexiveRelation
	(%3ALOAD-SEQUENCE 1571)
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [OBJECTS])
	(%3AidenticalTo
		"Instance(ancestor_3 of Cls(BinaryPredicate))"
		"Slot(ancestor_2)"
		"Instance(ancestor of Cls(TransitiveRelation))")
	(%3ASUO-name "ancestor"))

([ancestor_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 1571)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(ancestor_3 of Cls(BinaryPredicate))"
		"Instance(ancestor_1 of Cls(IrreflexiveRelation))"
		"Instance(ancestor of Cls(TransitiveRelation))")
	(%3AisInModule [OBJECTS])
	(%3ASUO-name "ancestor")
	(%3AAXIOMS "\n(UAX-672)\n(=>\n   (parent ?PARENT ?CHILD)\n   (ancestor ?PARENT ?CHILD))\n"))

([ancestor_3] of BinaryPredicate
	(%3ALOAD-SEQUENCE 1571)
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [OBJECTS])
	(%3AidenticalTo
		"Instance(ancestor_1 of Cls(IrreflexiveRelation))"
		"Slot(ancestor_2)"
		"Instance(ancestor of Cls(TransitiveRelation))")
	(%3ASUO-name "ancestor"))

([and] of VariableArityRelation
	(%3ALOAD-SEQUENCE 83)
	(%3AidenticalTo
		"Instance(and_1 of Cls(LogicalOperator))"
		"Slot(and_2)")
	(%3Adocumentation "\"The truth-functional connective of conjunction.\"")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "and"))

([and_1] of LogicalOperator
	(%3ALOAD-SEQUENCE 83)
	(%3AidenticalTo
		"Slot(and_2)"
		"Instance(and of Cls(VariableArityRelation))")
	(%3Adocumentation "\"The truth-functional connective of conjunction.\"")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "and"))

([and_2] of %3AVariableAritySlot
	(%3ALOAD-SEQUENCE 83)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(and_1 of Cls(LogicalOperator))"
		"Instance(and of Cls(VariableArityRelation))")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "and"))

([Anger] of EmotionalState
	(%3ALOAD-SEQUENCE 3057)
	(%3Adocumentation "\"The state of being wrathful, irate or indignant.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Anger"))

([AngleMeasure] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 653)
	(%3AisInModule [UNITS_OF_MEASURE]))

([angleOfFigure] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 2037)
	(%3ADomain1Type Instance)
	(%3AidenticalTo "Instance(angleOfFigure_1 of Cls(BinaryPredicate))")
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "angleOfFigure"))

([angleOfFigure_1] of BinaryPredicate
	(%3ALOAD-SEQUENCE 2037)
	(%3Adocumentation "\"(&%angleOfFigure ?ANGLE ?FIGURE) means that the &%TwoDimensionalAngle ?ANGLE is part of the &%GeometricFigure ?FIGURE.\"")
	(%3AisInModule [QUALITIES])
	(%3AidenticalTo "Slot(angleOfFigure)")
	(%3ASUO-name "angleOfFigure"))

([Angstrom] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 767)
	(%3AidenticalTo "Instance(Angstrom_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-285]))

([Angstrom_1] of UnitOfMeasure
	(%3ALOAD-SEQUENCE 767)
	(%3Adocumentation "The &%Angstrom is a &%LengthMeasure. 1 &%Angstrom = 10^(-10) m")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(Angstrom)"))

([AngularDegree] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 809)
	(%3AidenticalTo "Instance(AngularDegree_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS
		[UAX-301]
		[UAX-302]
		[UAX-303]))

([AngularDegree_1] of UnitOfMeasure
	(%3ALOAD-SEQUENCE 809)
	(%3Adocumentation "A plane angle measure.")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(AngularDegree)"))

([angularMeasure] of BinaryPredicate
	(%3ALOAD-SEQUENCE 2042)
	(%3Adocumentation "\"(&%angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the &%PlaneAngleMeasure of ?MEASURE.\"")
	(%3AisInModule [QUALITIES])
	(%3AidenticalTo
		"Instance(angularMeasure_3 of Cls(BinaryPredicate))"
		"Instance(angularMeasure_4 of Cls(TotalValuedRelation))"
		"Instance(angularMeasure_1 of Cls(TotalValuedRelation))"
		"Slot(angularMeasure_2)")
	(%3ASUO-name "angularMeasure"))

([angularMeasure_1] of TotalValuedRelation
	(%3ALOAD-SEQUENCE 2042)
	(%3AidenticalTo
		"Instance(angularMeasure_3 of Cls(BinaryPredicate))"
		"Instance(angularMeasure of Cls(BinaryPredicate))"
		"Instance(angularMeasure_4 of Cls(TotalValuedRelation))"
		"Slot(angularMeasure_2)")
	(%3Adocumentation "\"(&%angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the &%PlaneAngleMeasure of ?MEASURE.\"")
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "angularMeasure"))

([angularMeasure_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 3100)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(angularMeasure_3 of Cls(BinaryPredicate))"
		"Instance(angularMeasure of Cls(BinaryPredicate))"
		"Instance(angularMeasure_4 of Cls(TotalValuedRelation))"
		"Instance(angularMeasure_1 of Cls(TotalValuedRelation))")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "angularMeasure"))

([angularMeasure_3] of BinaryPredicate
	(%3ALOAD-SEQUENCE 3100)
	(%3Adocumentation "\"(&%angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the &%PlaneAngleMeasure of ?MEASURE.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo
		"Instance(angularMeasure of Cls(BinaryPredicate))"
		"Instance(angularMeasure_4 of Cls(TotalValuedRelation))"
		"Instance(angularMeasure_1 of Cls(TotalValuedRelation))"
		"Slot(angularMeasure_2)")
	(%3ASUO-name "angularMeasure"))

([angularMeasure_4] of TotalValuedRelation
	(%3ALOAD-SEQUENCE 3100)
	(%3AidenticalTo
		"Instance(angularMeasure_3 of Cls(BinaryPredicate))"
		"Instance(angularMeasure of Cls(BinaryPredicate))"
		"Instance(angularMeasure_1 of Cls(TotalValuedRelation))"
		"Slot(angularMeasure_2)")
	(%3Adocumentation "\"(&%angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the &%PlaneAngleMeasure of ?MEASURE.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "angularMeasure"))

([AnimacyAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2073)
	(%3AisInModule [QUALITIES]))

([Animal] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1583)
	(%3AisInModule [OBJECTS])
	(disjoint
		[Plant]
		[Microorganism])
	(partition
		[Vertebrate]
		[Invertebrate]))

([AnimalAnatomicalStructure] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1667)
	(%3AisInModule [OBJECTS])
	(disjoint [PlantAnatomicalStructure])
	(%3ASLOT-CONSTRAINTS [UAX-704]))

([AnimalLanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 168)
	(%3AisInModule [BASE_ONTOLOGY])
	(disjoint
		[HumanLanguage]
		[ComputerLanguage])
	(%3ASLOT-CONSTRAINTS [UAX-068]))

([AnimalResidence] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2353)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-986]))

([AnimalSubstance] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2523)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1060]))

([Answering] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2164)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-909]))

([Antarctica] of Continent
	(%3ALOAD-SEQUENCE 3461)
	(%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Antarctica"))

([Antenna] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2815)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1194]))

([Antibody] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2534)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1064]))

([Antigen] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2536)
	(%3AisInModule [MidLevel]))

([Antisemitism] of BeliefGroup
	(%3ALOAD-SEQUENCE 2382)
	(%3Adocumentation "\"The &%BeliefGroup that is characterized by a dislike for &%Judaism.\"")
	(%3AisInModule [MidLevel])
	(%3AAXIOMS "\n(UAX-1001)\n(=>\n   (member ?MEMBER Antisemitism)\n   (dislikes ?MEMBER Judaism))\n")
	(%3ASUO-name "Antisemitism"))

([AntisymmetricRelation] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 268)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-094]))

([Anxiety] of EmotionalState
	(%3ALOAD-SEQUENCE 3055)
	(%3Adocumentation "\"The state of being worried, troubled or uneasy.\"")
	(%3AisInModule [MidLevel])
	(contraryAttribute_2 [Tranquility])
	(%3ASUO-name "Anxiety")
	(%3AAXIOMS "\n(UAX-1302)\n(=>\n   (attribute ?PERSON Anxiety)\n   (exists (?PROP)\n      (fears ?PERSON ?PROP)))\n\n(UAX-1303)\n(=>\n   (attribute ?PERSON Anger)\n   (exists (?PROP)\n      (disapproves ?PERSON ?PROP)))\n"))

([ApartmentBuilding] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2349)
	(%3AisInModule [MidLevel])
	(disjoint [SingleFamilyResidence])
	(%3ASLOT-CONSTRAINTS [UAX-984]))

([ApartmentUnit] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2342)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-980]
		[UAX-981]))

([Ape] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1617)
	(%3AisInModule [OBJECTS])
	(disjoint
		[Monkey]
		[Hominid]))

([Application] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2730)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1157]))

([April] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 952)
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-373]
		[UAX-374]))

([AquaticMammal] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1608)
	(%3AisInModule [OBJECTS])
	(disjoint
		[HoofedMammal]
		[Marsupial]
		[Rodent]
		[Primate]))

([Arachnid] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1597)
	(%3AisInModule [OBJECTS])
	(disjoint
		[Myriapod]
		[Insect]
		[Crustacean]))

([ArcticRegion] of GeographicArea
	(%3ALOAD-SEQUENCE 3465)
	(%3Adocumentation "\"The &%ArcticRegion is the region of &%PlanetEarth that lies north of the Arctic Circle (approximately 66 and one half degrees &%North latitude) or beyond the northern treeline: 'The Arctic'. See also &%ArcticArea.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "ArcticRegion"))

([arcWeight] of BinaryPredicate
	(%3ALOAD-SEQUENCE 623)
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [GRAPH_THEORY])
	(%3AidenticalTo
		"Slot(arcWeight_2)"
		"Instance(arcWeight_1 of Cls(SingleValuedRelation))")
	(%3ASUO-name "arcWeight"))

([arcWeight_1] of SingleValuedRelation
	(%3ALOAD-SEQUENCE 623)
	(%3AidenticalTo
		"Instance(arcWeight of Cls(BinaryPredicate))"
		"Slot(arcWeight_2)")
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [GRAPH_THEORY])
	(%3ASUO-name "arcWeight"))

([arcWeight_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 623)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(arcWeight of Cls(BinaryPredicate))"
		"Instance(arcWeight_1 of Cls(SingleValuedRelation))")
	(%3AisInModule [GRAPH_THEORY])
	(%3ASUO-name "arcWeight"))

([AreaMeasure] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 649)
	(%3AisInModule [UNITS_OF_MEASURE]))

([Arguing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2166)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-910]))

([Argument] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1877)
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS
		[UAX-794]
		[UAX-795]))

([Arm] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2608)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1101]))

([Army] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2457)
	(%3AisInModule [MidLevel]))

([Arriving] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2929)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1244]))

([ArrowIcon] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2681)
	(%3AisInModule [MidLevel]))

([Artery] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2558)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1074]))

([Arthropod] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1596)
	(%3AisInModule [OBJECTS])
	(disjointDecomposition
		[Arachnid]
		[Myriapod]
		[Insect]
		[Crustacean])
	(disjoint
		[Worm]
		[Mollusk]))

([Article] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1743)
	(%3AisInModule [OBJECTS])
	(disjoint [Book])
	(%3ASLOT-CONSTRAINTS [UAX-738]))

([Artifact] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1757)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-744]))

([ArtificialLanguage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 170)
	(%3AisInModule [BASE_ONTOLOGY]))

([ArtificialSatellite] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3621)
	(%3AisInModule [MidLevel])
	(disjoint [NaturalSatellite]))

([ArtilleryGun] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2182)
	(%3AisInModule [MidLevel])
	(disjoint [Firearm]))

([ArtPainting] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2222)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-929]))

([ArtStudio] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2331)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-975]))

([ArtWork] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1780)
	(%3AisInModule [OBJECTS]))

([AsexualReproduction] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1139)
	(%3AisInModule [PROCESSES])
	(disjoint [SexualReproduction])
	(%3ASLOT-CONSTRAINTS [UAX-472]))

([Asia] of Continent
	(%3ALOAD-SEQUENCE 3463)
	(%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Asia"))

([Asleep] of ConsciousnessAttribute
	(%3ALOAD-SEQUENCE 2103)
	(%3Adocumentation "\"This &%Attribute applies to &%Organisms that are sleeping.\"")
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "Asleep"))

([Asset] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3272)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1377]
		[UAX-1378]))

([AssignmentFn] of Function
	(%3ALOAD-SEQUENCE 94)
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3AidenticalTo
		"Instance(AssignmentFn_1 of Cls(VariableArityRelation))"
		"Slot(AssignmentFn_2)")
	(%3ASUO-name "AssignmentFn"))

([AssignmentFn_1] of VariableArityRelation
	(%3ALOAD-SEQUENCE 94)
	(%3AidenticalTo
		"Instance(AssignmentFn of Cls(Function))"
		"Slot(AssignmentFn_2)")
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "AssignmentFn"))

([AssignmentFn_2] of %3AVariableAritySlot
	(%3ALOAD-SEQUENCE 94)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(AssignmentFn of Cls(Function))"
		"Instance(AssignmentFn_1 of Cls(VariableArityRelation))")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "AssignmentFn"))

([AssociativeFunction] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 371)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-141]))

([AstronomicalBody] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1512)
	(%3AisInModule [OBJECTS])
	(disjoint [GeographicArea]))

([AsymmetricRelation] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 266)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-093]))

([AtlanticOcean] of Ocean
	(%3ALOAD-SEQUENCE 3445)
	(%3Adocumentation "\"&%AtlanticOcean represents the Atlantic Ocean.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "AtlanticOcean"))

([Atmosphere] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3411)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1428]))

([AtmosphericRegion] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3414)
	(%3AisInModule [MidLevel])
	(disjoint [OuterSpaceRegion])
	(%3ASLOT-CONSTRAINTS [UAX-1429]))

([Atom] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 135)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS
		[UAX-057]
		[UAX-058]))

([AtomGram] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 791)
	(%3AidenticalTo "Instance(AtomGram_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE]))

([AtomGram_1] of UnitOfMeasure
	(%3ALOAD-SEQUENCE 791)
	(%3Adocumentation "&%MassMeasure that is also known as the gram-atom. Defined as the mass in grams of 1 &%Mole of pure substance.  For example, 1 &%AtomGram of Carbon 12 will be 12 &%Grams of pure Carbon 12.  2 &%AtomGrams of the same substance will be 24 &%Grams of it.  This is an unusual unit in that it is essentially 1 &%Mole of 'stuff' measured in grams, so that the actual value (i.e. mass) depends on the type of substance.")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(AtomGram)"))

([AtomicNucleus] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 140)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-060]))

([atomicNumber] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 3227)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(atomicNumber_3 of Cls(BinaryPredicate))"
		"Instance(atomicNumber_2 of Cls(SingleValuedRelation))"
		"Instance(atomicNumber_1 of Cls(TotalValuedRelation))")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "atomicNumber"))

([atomicNumber_1] of TotalValuedRelation
	(%3ALOAD-SEQUENCE 3227)
	(%3AidenticalTo
		"Slot(atomicNumber)"
		"Instance(atomicNumber_3 of Cls(BinaryPredicate))"
		"Instance(atomicNumber_2 of Cls(SingleValuedRelation))")
	(%3Adocumentation "\"(&%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.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "atomicNumber"))

([atomicNumber_2] of SingleValuedRelation
	(%3ALOAD-SEQUENCE 3227)
	(%3AidenticalTo
		"Slot(atomicNumber)"
		"Instance(atomicNumber_3 of Cls(BinaryPredicate))"
		"Instance(atomicNumber_1 of Cls(TotalValuedRelation))")
	(%3Adocumentation "\"(&%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.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "atomicNumber"))

([atomicNumber_3] of BinaryPredicate
	(%3ALOAD-SEQUENCE 3227)
	(%3Adocumentation "\"(&%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.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo
		"Slot(atomicNumber)"
		"Instance(atomicNumber_2 of Cls(SingleValuedRelation))"
		"Instance(atomicNumber_1 of Cls(TotalValuedRelation))")
	(%3ASUO-name "atomicNumber"))

([Attaching] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1344)
	(%3AisInModule [PROCESSES])
	(disjoint [Detaching])
	(%3ASLOT-CONSTRAINTS [UAX-568])
	(relatedInternalConcept "Putting"))

([AttachingDevice] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1799)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-763]))

([Attack] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1464)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-625]
		[UAX-626]))

([attends] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 1416)
	(%3ADomain1Type Instance)
	(%3AidenticalTo "Instance(attends_1 of Cls(CaseRole))")
	(%3AisInModule [PROCESSES])
	(%3ASUO-name "attends"))

([attends_1] of CaseRole
	(%3ALOAD-SEQUENCE 1416)
	(%3Adocumentation "\"(&%attends ?DEMO ?PERSON) means that ?PERSON attends, i.e. is a member of the audience, of the performance event ?DEMO.\"")
	(%3AisInModule [PROCESSES])
	(%3AidenticalTo "Slot(attends)")
	(%3ASUO-name "attends"))

([attribute] of AsymmetricRelation
	(%3ALOAD-SEQUENCE 197)
	(%3Adocumentation "\"(&%attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a &%Attribute of ?OBJECT.  For example, (&%attribute &%MyLittleRedWagon &%Red).\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Slot(attribute_2)"
		"Instance(attribute_1 of Cls(IrreflexiveRelation))"
		"Instance(attribute_3 of Cls(BinaryPredicate))")
	(%3ASUO-name "attribute"))

([Attribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 195)
	(%3AisInModule [BASE_ONTOLOGY])
	(disjoint
		[Quantity]
		[SetOrClass]
		[Relation]
		[Proposition]
		[Graph]
		[GraphElement])
	(partition
		[InternalAttribute]
		[RelationalAttribute]))

([attribute_1] of IrreflexiveRelation
	(%3ALOAD-SEQUENCE 197)
	(%3Adocumentation "\"(&%attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a &%Attribute of ?OBJECT.  For example, (&%attribute &%MyLittleRedWagon &%Red).\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(attribute of Cls(AsymmetricRelation))"
		"Slot(attribute_2)"
		"Instance(attribute_3 of Cls(BinaryPredicate))")
	(%3ASUO-name "attribute"))

([attribute_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 197)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(attribute of Cls(AsymmetricRelation))"
		"Instance(attribute_1 of Cls(IrreflexiveRelation))"
		"Instance(attribute_3 of Cls(BinaryPredicate))")
	(%3AisInModule [BASE_ONTOLOGY])
	(disjointRelation [manner_2])
	(%3ASUO-name "attribute"))

([attribute_3] of BinaryPredicate
	(%3ALOAD-SEQUENCE 197)
	(%3Adocumentation "\"(&%attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a &%Attribute of ?OBJECT.  For example, (&%attribute &%MyLittleRedWagon &%Red).\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(attribute of Cls(AsymmetricRelation))"
		"Slot(attribute_2)"
		"Instance(attribute_1 of Cls(IrreflexiveRelation))")
	(%3ASUO-name "attribute"))

([Auditorium] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2360)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-989]
		[UAX-990]))

([AuditoriumSeat] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2363)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-991]
		[UAX-992]))

([August] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 964)
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-381]
		[UAX-382]))

([AuthoritarianRegime] of FormOfGovernment
	(%3ALOAD-SEQUENCE 3508)
	(%3Adocumentation "\"&%AuthoritarianRegime is the attribute of a government that rules autocratically, not allowing opposition.\"")
	(%3AisInModule [MidLevel])
	(contraryAttribute_2
		[FederalGovernment]
		[MultipartyDemocracy])
	(%3ASUO-name "AuthoritarianRegime"))

([AuthoritarianSocialist] of FormOfGovernment
	(%3ALOAD-SEQUENCE 3513)
	(%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "AuthoritarianSocialist"))

([AuthorizationOfTransaction] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3336)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1403]
		[UAX-1404]))

([authors] of BinaryPredicate
	(%3ALOAD-SEQUENCE 1724)
	(%3Adocumentation "\"(&%authors ?AGENT ?TEXT) means that ?AGENT is creatively responsible for ?TEXT.  For example, Agatha Christie is author of Murder_on_the_Orient_Express.\"")
	(%3AisInModule [OBJECTS])
	(%3AidenticalTo
		"Slot(authors_2)"
		"Instance(authors_1 of Cls(AsymmetricRelation))")
	(%3ASUO-name "authors"))

([authors_1] of AsymmetricRelation
	(%3ALOAD-SEQUENCE 1724)
	(%3Adocumentation "\"(&%authors ?AGENT ?TEXT) means that ?AGENT is creatively responsible for ?TEXT.  For example, Agatha Christie is author of Murder_on_the_Orient_Express.\"")
	(%3AisInModule [OBJECTS])
	(%3AidenticalTo
		"Slot(authors_2)"
		"Instance(authors of Cls(BinaryPredicate))")
	(%3ASUO-name "authors"))

([authors_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 1724)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(authors_1 of Cls(AsymmetricRelation))"
		"Instance(authors of Cls(BinaryPredicate))")
	(%3AisInModule [OBJECTS])
	(%3ASUO-name "authors")
	(%3AAXIOMS "\n(UAX-729)\n(=>\n     (authors ?AGENT ?TEXT)\n     (exists (?PROCESS ?INSTANCE)\n          (and\n               (agent ?PROCESS ?AGENT)\n               (instance ?INSTANCE ?TEXT)\n               (result ?PROCESS ?TEXT))))\n"))

([Automobile] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3590)
	(%3AisInModule [MidLevel]))

([AutonomicProcess] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1116)
	(%3AisInModule [PROCESSES])
	(disjoint [IntentionalProcess])
	(%3ASLOT-CONSTRAINTS [UAX-461]))

([average] of BinaryPredicate
	(%3ALOAD-SEQUENCE 3682)
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo
		"Slot(average_3)"
		"Instance(average_2 of Cls(SingleValuedRelation))"
		"Instance(average_1 of Cls(PartialValuedRelation))")
	(%3ASUO-name "average"))

([average_1] of PartialValuedRelation
	(%3ALOAD-SEQUENCE 3682)
	(%3AidenticalTo
		"Slot(average_3)"
		"Instance(average_2 of Cls(SingleValuedRelation))"
		"Instance(average of Cls(BinaryPredicate))")
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "average"))

([average_2] of SingleValuedRelation
	(%3ALOAD-SEQUENCE 3682)
	(%3AidenticalTo
		"Slot(average_3)"
		"Instance(average_1 of Cls(PartialValuedRelation))"
		"Instance(average of Cls(BinaryPredicate))")
	(%3Adocumentation "\"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.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "average"))

([average_3] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 3682)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(average_2 of Cls(SingleValuedRelation))"
		"Instance(average_1 of Cls(PartialValuedRelation))"
		"Instance(average of Cls(BinaryPredicate))")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "average"))

([Avocado] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3220)
	(%3AisInModule [MidLevel]))

([Awake] of ConsciousnessAttribute
	(%3ALOAD-SEQUENCE 2105)
	(%3Adocumentation "\"This &%Attribute applies to &%Organisms that are neither &%Unconscious nor &%Asleep.\"")
	(%3AisInModule [QUALITIES])
	(contraryAttribute_2 [Unconscious])
	(%3ASUO-name "Awake")
	(%3AAXIOMS "\n(UAX-883)\n(=>\n   (or\n      (attribute ?AGENT Asleep)\n      (attribute ?AGENT Awake))\n   (attribute ?AGENT Living))\n"))

([BackFn] of SpatialRelation
	(%3ALOAD-SEQUENCE 118)
	(%3AidenticalTo
		"Instance(BackFn_4 of Cls(IrreflexiveRelation))"
		"Instance(BackFn_1 of Cls(PartialValuedRelation))"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Slot(BackFn_5)"
		"Instance(BackFn_2 of Cls(UnaryFunction))")
	(%3Adocumentation "\"A &%Function that maps an &%Object to the side that is opposite the &%FrontFn of the &%Object.  Note that this is a partial function, since some &%Objects do not have sides, e.g. apples and spheres.  Note too that the &%range of this &%Function is indefinite in much the way that &%ImmediateFutureFn and &%ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "BackFn"))

([BackFn_1] of PartialValuedRelation
	(%3ALOAD-SEQUENCE 118)
	(%3AidenticalTo
		"Instance(BackFn_4 of Cls(IrreflexiveRelation))"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Slot(BackFn_5)"
		"Instance(BackFn of Cls(SpatialRelation))"
		"Instance(BackFn_2 of Cls(UnaryFunction))")
	(%3Adocumentation "\"A &%Function that maps an &%Object to the side that is opposite the &%FrontFn of the &%Object.  Note that this is a partial function, since some &%Objects do not have sides, e.g. apples and spheres.  Note too that the &%range of this &%Function is indefinite in much the way that &%ImmediateFutureFn and &%ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "BackFn"))

([BackFn_2] of UnaryFunction
	(%3ALOAD-SEQUENCE 118)
	(%3Adocumentation "\"A &%Function that maps an &%Object to the side that is opposite the &%FrontFn of the &%Object.  Note that this is a partial function, since some &%Objects do not have sides, e.g. apples and spheres.  Note too that the &%range of this &%Function is indefinite in much the way that &%ImmediateFutureFn and &%ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(BackFn_4 of Cls(IrreflexiveRelation))"
		"Instance(BackFn_1 of Cls(PartialValuedRelation))"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Slot(BackFn_5)"
		"Instance(BackFn of Cls(SpatialRelation))")
	(%3ASUO-name "BackFn"))

([BackFn_3] of AsymmetricRelation
	(%3ALOAD-SEQUENCE 118)
	(%3Adocumentation "\"A &%Function that maps an &%Object to the side that is opposite the &%FrontFn of the &%Object.  Note that this is a partial function, since some &%Objects do not have sides, e.g. apples and spheres.  Note too that the &%range of this &%Function is indefinite in much the way that &%ImmediateFutureFn and &%ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(BackFn_4 of Cls(IrreflexiveRelation))"
		"Instance(BackFn_1 of Cls(PartialValuedRelation))"
		"Slot(BackFn_5)"
		"Instance(BackFn of Cls(SpatialRelation))"
		"Instance(BackFn_2 of Cls(UnaryFunction))")
	(%3ASUO-name "BackFn"))

([BackFn_4] of IrreflexiveRelation
	(%3ALOAD-SEQUENCE 118)
	(%3Adocumentation "\"A &%Function that maps an &%Object to the side that is opposite the &%FrontFn of the &%Object.  Note that this is a partial function, since some &%Objects do not have sides, e.g. apples and spheres.  Note too that the &%range of this &%Function is indefinite in much the way that &%ImmediateFutureFn and &%ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(BackFn_1 of Cls(PartialValuedRelation))"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Slot(BackFn_5)"
		"Instance(BackFn of Cls(SpatialRelation))"
		"Instance(BackFn_2 of Cls(UnaryFunction))")
	(%3ASUO-name "BackFn"))

([BackFn_5] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 118)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(BackFn_4 of Cls(IrreflexiveRelation))"
		"Instance(BackFn_1 of Cls(PartialValuedRelation))"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Instance(BackFn of Cls(SpatialRelation))"
		"Instance(BackFn_2 of Cls(UnaryFunction))")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "BackFn")
	(%3AAXIOMS "\n(UAX-051)\n(=>\n   (instance ?OBJ SelfConnectedObject)\n   (side (BackFn ?OBJ) ?OBJ))\n"))

([Bacterium] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1585)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-675]
		[UAX-676]))

([Ball] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2892)
	(%3AisInModule [MidLevel]))

([BankOrganization] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3257)
	(%3AisInModule [MidLevel]))

([BargainSale] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2418)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1016]))

([Barn] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2802)
	(%3AisInModule [MidLevel])
	(disjoint [ResidentialBuilding])
	(%3ASLOT-CONSTRAINTS [UAX-1188]))

([barometricPressure] of BinaryPredicate
	(%3ALOAD-SEQUENCE 3407)
	(%3Adocumentation "\"(&%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)).\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo
		"Instance(barometricPressure_1 of Cls(AsymmetricRelation))"
		"Slot(barometricPressure_2)")
	(%3ASUO-name "barometricPressure"))

([barometricPressure_1] of AsymmetricRelation
	(%3ALOAD-SEQUENCE 3407)
	(%3Adocumentation "\"(&%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)).\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo
		"Instance(barometricPressure of Cls(BinaryPredicate))"
		"Slot(barometricPressure_2)")
	(%3ASUO-name "barometricPressure"))

([barometricPressure_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 3407)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(barometricPressure of Cls(BinaryPredicate))"
		"Instance(barometricPressure_1 of Cls(AsymmetricRelation))")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "barometricPressure"))

([BASE_ONTOLOGY] of %3AModule
	(%3AinputFile "..\\sam156.txt")
	(%3ASUO-name "BASE_ONTOLOGY")
	(%3AStartingBlock 104))

([Baseball] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3120)
	(%3AisInModule [MidLevel]))

([BaseballHit] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2903)
	(%3AisInModule [MidLevel]))

([BaseballInning] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3123)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1326]))

([BaseballManeuver] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2900)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1231]))

([BaseballRun] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2904)
	(%3AisInModule [MidLevel]))

([BaseballStrike] of SportAttribute
	(%3ALOAD-SEQUENCE 3082)
	(%3Adocumentation "\"A baseball pitch that is in the strike zone and that is not hit by the batter.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "BaseballStrike"))

([BaseballTeam] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3121)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1325]))

([BaseballWalk] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2902)
	(%3AisInModule [MidLevel]))

([Basement] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2779)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1176]))

([Battle] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1456)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-622]
		[UAX-623]))

([Becquerel] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 745)
	(%3AidenticalTo "Instance(Becquerel_1 of Cls(SystemeInternationalUnit))")
	(%3AisInModule [UNITS_OF_MEASURE]))

([Becquerel_1] of SystemeInternationalUnit
	(%3ALOAD-SEQUENCE 745)
	(%3Adocumentation "SI activity measure.  Symbol: Bq.  It measures the amount of radioactivity contained in a given sample of matter. It is that quantity of a radioactive element in which there is one atomic disintegration per &%SecondDuration.  &%Becquerel = s^(-1).")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(Becquerel)"))

([Bed] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2244)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-939]))

([Bedroom] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2786)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1180]))

([Bee] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2620)
	(%3AisInModule [MidLevel]))

([Beer] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2549)
	(%3AisInModule [MidLevel]))

([before] of TemporalRelation
	(%3ALOAD-SEQUENCE 879)
	(%3AidenticalTo
		"Instance(before_4 of Cls(BinaryPredicate))"
		"Instance(before_1 of Cls(IrreflexiveRelation))"
		"Slot(before_3)"
		"Instance(before_2 of Cls(TransitiveRelation))")
	(%3Adocumentation "\"(&%before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.\"")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASUO-name "before"))

([before_1] of IrreflexiveRelation
	(%3ALOAD-SEQUENCE 879)
	(%3Adocumentation "\"(&%before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.\"")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3AidenticalTo
		"Instance(before_4 of Cls(BinaryPredicate))"
		"Instance(before of Cls(TemporalRelation))"
		"Slot(before_3)"
		"Instance(before_2 of Cls(TransitiveRelation))")
	(%3ASUO-name "before"))

([before_2] of TransitiveRelation
	(%3ALOAD-SEQUENCE 879)
	(%3Adocumentation "\"(&%before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.\"")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3AidenticalTo
		"Instance(before_4 of Cls(BinaryPredicate))"
		"Instance(before_1 of Cls(IrreflexiveRelation))"
		"Instance(before of Cls(TemporalRelation))"
		"Slot(before_3)")
	(%3ASUO-name "before"))

([before_3] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 879)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(before_4 of Cls(BinaryPredicate))"
		"Instance(before_1 of Cls(IrreflexiveRelation))"
		"Instance(before of Cls(TemporalRelation))"
		"Instance(before_2 of Cls(TransitiveRelation))")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(relatedInternalConcept "earlier")
	(%3ASUO-name "before")
	(%3AAXIOMS "\n(UAX-332)\n(=>\n    (instance ?OBJ Object)\n    (exists (?TIME1 ?TIME2)\n       (and\n          (instance ?TIME1 TimePoint)\n          (instance ?TIME2 TimePoint)\n          (before ?TIME1 ?TIME2)\n          (forall (?TIME)\n             (=>\n	         (and\n		     (beforeOrEqual ?TIME1 ?TIME)\n                 (beforeOrEqual ?TIME ?TIME2))\n               (time ?OBJ ?TIME))))))\n\n(UAX-333)\n(=>\n   (result ?PROC ?OBJ)\n   (forall (?TIME)\n      (=>\n         (before ?TIME (BeginFn (WhenFn ?PROC)))\n         (not\n            (time ?OBJ ?TIME)))))\n\n(UAX-334)\n(=>\n   (instance ?INTERVAL TimeInterval)\n   (before (BeginFn ?INTERVAL) (EndFn ?INTERVAL)))\n"))

([before_4] of BinaryPredicate
	(%3ALOAD-SEQUENCE 879)
	(%3Adocumentation "\"(&%before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.\"")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3AidenticalTo
		"Instance(before_1 of Cls(IrreflexiveRelation))"
		"Instance(before of Cls(TemporalRelation))"
		"Slot(before_3)"
		"Instance(before_2 of Cls(TransitiveRelation))")
	(%3ASUO-name "before"))

([beforeOrEqual] of BinaryPredicate
	(%3ALOAD-SEQUENCE 884)
	(%3Adocumentation "\"(&%beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.\"")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3AidenticalTo
		"Slot(beforeOrEqual_3)"
		"Instance(beforeOrEqual_2 of Cls(PartialOrderingRelation))"
		"Instance(beforeOrEqual_1 of Cls(TemporalRelation))")
	(%3ASUO-name "beforeOrEqual"))

([beforeOrEqual_1] of TemporalRelation
	(%3ALOAD-SEQUENCE 884)
	(%3AidenticalTo
		"Slot(beforeOrEqual_3)"
		"Instance(beforeOrEqual_2 of Cls(PartialOrderingRelation))"
		"Instance(beforeOrEqual of Cls(BinaryPredicate))")
	(%3Adocumentation "\"(&%beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.\"")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASUO-name "beforeOrEqual"))

([beforeOrEqual_2] of PartialOrderingRelation
	(%3ALOAD-SEQUENCE 884)
	(%3Adocumentation "\"(&%beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.\"")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3AidenticalTo
		"Slot(beforeOrEqual_3)"
		"Instance(beforeOrEqual_1 of Cls(TemporalRelation))"
		"Instance(beforeOrEqual of Cls(BinaryPredicate))")
	(%3ASUO-name "beforeOrEqual"))

([beforeOrEqual_3] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 884)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(beforeOrEqual_2 of Cls(PartialOrderingRelation))"
		"Instance(beforeOrEqual_1 of Cls(TemporalRelation))"
		"Instance(beforeOrEqual of Cls(BinaryPredicate))")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASUO-name "beforeOrEqual")
	(%3AAXIOMS "\n(UAX-335)\n(=>\n   (beforeOrEqual ?POINT1 ?POINT2)\n   (or\n       (before ?POINT1 ?POINT2)\n       (equal ?POINT1 ?POINT2)))\n"))

([BeginFn] of TemporalRelation
	(%3ALOAD-SEQUENCE 869)
	(%3AidenticalTo
		"Instance(BeginFn_2 of Cls(TotalValuedRelation))"
		"Slot(BeginFn_3)"
		"Instance(BeginFn_1 of Cls(UnaryFunction))")
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%TimeInterval to the &%TimePoint at which the interval begins.\"")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASUO-name "BeginFn"))

([BeginFn_1] of UnaryFunction
	(%3ALOAD-SEQUENCE 869)
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%TimeInterval to the &%TimePoint at which the interval begins.\"")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3AidenticalTo
		"Instance(BeginFn of Cls(TemporalRelation))"
		"Instance(BeginFn_2 of Cls(TotalValuedRelation))"
		"Slot(BeginFn_3)")
	(%3ASUO-name "BeginFn"))

([BeginFn_2] of TotalValuedRelation
	(%3ALOAD-SEQUENCE 869)
	(%3AidenticalTo
		"Instance(BeginFn of Cls(TemporalRelation))"
		"Slot(BeginFn_3)"
		"Instance(BeginFn_1 of Cls(UnaryFunction))")
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%TimeInterval to the &%TimePoint at which the interval begins.\"")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASUO-name "BeginFn"))

([BeginFn_3] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 869)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(BeginFn of Cls(TemporalRelation))"
		"Instance(BeginFn_2 of Cls(TotalValuedRelation))"
		"Instance(BeginFn_1 of Cls(UnaryFunction))")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASUO-name "BeginFn")
	(%3AAXIOMS "\n(UAX-326)\n(=>\n   (origin ?PROCESS ?OBJ)\n   (located (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ)))))\n\n(UAX-327)\n(=>\n   (equal (BeginFn ?INTERVAL) ?POINT)\n   (forall (?OTHERPOINT)\n      (=>\n         (and\n            (temporalPart ?OTHERPOINT ?INTERVAL)\n            (not (equal ?OTHERPOINT ?POINT)))\n         (before ?POINT ?OTHERPOINT))))\n"))

([BeginningOperations] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2852)
	(%3AisInModule [MidLevel])
	(disjoint [CeasingOperations])
	(%3ASLOT-CONSTRAINTS [UAX-1211]))

([BeginNodeFn] of UnaryFunction
	(%3ALOAD-SEQUENCE 621)
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%GraphPath to the &%GraphNode that is the beginning of the &%GraphPath.  Note that, unlike &%InitialNodeFn (which relates a &%GraphArc to a &%GraphNode), &%BeginNodeFn is a total function - every &%GraphPath has a beginning.\"")
	(%3AisInModule [GRAPH_THEORY])
	(%3AidenticalTo
		"Instance(BeginNodeFn_1 of Cls(TotalValuedRelation))"
		"Slot(BeginNodeFn_2)")
	(%3ASUO-name "BeginNodeFn"))

([BeginNodeFn_1] of TotalValuedRelation
	(%3ALOAD-SEQUENCE 621)
	(%3AidenticalTo
		"Slot(BeginNodeFn_2)"
		"Instance(BeginNodeFn of Cls(UnaryFunction))")
	(%3Adocumentation "\"A &%UnaryFunction that maps a &%GraphPath to the &%GraphNode that is the beginning of the &%GraphPath.  Note that, unlike &%InitialNodeFn (which relates a &%GraphArc to a &%GraphNode), &%BeginNodeFn is a total function - every &%GraphPath has a beginning.\"")
	(%3AisInModule [GRAPH_THEORY])
	(%3ASUO-name "BeginNodeFn"))

([BeginNodeFn_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 621)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(BeginNodeFn_1 of Cls(TotalValuedRelation))"
		"Instance(BeginNodeFn of Cls(UnaryFunction))")
	(%3AisInModule [GRAPH_THEORY])
	(relatedInternalConcept "InitialNodeFn")
	(%3ASUO-name "BeginNodeFn"))

([BeliefGroup] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1845)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-784]))

([believes] of PropositionalAttitude
	(%3ALOAD-SEQUENCE 320)
	(%3Adocumentation "\"The epistemic predicate of belief. (&%believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(believes_2 of Cls(BinaryPredicate))"
		"Slot(believes_1)")
	(%3ASUO-name "believes"))

([believes_1] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 320)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(believes_2 of Cls(BinaryPredicate))"
		"Instance(believes of Cls(PropositionalAttitude))")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "believes")
	(%3AAXIOMS "\n(UAX-112)\n(=>\n   (believes ?AGENT ?FORMULA)\n   (exists (?TIME)\n      (holdsDuring ?TIME (considers ?AGENT ?FORMULA))))\n"))

([believes_2] of BinaryPredicate
	(%3ALOAD-SEQUENCE 320)
	(%3Adocumentation "\"The epistemic predicate of belief. (&%believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(believes of Cls(PropositionalAttitude))"
		"Slot(believes_1)")
	(%3ASUO-name "believes"))

([Below] of PositionalAttribute
	(%3ALOAD-SEQUENCE 1921)
	(%3Adocumentation "\"This &%PositionalAttribute is derived from the up/down schema and may or may not involve contact.  Note that this means directly below, i.e., if one object is &%Below another object, then the projections of the two objects overlap.\"")
	(%3AisInModule [QUALITIES])
	(contraryAttribute_2 [Above])
	(%3ASUO-name "Below")
	(%3AAXIOMS "\n(UAX-811)\n(<=>\n   (orientation ?OBJ1 ?OBJ2 Below)\n   (or\n      (orientation ?OBJ2 ?OBJ1 On)\n      (orientation ?OBJ2 ?OBJ1 Above)))\n"))

([Betting] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1288)
	(%3AisInModule [PROCESSES]))

([between] of SpatialRelation
	(%3ALOAD-SEQUENCE 443)
	(%3AidenticalTo
		"Slot(between_2)"
		"Instance(between_1 of Cls(TernaryPredicate))")
	(%3Adocumentation "\"(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.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "between"))

([between_1] of TernaryPredicate
	(%3ALOAD-SEQUENCE 443)
	(%3AidenticalTo
		"Slot(between_2)"
		"Instance(between of Cls(SpatialRelation))")
	(%3Adocumentation "\"(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.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "between"))

([between_2] of %3ATernarySlot
	(%3ALOAD-SEQUENCE 443)
	(%3ADomain2Class Object)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain2Type Instance)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(between_1 of Cls(TernaryPredicate))"
		"Instance(between of Cls(SpatialRelation))")
	(%3ASUO-name "between"))

([Beverage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1656)
	(%3AisInModule [OBJECTS])
	(disjoint [Meat])
	(%3ASLOT-CONSTRAINTS
		[UAX-697]
		[UAX-698]))

([Bicycle] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3595)
	(%3AisInModule [MidLevel]))

([BinaryFunction] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 369)
	(%3AidenticalTo "Instance(BinaryFunction_1 of Cls(InheritableRelation))")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-140]))

([BinaryFunction_1] of InheritableRelation
	(%3ALOAD-SEQUENCE 369)
	(%3AidenticalTo "Cls(BinaryFunction)")
	(%3Adocumentation "\"The &%Class of &%Functions that require two arguments.\"")
	(%3AisInModule [BASE_ONTOLOGY]))

([BinaryNumber] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 231)
	(%3AisInModule [BASE_ONTOLOGY]))

([BinaryPredicate] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 381)
	(%3AidenticalTo "Instance(BinaryPredicate_1 of Cls(InheritableRelation))")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-145]))

([BinaryPredicate_1] of InheritableRelation
	(%3ALOAD-SEQUENCE 381)
	(%3AidenticalTo "Cls(BinaryPredicate)")
	(%3Adocumentation "\"A &%Predicate relating two items - its valence is two.\"")
	(%3AisInModule [BASE_ONTOLOGY]))

([BinaryRelation] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 258)
	(%3AidenticalTo "Instance(BinaryRelation_1 of Cls(InheritableRelation))")
	(%3AisInModule [BASE_ONTOLOGY])
	(disjoint
		[UnaryRelation]
		[TernaryRelation]
		[QuaternaryRelation]
		[QuintaryRelation]
		[VariableArityRelation])
	(%3ASLOT-CONSTRAINTS [UAX-089]))

([BinaryRelation_1] of InheritableRelation
	(%3ALOAD-SEQUENCE 258)
	(%3AidenticalTo "Cls(BinaryRelation)")
	(%3Adocumentation "\"&%BinaryRelations are relations that are true only of pairs of things.  &%BinaryRelations are represented as slots in frame systems.\"")
	(%3AisInModule [BASE_ONTOLOGY]))

([BiologicalAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2065)
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-866]))

([BiologicallyActiveSubstance] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1627)
	(%3AisInModule [OBJECTS]))

([BiologicalProcess] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1112)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-459]
		[UAX-460]))

([BiologicalSpecies] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2516)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1058]))

([Biology] of Science
	(%3ALOAD-SEQUENCE 3717)
	(%3Adocumentation "\"The study of the classification, development, and functioning of &%Organisms.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Biology"))

([Bird] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1604)
	(%3AisInModule [OBJECTS])
	(disjoint [Mammal]))

([Birth] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1119)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-462]))

([BirthControlDevice] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2187)
	(%3AisInModule [MidLevel]))

([Bit] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 823)
	(%3AidenticalTo "Instance(Bit_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE]))

([Bit_1] of UnitOfMeasure
	(%3ALOAD-SEQUENCE 823)
	(%3Adocumentation "One &%Bit of information.  A one or a zero.")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(Bit)"))

([Biting] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2304)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-966]))

([Black] of PrimaryColor
	(%3ALOAD-SEQUENCE 2006)
	(%3Adocumentation "\"The &%Attribute of being black in color.\"")
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "Black"))

([BlackEthnicity] of RacialEthnicGroup
	(%3ALOAD-SEQUENCE 3704)
	(%3Adocumentation "\"A broad racial division encompassing various African, African-American, and Caribbean peoples.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "BlackEthnicity"))

([Blanket] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2290)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-960]))

([Bleeding] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3202)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1354]
		[UAX-1355]
		[UAX-1356]))

([Blind] of BiologicalAttribute
	(%3ALOAD-SEQUENCE 3127)
	(%3Adocumentation "\"The &%Attribute that applies to &%Animals and &%Humans that are unable to see.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Blind")
	(%3AAXIOMS "\n(UAX-1328)\n(=>\n   (attribute ?AGENT Blind)\n   (not (capability Seeing agent ?AGENT)))\n"))

([Blood] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1650)
	(%3AisInModule [OBJECTS])
	(disjoint [Serum]))

([BloodVessel] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2556)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1073]))

([Blue] of PrimaryColor
	(%3ALOAD-SEQUENCE 2003)
	(%3Adocumentation "\"The &%Attribute of being blue in color.\"")
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "Blue"))

([Blueprint] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2674)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1132]))

([BoardOrBlock] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2268)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-949]))

([BodyCovering] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1679)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-708]))

([BodyJunction] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1681)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-709]
		[UAX-710]))

([BodyMotion] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1203)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-503]))

([BodyOfWater] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3438)
	(%3AisInModule [MidLevel]))

([BodyPart] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1664)
	(%3AisInModule [OBJECTS])
	(disjoint [AbnormalAnatomicalStructure])
	(%3ASLOT-CONSTRAINTS
		[UAX-702]
		[UAX-703]))

([BodyPosition] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2067)
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-867]))

([BodySubstance] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1647)
	(%3AisInModule [OBJECTS]))

([BodyVessel] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1684)
	(%3AisInModule [OBJECTS]))

([Boiling] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1499)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-642]
		[UAX-643]))

([Bond] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3356)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1411]
		[UAX-1412]))

([Bone] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1692)
	(%3AisInModule [OBJECTS])
	(disjoint
		[Muscle]
		[FatTissue])
	(%3ASLOT-CONSTRAINTS [UAX-714]))

([Book] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1737)
	(%3AisInModule [OBJECTS])
	(disjoint [Article]))

([Borrowing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1276)
	(%3AisInModule [PROCESSES]))

([Boston] of AmericanCity
	(%3ALOAD-SEQUENCE 3754)
	(%3Adocumentation "\"The largest &%City in Massachusetts.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Boston"))

([BotanicalTree] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3425)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1434]))

([Bottle] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2263)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-946]
		[UAX-947]))

([bottom] of SpatialRelation
	(%3ALOAD-SEQUENCE 1040)
	(%3AidenticalTo "Slot(bottom_1)")
	(%3Adocumentation "\"(&%bottom ?BOTTOM ?OBJECT) holds if ?BOTTOM is the lowest or deepest maximal superficial part of ?OBJECT.\"")
	(%3AisInModule [MEREOTOPOLOGY])
	(%3ASUO-name "bottom"))

([bottom_1] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 1040)
	(%3ADomain1Type Instance)
	(%3AidenticalTo "Instance(bottom of Cls(SpatialRelation))")
	(%3AisInModule [MEREOTOPOLOGY])
	(%3ASUO-name "bottom")
	(%3AAXIOMS "\n(UAX-426)\n(=>\n	(and\n		(bottom ?BOTTOM ?OBJECT)\n		(part ?PART ?OBJECT)\n		(not (connected ?PART ?BOTTOM)))\n	(orientation ?PART ?BOTTOM Above))\n"))

([Bowing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2664)
	(%3AisInModule [MidLevel]))

([Box] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2258)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-944]))

([Boxing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3118)
	(%3AisInModule [MidLevel]))

([Boy] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2138)
	(%3AisInModule [MidLevel]))

([Brain] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2591)
	(%3AisInModule [MidLevel]))

([Brass] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2493)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1047]))

([BreakabilityAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2061)
	(%3AisInModule [QUALITIES]))

([Breathing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1124)
	(%3AisInModule [PROCESSES]))

([Bridge] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3585)
	(%3AisInModule [MidLevel]))

([BritishThermalUnit] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 806)
	(%3AidenticalTo "Instance(BritishThermalUnit_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-300]))

([BritishThermalUnit_1] of UnitOfMeasure
	(%3ALOAD-SEQUENCE 806)
	(%3Adocumentation "An energy measure.")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(BritishThermalUnit)"))

([Broadcasting] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2809)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1191]))

([BroadcastingStation] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3622)
	(%3AisInModule [MidLevel])
	(partition
		[RadioStation]
		[TelevisionStation]))

([BroadcastProgram] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2733)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1158]))

([BronchialDuct] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2554)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1072]))

([Brood] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2388)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1004]
		[UAX-1005]))

([brother] of IrreflexiveRelation
	(%3ALOAD-SEQUENCE 1569)
	(%3Adocumentation "\"The general relationship of being a brother. (&%brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.\"")
	(%3AisInModule [OBJECTS])
	(%3AidenticalTo
		"Slot(brother_2)"
		"Instance(brother_3 of Cls(BinaryPredicate))"
		"Instance(brother_1 of Cls(TransitiveRelation))")
	(%3ASUO-name "brother"))

([brother_1] of TransitiveRelation
	(%3ALOAD-SEQUENCE 1569)
	(%3Adocumentation "\"The general relationship of being a brother. (&%brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.\"")
	(%3AisInModule [OBJECTS])
	(%3AidenticalTo
		"Slot(brother_2)"
		"Instance(brother_3 of Cls(BinaryPredicate))"
		"Instance(brother of Cls(IrreflexiveRelation))")
	(%3ASUO-name "brother"))

([brother_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 1569)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(brother_3 of Cls(BinaryPredicate))"
		"Instance(brother_1 of Cls(TransitiveRelation))"
		"Instance(brother of Cls(IrreflexiveRelation))")
	(%3AisInModule [OBJECTS])
	(%3ASUO-name "brother"))

([brother_3] of BinaryPredicate
	(%3ALOAD-SEQUENCE 1569)
	(%3Adocumentation "\"The general relationship of being a brother. (&%brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.\"")
	(%3AisInModule [OBJECTS])
	(%3AidenticalTo
		"Slot(brother_2)"
		"Instance(brother_1 of Cls(TransitiveRelation))"
		"Instance(brother of Cls(IrreflexiveRelation))")
	(%3ASUO-name "brother"))

([Brown] of SecondaryColor
	(%3ALOAD-SEQUENCE 3066)
	(%3Adocumentation "\"A &%SecondaryColor that resembles the color of wood or of soil.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Brown"))

([Building] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1766)
	(%3AisInModule [OBJECTS])
	(disjoint [Room])
	(%3ASLOT-CONSTRAINTS [UAX-748]))

([BuildingLevel] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2777)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1175]))

([BumbleBee] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2621)
	(%3AisInModule [MidLevel]))

([BusinessCompetition] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3116)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1324]))

([Buying] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1289)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-540])
	(relatedInternalConcept "Selling"))

([Byte] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 824)
	(%3AidenticalTo "Instance(Byte_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-306]))

([Byte_1] of UnitOfMeasure
	(%3ALOAD-SEQUENCE 824)
	(%3Adocumentation "One &%Byte of information.  A &%Byte is eight &%Bits.")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(Byte)"))

([Cafeteria] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2404)
	(%3AisInModule [MidLevel]))

([Calculating] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1312)
	(%3AisInModule [PROCESSES]))

([California] of AmericanState
	(%3ALOAD-SEQUENCE 3740)
	(%3Adocumentation "\"The &%AmericanState with the highest population.\"")
	(%3AisInModule [MidLevel])
	(%3AAXIOMS "\n(UAX-1508)\n(=>\n   (and\n      (instance ?STATE AmericanState)\n      (not (equal ?STATE California)))\n   (greaterThan (ResidentFn California) (ResidentFn ?STATE)))\n")
	(%3ASUO-name "California"))

([Calorie] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 804)
	(%3AidenticalTo "Instance(Calorie_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-299]))

([Calorie_1] of UnitOfMeasure
	(%3ALOAD-SEQUENCE 804)
	(%3Adocumentation "A &%Calorie is an energy measure.")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(Calorie)"))

([Camera] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2685)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1137]))

([Camp] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2336)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-977]))

([Canal] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3580)
	(%3AisInModule [MidLevel]))

([Cancer] of DiseaseOrSyndrome
	(%3ALOAD-SEQUENCE 2300)
	(%3Adocumentation "\"A &%DiseaseOrSyndrome characterized by pathologic and uncontrolled cell division that results in a &%Tumor.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Cancer")
	(%3AAXIOMS "\n(UAX-964)\n(=>\n   (attribute ?PERSON Cancer)\n   (exists (?TUMOR)\n      (and\n         (instance ?TUMOR Tumor)\n         (part ?TUMOR ?PERSON))))\n"))

([Candela] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 700)
	(%3AidenticalTo "Instance(Candela_1 of Cls(SystemeInternationalUnit))")
	(%3AisInModule [UNITS_OF_MEASURE]))

([Candela_1] of SystemeInternationalUnit
	(%3ALOAD-SEQUENCE 700)
	(%3Adocumentation "SI luminosity intensity measure.  Symbol: cd. It is one of the base units in SI, and it is currently defined as follows:  the &%Candela is the luminous intensity, in a given direction, of a source that emits monochromatic radiation of frequency 540*10^12 &%Hertz and that has a radiant intensity in that direction of 1/683 &%Watt per &%Steradian.")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(Candela)"))

([candidateForPosition] of TernaryPredicate
	(%3ALOAD-SEQUENCE 3555)
	(%3AidenticalTo "Slot(candidateForPosition_1)")
	(%3Adocumentation "\"(&%candidateForPosition ?ELECTION ?POSITION ?CONTENDER) means that in the &%Election ?ELECTION for ?POSITION, the &%Agent ?CONTENDER was one of the candidates.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "candidateForPosition"))

([candidateForPosition_1] of %3ATernarySlot
	(%3ALOAD-SEQUENCE 3555)
	(%3ADomain2Class SocialRole)
	(%3AisInModule [MidLevel])
	(%3ADomain2Type Instance)
	(%3ADomain1Type Instance)
	(%3AidenticalTo "Instance(candidateForPosition of Cls(TernaryPredicate))")
	(%3ASUO-name "candidateForPosition")
	(%3AAXIOMS "\n(UAX-1470)\n(=>\n	(candidateForPosition ?ELECTION ?POSITION ?CONTENDER)\n	(electionForPosition ?ELECTION ?POSITION))\n\n(UAX-1471)\n(=>\n	(and\n		(candidateForPosition ?ELECTION ?POSITION ?CONTENDER)\n		(agent ?ELECTION ?AGENT))\n	(desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))\n"))

([Canine] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1613)
	(%3AisInModule [OBJECTS])
	(disjoint [Feline]))

([capability] of TernaryPredicate
	(%3ALOAD-SEQUENCE 420)
	(%3AidenticalTo "Slot(capability_1)")
	(%3Adocumentation "\"(&%capability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in &%Processes of type ?PROCESS.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "capability"))

([capability_1] of %3ATernarySlot
	(%3ALOAD-SEQUENCE 420)
	(%3ADomain2Class CaseRole)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ADomain2Type Instance)
	(%3ADomain1Type Class)
	(%3AidenticalTo "Instance(capability of Cls(TernaryPredicate))")
	(%3ASUO-name "capability")
	(%3AAXIOMS "\n(UAX-164)\n(=>\n   (and\n      (instance ?ROLE CaseRole)\n      (holds ?ROLE ?ARG1 ?ARG2)\n      (instance ?ARG1 ?PROC)\n      (subclass ?PROC Process))\n   (capability ?PROC ?ROLE ?ARG2))\n"))

([capacity] of BinaryPredicate
	(%3ALOAD-SEQUENCE 2313)
	(%3Adocumentation "\"(&%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.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo "Slot(capacity_1)")
	(%3ASUO-name "capacity"))

([capacity_1] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 2313)
	(%3ADomain1Type Instance)
	(%3AidenticalTo "Instance(capacity of Cls(BinaryPredicate))")
	(%3AisInModule [MidLevel])
	(relatedInternalConcept "humanCapacity")
	(%3ASUO-name "capacity")
	(%3AAXIOMS "\n(UAX-970)\n(=>\n   (and\n      (measure ?OBJ1 ?MEAS)\n      (contains ?OBJ2 ?OBJ1))\n   (capacity ?OBJ2 ?MEAS))\n"))

([capitalCity] of BinaryPredicate
	(%3ALOAD-SEQUENCE 3523)
	(%3Adocumentation "\"(&%capitalCity ?CITY ?REGION) means that the &%City ?CITY is the capital of the &%GeopoliticalArea ?REGION.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo
		"Instance(capitalCity_2 of Cls(SpatialRelation))"
		"Slot(capitalCity_1)")
	(%3ASUO-name "capitalCity"))

([capitalCity_1] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 3523)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(capitalCity_2 of Cls(SpatialRelation))"
		"Instance(capitalCity of Cls(BinaryPredicate))")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "capitalCity"))

([capitalCity_2] of SpatialRelation
	(%3ALOAD-SEQUENCE 3523)
	(%3AidenticalTo
		"Slot(capitalCity_1)"
		"Instance(capitalCity of Cls(BinaryPredicate))")
	(%3Adocumentation "\"(&%capitalCity ?CITY ?REGION) means that the &%City ?CITY is the capital of the &%GeopoliticalArea ?REGION.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "capitalCity"))

([CapitalistEconomy] of EconomicSystemAttribute
	(%3ALOAD-SEQUENCE 3633)
	(%3Adocumentation "\"&%CapitalistEconomy is the &%Attribute used to characterize a country whose economy is based on private ownership of the means of production and distribution, and on private accumulation of capital.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CapitalistEconomy"))

([CaptainOfficer] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3012)
	(%3AisInModule [MidLevel]))

([Carbohydrate] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1631)
	(%3AisInModule [OBJECTS])
	(disjoint
		[Protein]
		[Vitamin]))

([Carbon] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3236)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1367]))

([CardinalityFn] of UnaryFunction
	(%3ALOAD-SEQUENCE 572)
	(%3Adocumentation "\"(CardinalityFn ?CLASS) returns the number of instances in the &%SetOrClass or &%Collection ?CLASS.\"")
	(%3AisInModule [SET%2FCLASS_THEORY])
	(%3AidenticalTo
		"Instance(CardinalityFn_2 of Cls(AsymmetricRelation))"
		"Slot(CardinalityFn_3)"
		"Instance(CardinalityFn_1 of Cls(TotalValuedRelation))")
	(%3ASUO-name "CardinalityFn"))

([CardinalityFn_1] of TotalValuedRelation
	(%3ALOAD-SEQUENCE 572)
	(%3AidenticalTo
		"Instance(CardinalityFn_2 of Cls(AsymmetricRelation))"
		"Slot(CardinalityFn_3)"
		"Instance(CardinalityFn of Cls(UnaryFunction))")
	(%3Adocumentation "\"(CardinalityFn ?CLASS) returns the number of instances in the &%SetOrClass or &%Collection ?CLASS.\"")
	(%3AisInModule [SET%2FCLASS_THEORY])
	(%3ASUO-name "CardinalityFn"))

([CardinalityFn_2] of AsymmetricRelation
	(%3ALOAD-SEQUENCE 572)
	(%3Adocumentation "\"(CardinalityFn ?CLASS) returns the number of instances in the &%SetOrClass or &%Collection ?CLASS.\"")
	(%3AisInModule [SET%2FCLASS_THEORY])
	(%3AidenticalTo
		"Slot(CardinalityFn_3)"
		"Instance(CardinalityFn of Cls(UnaryFunction))"
		"Instance(CardinalityFn_1 of Cls(TotalValuedRelation))")
	(%3ASUO-name "CardinalityFn"))

([CardinalityFn_3] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 572)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(CardinalityFn_2 of Cls(AsymmetricRelation))"
		"Instance(CardinalityFn of Cls(UnaryFunction))"
		"Instance(CardinalityFn_1 of Cls(TotalValuedRelation))")
	(%3AisInModule [SET%2FCLASS_THEORY])
	(%3ASUO-name "CardinalityFn"))

([CareOrganization] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2396)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1007])
	(partition
		[Hospital]
		[MedicalClinic]))

([Carnivore] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1611)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-681]))

([Carrying] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1222)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-509]))

([CaseRole] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 280)
	(%3AidenticalTo "Instance(CaseRole_1 of Cls(InheritableRelation))")
	(%3AisInModule [BASE_ONTOLOGY]))

([CaseRole_1] of InheritableRelation
	(%3ALOAD-SEQUENCE 280)
	(%3AidenticalTo "Cls(CaseRole)")
	(%3Adocumentation "\"The &%Class of &%Predicates relating the spatially distinguished parts of a &%Process. &%CaseRoles include, for example, the &%agent, &%patient or &%destination of an action, the flammable substance in a burning process, or the water that falls in rain.\"")
	(%3AisInModule [BASE_ONTOLOGY]))

([Catching] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2910)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1234]
		[UAX-1235]))

([causes] of BinaryPredicate
	(%3ALOAD-SEQUENCE 410)
	(%3Adocumentation "\"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).\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(causes_1 of Cls(AsymmetricRelation))"
		"Slot(causes_2)")
	(%3ASUO-name "causes"))

([causes_1] of AsymmetricRelation
	(%3ALOAD-SEQUENCE 410)
	(%3Adocumentation "\"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).\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Slot(causes_2)"
		"Instance(causes of Cls(BinaryPredicate))")
	(%3ASUO-name "causes"))

([causes_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 410)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(causes_1 of Cls(AsymmetricRelation))"
		"Instance(causes of Cls(BinaryPredicate))")
	(%3AisInModule [BASE_ONTOLOGY])
	(relatedInternalConcept "causesSubclass")
	(%3ASUO-name "causes")
	(%3AAXIOMS "\n(UAX-159)\n(=>\n   (instance ?PROC1 Process)\n   (exists (?PROC2)\n      (causes ?PROC2 ?PROC1)))\n"))

([causesSubclass] of BinaryPredicate
	(%3ALOAD-SEQUENCE 412)
	(%3Adocumentation "\"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).\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(causesSubclass_1 of Cls(AsymmetricRelation))"
		"Slot(causesSubclass_2)")
	(%3ASUO-name "causesSubclass"))

([causesSubclass_1] of AsymmetricRelation
	(%3ALOAD-SEQUENCE 412)
	(%3Adocumentation "\"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).\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(causesSubclass of Cls(BinaryPredicate))"
		"Slot(causesSubclass_2)")
	(%3ASUO-name "causesSubclass"))

([causesSubclass_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 412)
	(%3ADomain1Type Class)
	(%3AidenticalTo
		"Instance(causesSubclass_1 of Cls(AsymmetricRelation))"
		"Instance(causesSubclass of Cls(BinaryPredicate))")
	(%3AisInModule [BASE_ONTOLOGY])
	(relatedInternalConcept "causes")
	(%3ASUO-name "causesSubclass")
	(%3AAXIOMS "\n(UAX-160)\n(=>\n   (causesSubclass ?PROC1 ?PROC2)\n   (forall (?INST2)\n      (=>\n         (instance ?INST2 ?PROC2)\n         (exists (?INST1)\n		(and\n		   (instance ?INST1 ?PROC1)\n		   (causes ?INST1 ?INST2))))))\n"))

([CeasingOperations] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2854)
	(%3AisInModule [MidLevel])
	(disjoint [BeginningOperations])
	(%3ASLOT-CONSTRAINTS [UAX-1212]))

([CeilingFn] of UnaryFunction
	(%3ALOAD-SEQUENCE 499)
	(%3Adocumentation "\"(&%CeilingFn ?NUMBER) returns the smallest &%Integer greater than or equal to the &%RealNumber ?NUMBER.\"")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3AidenticalTo
		"Slot(CeilingFn_2)"
		"Instance(CeilingFn_1 of Cls(TotalValuedRelation))")
	(%3ASUO-name "CeilingFn"))

([CeilingFn_1] of TotalValuedRelation
	(%3ALOAD-SEQUENCE 499)
	(%3AidenticalTo
		"Slot(CeilingFn_2)"
		"Instance(CeilingFn of Cls(UnaryFunction))")
	(%3Adocumentation "\"(&%CeilingFn ?NUMBER) returns the smallest &%Integer greater than or equal to the &%RealNumber ?NUMBER.\"")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ASUO-name "CeilingFn"))

([CeilingFn_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 499)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(CeilingFn_1 of Cls(TotalValuedRelation))"
		"Instance(CeilingFn of Cls(UnaryFunction))")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ASUO-name "CeilingFn")
	(%3AAXIOMS "\n(UAX-197)\n(=>\n   (equal (CeilingFn ?NUMBER) ?INT)\n   (not\n      (exists (?OTHERINT)\n         (and\n            (instance ?OTHERINT Integer)\n            (greaterThanOrEqualTo ?OTHERINT ?NUMBER)\n            (lessThan ?OTHERINT ?INT)))))\n"))

([Cell] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1685)
	(%3AisInModule [OBJECTS]))

([CellNucleus] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2542)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1067]))

([CelsiusDegree] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 737)
	(%3AidenticalTo "Instance(CelsiusDegree_1 of Cls(SystemeInternationalUnit))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS
		[UAX-276]
		[UAX-277]))

([CelsiusDegree_1] of SystemeInternationalUnit
	(%3ALOAD-SEQUENCE 737)
	(%3Adocumentation "A &%TemperatureMeasure.  The freezing point and the boiling point of water are, respectively, 0 &%CelsiusDegrees and 100 &%CelsiusDegrees.")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(CelsiusDegree)"))

([Cement] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3673)
	(%3AisInModule [MidLevel]))

([Centimeter] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 702)
	(%3AidenticalTo "Instance(Centimeter_1 of Cls(UnitOfMeasure))")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-275]))

([Centimeter_1] of UnitOfMeasure
	(%3ALOAD-SEQUENCE 702)
	(%3Adocumentation "Submultiple of &%Meter.  Symbol: cm. It is the 100th part of a &%Meter")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo "Cls(Centimeter)"))

([CentrallyPlannedEconomy] of EconomicSystemAttribute
	(%3ALOAD-SEQUENCE 3646)
	(%3Adocumentation "\"&%CentrallyPlannedEconomy is a term used mainly to describe communist or formerly communist states, many of which are now evolving away from command economies towards market-oriented systems.  Also known as a 'command economy'.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CentrallyPlannedEconomy")
	(%3AAXIOMS "\n(UAX-1489)\n(=>\n	(and\n		(attribute ?AREA CommunistState)\n		(instance ?AREA Nation))\n	(economyType ?AREA CentrallyPlannedEconomy))\n"))

([CentralTimeZone] of TimeZone
	(%3ALOAD-SEQUENCE 1941)
	(%3Adocumentation "\"A &%TimeZone that covers much of the midwestern United States.\"")
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "CentralTimeZone")
	(%3AAXIOMS "\n(UAX-821)\n(=>\n   (equal (RelativeTimeFn ?TIME1 CentralTimeZone) ?TIME2)\n   (equal ?TIME2 (AdditionFn ?TIME1 6)))\n"))

([Century] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3014)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1281]))

([Certificate] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1745)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-739]))

([Chair] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2242)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-938]))

([Chairman] of Position
	(%3ALOAD-SEQUENCE 3541)
	(%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Chairman"))

([ChangeOfPossession] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1258)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-524]
		[UAX-525])
	(relatedInternalConcept "possesses"))

([Chapter] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2737)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1160]))

([Character] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 161)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-067]))

([ChargingAFee] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3295)
	(%3AisInModule [MidLevel]))

([Check] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3304)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1389]
		[UAX-1390]
		[UAX-1391]
		[UAX-1392]
		[UAX-1393]
		[UAX-1394]
		[UAX-1395]))

([checkAccount] of BinaryPredicate
	(%3ALOAD-SEQUENCE 3318)
	(%3Adocumentation "\"(&%checkAccount ?Check ?Account) means that ?Account is the &%FinancialAccount from which the amount specifed on the check is paid.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo "Slot(checkAccount_1)")
	(%3ASUO-name "checkAccount"))

([checkAccount_1] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 3318)
	(%3ADomain1Type Instance)
	(%3AidenticalTo "Instance(checkAccount of Cls(BinaryPredicate))")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "checkAccount"))

([CheckingAccount] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3333)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1402]))

([ChemicalDecomposition] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1356)
	(%3AisInModule [PROCESSES])
	(disjoint [ChemicalSynthesis])
	(%3ASLOT-CONSTRAINTS [UAX-574]))

([ChemicalEquilibrium] of InternalAttribute
	(%3ALOAD-SEQUENCE 3089)
	(%3Adocumentation "\"The &%Attribute of being in a chemically stable state, i.e. the relative proportions of &%resources and &%results will not longer change.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "ChemicalEquilibrium")
	(%3AAXIOMS "\n(UAX-1315)\n(=>\n   (property ?PROCESS ChemicalEquilibrium)\n   (instance ?PROCESS ChemicalProcess))\n\n(UAX-1316)\n(=>\n   (property ?PROCESS ChemicalEquilibrium)\n   (exists (?RATIO)\n      (=>\n         (and\n            (holdsDuring ?TIME (resource ?PROCESS ?RESOURCE))\n            (holdsDuring ?TIME (result ?PROCESS ?RESULT)))\n         (equal ?RATIO (DivisionFn ?RESOURCE ?RESULT)))))\n"))

([ChemicalProcess] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1351)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-571])
	(partition
		[ChemicalSynthesis]
		[ChemicalDecomposition]))

([ChemicalSynthesis] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1353)
	(%3AisInModule [PROCESSES])
	(disjoint [ChemicalDecomposition])
	(%3ASLOT-CONSTRAINTS
		[UAX-572]
		[UAX-573]))

([Chemistry] of Science
	(%3ALOAD-SEQUENCE 3720)
	(%3Adocumentation "\"The study of the compositions, properties, and reactions of &%Substances.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Chemistry"))

([Chewing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2574)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1082]
		[UAX-1083]
		[UAX-1084]))

([Chicago] of AmericanCity
	(%3ALOAD-SEQUENCE 3751)
	(%3Adocumentation "\"Often referred to as the second city, Chicago is the largest city in the midwestern United States.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Chicago"))

([Chicken] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3155)
	(%3AisInModule [MidLevel]))

([ChickenMeat] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3158)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1340]))

([Chiefdom] of FormOfGovernment
	(%3ALOAD-SEQUENCE 3482)
	(%3Adocumentation "\"A monarchy in which the monarch is a Chief.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Chiefdom"))

([chiefOfState] of TernaryPredicate
	(%3ALOAD-SEQUENCE 3547)
	(%3AidenticalTo "Slot(chiefOfState_1)")
	(%3Adocumentation "\"(&%chiefOfState ?POLITY ?ROLE ?PERSON) means that ?PERSON is the titular leader of the government of the &%GeopoliticalArea ?POLITY and represents it at official functions.  The office held by this chief of state is ?ROLE (e.g., President, Queen, Chairman).  Note: this term is defined as in the CIA World Fact Book.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "chiefOfState"))

([chiefOfState_1] of %3ATernarySlot
	(%3ALOAD-SEQUENCE 3547)
	(%3ADomain2Class Position)
	(%3AisInModule [MidLevel])
	(%3ADomain2Type Instance)
	(%3ADomain1Type Instance)
	(%3AidenticalTo "Instance(chiefOfState of Cls(TernaryPredicate))")
	(%3ASUO-name "chiefOfState")
	(%3AAXIOMS "\n(UAX-1465)\n(=>\n	(chiefOfState ?AREA ?POSITION ?PERSON)\n	(occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA)))\n\n(UAX-1466)\n(=>\n	(and\n		(chiefOfState ?AREA ?POSITION ?PERSON)\n		(instance ?AREA Nation))\n	(citizen ?PERSON ?AREA))\n"))

([Chin] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2643)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1117]
		[UAX-1118]))

([Chlorine] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3230)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1364]))

([Christianity] of BeliefGroup
	(%3ALOAD-SEQUENCE 3708)
	(%3Adocumentation "\"The religion derived from Jesus Christ, based on the Bible as sacred scripture, and professed by Eastern, Catholic, and Protestant bodies, among other subdivisions.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Christianity"))

([ChristianService] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2427)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1019]))

([CigarOrCigarette] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2236)
	(%3AisInModule [MidLevel]))

([Circle] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2031)
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-855]))

([citizen] of BinaryPredicate
	(%3ALOAD-SEQUENCE 1866)
	(%3Adocumentation "\"(&%citizen ?PERSON ?NATION) means that the &%Human ?PERSON is a citizen of &%Nation ?NATION.\"")
	(%3AisInModule [OBJECTS])
	(%3AidenticalTo
		"Instance(citizen_1 of Cls(AsymmetricRelation))"
		"Slot(citizen_2)")
	(%3ASUO-name "citizen"))

([citizen_1] of AsymmetricRelation
	(%3ALOAD-SEQUENCE 1866)
	(%3Adocumentation "\"(&%citizen ?PERSON ?NATION) means that the &%Human ?PERSON is a citizen of &%Nation ?NATION.\"")
	(%3AisInModule [OBJECTS])
	(%3AidenticalTo
		"Slot(citizen_2)"
		"Instance(citizen of Cls(BinaryPredicate))")
	(%3ASUO-name "citizen"))

([citizen_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 1866)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(citizen_1 of Cls(AsymmetricRelation))"
		"Instance(citizen of Cls(BinaryPredicate))")
	(%3AisInModule [OBJECTS])
	(%3ASUO-name "citizen"))

([CitizenryFn] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 2435)
	(%3ADomain1Type Instance)
	(%3AidenticalTo "Instance(CitizenryFn_1 of Cls(UnaryFunction))")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CitizenryFn")
	(%3AAXIOMS "\n(UAX-1023)\n(=>\n   (and\n      (instance ?AREA GeopoliticalArea)\n      (equal ?CITIZENRY (CitizenryFn ?AREA))\n      (equal ?POPULATION (ResidentFn ?AREA)))\n   (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))\n"))

([CitizenryFn_1] of UnaryFunction
	(%3ALOAD-SEQUENCE 2435)
	(%3Adocumentation "\"(&%CitizenryFn ?AREA) denotes the &%GroupOfPeople who are legal and permanent residents of the &%GeopoliticalArea ?AREA.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo "Slot(CitizenryFn)")
	(%3ASUO-name "CitizenryFn"))

([City] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1541)
	(%3AisInModule [OBJECTS]))

([cityAddress] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 2324)
	(%3ADomain1Type Instance)
	(%3AidenticalTo "Instance(cityAddress_1 of Cls(BinaryPredicate))")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "cityAddress"))

([cityAddress_1] of BinaryPredicate
	(%3ALOAD-SEQUENCE 2324)
	(%3Adocumentation "\"(&%cityAddress ?CITY ?ADDRESS) means that the &%City ?CITY is part of the address ?ADDRESS.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo "Slot(cityAddress)")
	(%3ASUO-name "cityAddress"))

([CityDistrict] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2439)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1025]))

([CivilWar] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3111)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1322]))

([Class] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 247)
	(%3AisInModule [BASE_ONTOLOGY])
	(disjoint [Set]))

([Classifying] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1300)
	(%3AisInModule [PROCESSES]))

([Clay] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3454)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1448]))

([Cleric] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3185)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1349]))

([ClericalSecretary] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3004)
	(%3AisInModule [MidLevel]))

([Clock] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2207)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-924]))

([closedOn] of BinaryPredicate
	(%3ALOAD-SEQUENCE 393)
	(%3Adocumentation "\"A &%BinaryFunction is closed on a &%SetOrClass if it is defined for all instances of the &%SetOrClass and its value is always an instance of the &%SetOrClass.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(closedOn_1 of Cls(AsymmetricRelation))"
		"Slot(closedOn_2)")
	(%3ASUO-name "closedOn"))

([closedOn_1] of AsymmetricRelation
	(%3ALOAD-SEQUENCE 393)
	(%3Adocumentation "\"A &%BinaryFunction is closed on a &%SetOrClass if it is defined for all instances of the &%SetOrClass and its value is always an instance of the &%SetOrClass.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(closedOn of Cls(BinaryPredicate))"
		"Slot(closedOn_2)")
	(%3ASUO-name "closedOn"))

([closedOn_2] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 393)
	(%3ADomain1Type Instance)
	(%3AidenticalTo
		"Instance(closedOn of Cls(BinaryPredicate))"
		"Instance(closedOn_1 of Cls(AsymmetricRelation))")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "closedOn")
	(%3AAXIOMS "\n(UAX-150)\n(=>\n   (and\n      (closedOn ?FUNCTION ?CLASS)\n      (instance ?FUNCTION UnaryFunction))\n   (forall (?INST)\n      (=>\n         (instance ?INST ?CLASS)\n         (instance (AssignmentFn ?FUNCTION ?INST) ?CLASS))))\n\n(UAX-151)\n(=>\n   (and\n      (closedOn ?FUNCTION ?CLASS)\n      (instance ?FUNCTION BinaryFunction))\n   (forall (?INST1 ?INST2)\n      (=>\n         (and\n            (instance ?INST1 ?CLASS)\n            (instance ?INST2 ?CLASS))\n         (instance (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?CLASS))))\n"))

([ClosedTwoDimensionalFigure] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2020)
	(%3AisInModule [QUALITIES])
	(disjoint [OpenTwoDimensionalFigure]))

([Closing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3212)
	(%3AisInModule [MidLevel])
	(relatedInternalConcept "Opening"))

([ClosingContract] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3209)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1358]))

([ClosingEyes] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3138)
	(%3AisInModule [MidLevel])
	(disjoint [OpeningEyes]))

([Clothing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1783)
	(%3AisInModule [OBJECTS])
	(disjoint [StationaryArtifact])
	(%3ASLOT-CONSTRAINTS [UAX-754]))

([ClothingSuit] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2283)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-956]))

([Cloud] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1636)
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-685]))

([Coach] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3181)
	(%3AisInModule [MidLevel]))

([Coat] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2276)
	(%3AisInModule [MidLevel]))

([Coffee] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3218)
	(%3AisInModule [MidLevel]))

([CognitiveAgent] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 186)
	(%3AisInModule [BASE_ONTOLOGY]))

([ColdBloodedVertebrate] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1601)
	(%3AisInModule [OBJECTS])
	(disjointDecomposition
		[Amphibian]
		[Fish]
		[Reptile])
	(disjoint [WarmBloodedVertebrate]))

([Collage] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2217)
	(%3AisInModule [MidLevel]))

([Collateral] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3374)
	(%3AisInModule [MidLevel]))

([Collection] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 154)
	(%3AisInModule [BASE_ONTOLOGY])
	(disjoint [SelfConnectedObject])
	(%3ASLOT-CONSTRAINTS [UAX-065]))

([College] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2871)
	(%3AisInModule [MidLevel])
	(disjoint
		[JuniorCollege]
		[University]))

([Colonel] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3013)
	(%3AisInModule [MidLevel]))

([ColorAttribute] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2000)
	(%3AisInModule [QUALITIES]))

([Coloring] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1367)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-579]))

([COM%24contraryAttribute%24059%24004] of %3AEmbeddedComment
	(%3ALOAD-SEQUENCE 59)
	(%3AblockLineNumber 4)
	(%3AcommentLines
		"(domain contraryAttribute 2 Attribute)"
		";; domain 2 added 1/16/04 for Protege alignment")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "COM$contraryAttribute$059$004"))

([Combining] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1348)
	(%3AisInModule [PROCESSES])
	(disjoint [Separating])
	(%3ASLOT-CONSTRAINTS [UAX-570]))

([Combustion] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1358)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-575]))

([CommercialAgent] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1818)
	(%3AisInModule [OBJECTS]))

([CommercialBuilding] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2357)
	(%3AisInModule [MidLevel])
	(disjoint [CommercialUnit]))

([CommercialService] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1283)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-537]
		[UAX-538]
		[UAX-539]))

([CommercialUnit] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2358)
	(%3AisInModule [MidLevel])
	(disjoint [CommercialBuilding])
	(%3ASLOT-CONSTRAINTS [UAX-988]))

([Commission] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 2464)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1033]))

([Committing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1436)
	(%3AisInModule [PROCESSES])
	(disjoint
		[Stating]
		[Supposing]
		[Directing]
		[ExpressingInLanguage]
		[Declaring])
	(%3ASLOT-CONSTRAINTS [UAX-612]))

([CommonCarrier] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3613)
	(%3AisInModule [MidLevel])
	(disjoint [ContractCarrier]))

([Commonwealth] of FormOfGovernment
	(%3ALOAD-SEQUENCE 3501)
	(%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Commonwealth"))

([CommunalLandOwnershipEconomy] of EconomicSystemAttribute
	(%3ALOAD-SEQUENCE 3642)
	(%3Adocumentation "\"An attribute of an economic system.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CommunalLandOwnershipEconomy"))

([Communication] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1410)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-601])
	(relatedInternalConcept
		"ContentDevelopment"
		"CommunicationDevice"))

([CommunicationDevice] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 3617)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1485]
		[UAX-1486])
	(relatedInternalConcept "Communication"))

([CommunistState] of FormOfGovernment
	(%3ALOAD-SEQUENCE 3512)
	(%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CommunistState"))

([CommutativeFunction] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 373)
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-142]))

([CompactOfFreeAssociationWithNewZealand] of FormOfGovernment
	(%3ALOAD-SEQUENCE 3521)
	(%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CompactOfFreeAssociationWithNewZealand"))

([CompactOfFreeAssociationWithUnitedStates] of FormOfGovernment
	(%3ALOAD-SEQUENCE 3520)
	(%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CompactOfFreeAssociationWithUnitedStates"))

([Comparing] of %3AUBL-CLASS
	(%3ALOAD-SEQUENCE 1311)
	(%3AisInModule [PROCESSES]))

([ComplementFn] of UnaryFunction
	(%3ALOAD-SEQUENCE 569)