; Wed Jan 21 16:03:24 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
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

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

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

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

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

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

([%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
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([Above] of PositionalAttribute
	(%3AAXIOMS "\n(UAX-810)\n(=>\n   (orientation ?OBJ1 ?OBJ2 Above)\n   (not\n      (connected ?OBJ1 ?OBJ2)))\n")
	(%3ASUO-name "Above")
	(%3AisInModule [QUALITIES])
	(contraryAttribute_2 [Below])
	(%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.\"")
	(%3ALOAD-SEQUENCE 1919))

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

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

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

([AbsoluteValueFn_2] of %3AUBL-SLOT
	(%3ADomain1Type Instance)
	(%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")
	(%3ASUO-name "AbsoluteValueFn")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3AidenticalTo
		"Instance(AbsoluteValueFn of Cls(UnaryFunction))"
		"Instance(AbsoluteValueFn_1 of Cls(TotalValuedRelation))")
	(%3ALOAD-SEQUENCE 497))

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

([AbstractionFn] of UnaryFunction
	(%3ASUO-name "AbstractionFn")
	(%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
		"Slot(AbstractionFn_2)"
		"Instance(AbstractionFn_1 of Cls(PartialValuedRelation))")
	(%3ALOAD-SEQUENCE 199))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([address] of BinaryPredicate
	(%3ASUO-name "address")
	(%3Adocumentation "\"(&%address ?AGENT ?ADDRESS) means that ?ADDRESS is an address or part of an address for the &%Agent ?AGENT.  address relates an instance of a CognitiveAgent to the unique designation of a stationary artifact, location, or mail drop where that agent can be contacted.  This address includes buildings, room numbers, streets, mail drop numbers, and post office boxes, but excludes telephone numbers and other addresses that are not stationary.  This is not the most general type of address.\"")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo "Slot(address_1)")
	(%3ALOAD-SEQUENCE 2321))

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

([Adjacent] of PositionalAttribute
	(%3AAXIOMS "\n(UAX-812)\n(<=>\n   (orientation ?OBJ1 ?OBJ2 Adjacent)\n   (or\n      (orientation ?OBJ1 ?OBJ2 Near)\n      (connected ?OBJ1 ?OBJ2)))\n")
	(%3ASUO-name "Adjacent")
	(%3AisInModule [QUALITIES])
	(%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.\"")
	(%3ALOAD-SEQUENCE 1923))

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

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

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

([administrativeCenter_2] of SpatialRelation
	(%3ASUO-name "administrativeCenter")
	(%3AisInModule [MidLevel])
	(%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.\"")
	(%3ALOAD-SEQUENCE 3525))

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

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

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

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

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

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

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

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

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

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

([agent] of CaseRole
	(%3ASUO-name "agent")
	(%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)")
	(%3ALOAD-SEQUENCE 281))

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

([agreementMember] of BinaryPredicate
	(%3ASUO-name "agreementMember")
	(%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)")
	(%3ALOAD-SEQUENCE 3262))

([agreementMember_1] of TotalValuedRelation
	(%3ASUO-name "agreementMember")
	(%3AisInModule [MidLevel])
	(%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.\"")
	(%3ALOAD-SEQUENCE 3262))

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

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

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

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

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

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

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

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

([Alaska] of AmericanState
	(%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")
	(%3ALOAD-SEQUENCE 3739)
	(%3ASUO-name "Alaska")
	(%3Adocumentation "\"The largest state in the &%UnitedStates.\"")
	(%3AisInModule [MidLevel]))

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

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

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

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

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

([altitude_1] of %3ATernarySlot
	(%3ASUO-name "altitude")
	(%3ADomain1Type Instance)
	(%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")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AidenticalTo
		"Instance(altitude_2 of Cls(TernaryPredicate))"
		"Instance(altitude_3 of Cls(SpatialRelation))"
		"Instance(altitude of Cls(SingleValuedRelation))")
	(%3ADomain2Type Instance)
	(%3ADomain2Class Physical)
	(%3ALOAD-SEQUENCE 837))

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

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

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

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

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

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

([amountDue] of TernaryPredicate
	(%3ASUO-name "amountDue")
	(%3AisInModule [MidLevel])
	(%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\"")
	(%3ALOAD-SEQUENCE 3372))

([amountDue_1] of %3ATernarySlot
	(%3ASUO-name "amountDue")
	(%3ADomain1Type Instance)
	(%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")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo "Instance(amountDue of Cls(TernaryPredicate))")
	(%3ADomain2Type Instance)
	(%3ADomain2Class CurrencyMeasure)
	(%3ALOAD-SEQUENCE 3372))

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

([Ampere_1] of SystemeInternationalUnit
	(%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)")
	(%3ALOAD-SEQUENCE 694))

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

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

([Amu_1] of UnitOfMeasure
	(%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)")
	(%3ALOAD-SEQUENCE 762))

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

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

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

([ancestor] of TransitiveRelation
	(%3ASUO-name "ancestor")
	(%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_1 of Cls(IrreflexiveRelation))")
	(%3ALOAD-SEQUENCE 1571))

([ancestor_1] of IrreflexiveRelation
	(%3ASUO-name "ancestor")
	(%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))")
	(%3ALOAD-SEQUENCE 1571))

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

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

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

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

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

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

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

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

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

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

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

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

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

([angularMeasure] of BinaryPredicate
	(%3ASUO-name "angularMeasure")
	(%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))"
		"Slot(angularMeasure_2)"
		"Instance(angularMeasure_1 of Cls(TotalValuedRelation))")
	(%3ALOAD-SEQUENCE 2042))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([Anxiety] of EmotionalState
	(%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")
	(%3ASUO-name "Anxiety")
	(%3AisInModule [MidLevel])
	(contraryAttribute_2 [Tranquility])
	(%3Adocumentation "\"The state of being worried, troubled or uneasy.\"")
	(%3ALOAD-SEQUENCE 3056))

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

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

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

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

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

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

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

([ArcticRegion] of GeographicArea
	(%3ASUO-name "ArcticRegion")
	(%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])
	(%3ALOAD-SEQUENCE 3466))

([arcWeight] of BinaryPredicate
	(%3ASUO-name "arcWeight")
	(%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))")
	(%3ALOAD-SEQUENCE 623))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([AtomGram_1] of UnitOfMeasure
	(%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)")
	(%3ALOAD-SEQUENCE 791))

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

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

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

([atomicNumber_2] of BinaryPredicate
	(%3ASUO-name "atomicNumber")
	(%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_1 of Cls(SingleValuedRelation))"
		"Instance(atomicNumber_3 of Cls(TotalValuedRelation))")
	(%3ALOAD-SEQUENCE 3228))

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

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

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

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

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

([attends_1] of CaseRole
	(%3ASUO-name "attends")
	(%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)")
	(%3ALOAD-SEQUENCE 1416))

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

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

([attribute_1] of IrreflexiveRelation
	(%3ASUO-name "attribute")
	(%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))"
		"Instance(attribute_3 of Cls(BinaryPredicate))"
		"Slot(attribute_2)")
	(%3ALOAD-SEQUENCE 197))

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

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

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

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

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

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

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

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

([authors] of BinaryPredicate
	(%3ASUO-name "authors")
	(%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))")
	(%3ALOAD-SEQUENCE 1724))

([authors_1] of AsymmetricRelation
	(%3ASUO-name "authors")
	(%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))")
	(%3ALOAD-SEQUENCE 1724))

([authors_2] of %3AUBL-SLOT
	(%3ADomain1Type Instance)
	(%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")
	(%3ASUO-name "authors")
	(%3AisInModule [OBJECTS])
	(%3AidenticalTo
		"Instance(authors_1 of Cls(AsymmetricRelation))"
		"Instance(authors of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 1724))

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

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

([average] of BinaryPredicate
	(%3ASUO-name "average")
	(%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
		"Instance(average_1 of Cls(PartialValuedRelation))"
		"Instance(average_2 of Cls(SingleValuedRelation))"
		"Slot(average_3)")
	(%3ALOAD-SEQUENCE 3683))

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

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

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

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

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

([BackFn] of SpatialRelation
	(%3ASUO-name "BackFn")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(BackFn_4 of Cls(IrreflexiveRelation))"
		"Slot(BackFn_5)"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Instance(BackFn_2 of Cls(UnaryFunction))"
		"Instance(BackFn_1 of Cls(PartialValuedRelation))")
	(%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.\"")
	(%3ALOAD-SEQUENCE 118))

([BackFn_1] of PartialValuedRelation
	(%3ASUO-name "BackFn")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(BackFn_4 of Cls(IrreflexiveRelation))"
		"Slot(BackFn_5)"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"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.\"")
	(%3ALOAD-SEQUENCE 118))

([BackFn_2] of UnaryFunction
	(%3ASUO-name "BackFn")
	(%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))"
		"Slot(BackFn_5)"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Instance(BackFn of Cls(SpatialRelation))"
		"Instance(BackFn_1 of Cls(PartialValuedRelation))")
	(%3ALOAD-SEQUENCE 118))

([BackFn_3] of AsymmetricRelation
	(%3ASUO-name "BackFn")
	(%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))"
		"Slot(BackFn_5)"
		"Instance(BackFn of Cls(SpatialRelation))"
		"Instance(BackFn_2 of Cls(UnaryFunction))"
		"Instance(BackFn_1 of Cls(PartialValuedRelation))")
	(%3ALOAD-SEQUENCE 118))

([BackFn_4] of IrreflexiveRelation
	(%3ASUO-name "BackFn")
	(%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
		"Slot(BackFn_5)"
		"Instance(BackFn_3 of Cls(AsymmetricRelation))"
		"Instance(BackFn of Cls(SpatialRelation))"
		"Instance(BackFn_2 of Cls(UnaryFunction))"
		"Instance(BackFn_1 of Cls(PartialValuedRelation))")
	(%3ALOAD-SEQUENCE 118))

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

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

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

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

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

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

([barometricPressure] of BinaryPredicate
	(%3ASUO-name "barometricPressure")
	(%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)")
	(%3ALOAD-SEQUENCE 3408))

([barometricPressure_1] of AsymmetricRelation
	(%3ASUO-name "barometricPressure")
	(%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)")
	(%3ALOAD-SEQUENCE 3408))

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

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

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

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

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

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

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

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

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

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

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

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

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

([Becquerel_1] of SystemeInternationalUnit
	(%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)")
	(%3ALOAD-SEQUENCE 745))

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

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

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

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

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

([before_1] of IrreflexiveRelation
	(%3ASUO-name "before")
	(%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))")
	(%3ALOAD-SEQUENCE 879))

([before_2] of TransitiveRelation
	(%3ASUO-name "before")
	(%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_4 of Cls(BinaryPredicate))"
		"Instance(before of Cls(TemporalRelation))"
		"Slot(before_3)")
	(%3ALOAD-SEQUENCE 879))

([before_3] of %3AUBL-SLOT
	(%3ADomain1Type Instance)
	(relatedInternalConcept "earlier")
	(%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")
	(%3ASUO-name "before")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3AidenticalTo
		"Instance(before_1 of Cls(IrreflexiveRelation))"
		"Instance(before_4 of Cls(BinaryPredicate))"
		"Instance(before of Cls(TemporalRelation))"
		"Instance(before_2 of Cls(TransitiveRelation))")
	(%3ALOAD-SEQUENCE 879))

([before_4] of BinaryPredicate
	(%3ASUO-name "before")
	(%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))")
	(%3ALOAD-SEQUENCE 879))

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

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

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

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

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

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

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

([BeginFn_3] of %3AUBL-SLOT
	(%3ADomain1Type Instance)
	(%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")
	(%3ASUO-name "BeginFn")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3AidenticalTo
		"Instance(BeginFn_1 of Cls(UnaryFunction))"
		"Instance(BeginFn_2 of Cls(TotalValuedRelation))"
		"Instance(BeginFn of Cls(TemporalRelation))")
	(%3ALOAD-SEQUENCE 869))

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

([BeginNodeFn] of UnaryFunction
	(%3ASUO-name "BeginNodeFn")
	(%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
		"Slot(BeginNodeFn_2)"
		"Instance(BeginNodeFn_1 of Cls(TotalValuedRelation))")
	(%3ALOAD-SEQUENCE 621))

([BeginNodeFn_1] of TotalValuedRelation
	(%3ASUO-name "BeginNodeFn")
	(%3AisInModule [GRAPH_THEORY])
	(%3AidenticalTo
		"Instance(BeginNodeFn of Cls(UnaryFunction))"
		"Slot(BeginNodeFn_2)")
	(%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.\"")
	(%3ALOAD-SEQUENCE 621))

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

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

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

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

([believes_2] of BinaryPredicate
	(%3ASUO-name "believes")
	(%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)")
	(%3ALOAD-SEQUENCE 320))

([Below] of PositionalAttribute
	(%3AAXIOMS "\n(UAX-811)\n(<=>\n   (orientation ?OBJ1 ?OBJ2 Below)\n   (or\n      (orientation ?OBJ2 ?OBJ1 On)\n      (orientation ?OBJ2 ?OBJ1 Above)))\n")
	(%3ASUO-name "Below")
	(%3AisInModule [QUALITIES])
	(contraryAttribute_2 [Above])
	(%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.\"")
	(%3ALOAD-SEQUENCE 1921))

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

([between] of SpatialRelation
	(%3ASUO-name "between")
	(%3AisInModule [BASE_ONTOLOGY])
	(%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.\"")
	(%3ALOAD-SEQUENCE 443))

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

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

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

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

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

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

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

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

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

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

([BinaryRelation_1] of InheritableRelation
	(%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])
	(%3ALOAD-SEQUENCE 258))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([bottom_1] of %3AUBL-SLOT
	(%3ADomain1Type Instance)
	(%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")
	(%3ASUO-name "bottom")
	(%3AisInModule [MEREOTOPOLOGY])
	(%3AidenticalTo "Instance(bottom of Cls(SpatialRelation))")
	(%3ALOAD-SEQUENCE 1040))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([Buying-2003-00645] of Buying
	(%3ASUO-name "Buying-2003-00645")
	(%3Adocumentation "\"The buying aspect of the commercial transaction JoineryPurchase-2003-00645; the transaction from the perspective of the buyer JerryBuilderPLC.\"")
	(%3AisInModule [Invoices])
	(%3ALOAD-SEQUENCE 3807))

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

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

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

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

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

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

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

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

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

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

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

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

([Candela_1] of SystemeInternationalUnit
	(%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)")
	(%3ALOAD-SEQUENCE 700))

([candidateForPosition] of TernaryPredicate
	(%3ASUO-name "candidateForPosition")
	(%3AisInModule [MidLevel])
	(%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.\"")
	(%3ALOAD-SEQUENCE 3556))

([candidateForPosition_1] of %3ATernarySlot
	(%3ASUO-name "candidateForPosition")
	(%3ADomain1Type Instance)
	(%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")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo "Instance(candidateForPosition of Cls(TernaryPredicate))")
	(%3ADomain2Type Instance)
	(%3ADomain2Class SocialRole)
	(%3ALOAD-SEQUENCE 3556))

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

([capability] of TernaryPredicate
	(%3ASUO-name "capability")
	(%3AisInModule [BASE_ONTOLOGY])
	(%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.\"")
	(%3ALOAD-SEQUENCE 420))

([capability_1] of %3ATernarySlot
	(%3ASUO-name "capability")
	(%3ADomain1Type Class)
	(%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")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo "Instance(capability of Cls(TernaryPredicate))")
	(%3ADomain2Type Instance)
	(%3ADomain2Class CaseRole)
	(%3ALOAD-SEQUENCE 420))

([capacity] of BinaryPredicate
	(%3ASUO-name "capacity")
	(%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)")
	(%3ALOAD-SEQUENCE 2314))

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

([capitalCity] of BinaryPredicate
	(%3ASUO-name "capitalCity")
	(%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)")
	(%3ALOAD-SEQUENCE 3524))

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

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

([CapitalistEconomy] of EconomicSystemAttribute
	(%3ASUO-name "CapitalistEconomy")
	(%3AisInModule [MidLevel])
	(%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.\"")
	(%3ALOAD-SEQUENCE 3634))

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

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

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

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

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

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

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

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

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

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

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

([CaseRole_1] of InheritableRelation
	(%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])
	(%3ALOAD-SEQUENCE 280))

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

([causes] of BinaryPredicate
	(%3ASUO-name "causes")
	(%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_1 of Cls(AsymmetricRelation))")
	(%3ALOAD-SEQUENCE 410))

([causes_1] of AsymmetricRelation
	(%3ASUO-name "causes")
	(%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))")
	(%3ALOAD-SEQUENCE 410))

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

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

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

([causesSubclass_2] of %3AUBL-SLOT
	(%3ADomain1Type Class)
	(relatedInternalConcept "causes")
	(%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")
	(%3ASUO-name "causesSubclass")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(causesSubclass of Cls(BinaryPredicate))"
		"Instance(causesSubclass_1 of Cls(AsymmetricRelation))")
	(%3ALOAD-SEQUENCE 412))

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

([CeilingFn] of UnaryFunction
	(%3ASUO-name "CeilingFn")
	(%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))")
	(%3ALOAD-SEQUENCE 499))

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

([CeilingFn_2] of %3AUBL-SLOT
	(%3ADomain1Type Instance)
	(%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")
	(%3ASUO-name "CeilingFn")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3AidenticalTo
		"Instance(CeilingFn_1 of Cls(TotalValuedRelation))"
		"Instance(CeilingFn of Cls(UnaryFunction))")
	(%3ALOAD-SEQUENCE 499))

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

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

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

([CelsiusDegree_1] of SystemeInternationalUnit
	(%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)")
	(%3ALOAD-SEQUENCE 737))

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

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

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

([CentrallyPlannedEconomy] of EconomicSystemAttribute
	(%3AAXIOMS "\n(UAX-1489)\n(=>\n	(and\n		(attribute ?AREA CommunistState)\n		(instance ?AREA Nation))\n	(economyType ?AREA CentrallyPlannedEconomy))\n")
	(%3ASUO-name "CentrallyPlannedEconomy")
	(%3AisInModule [MidLevel])
	(%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'.\"")
	(%3ALOAD-SEQUENCE 3647))

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

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

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

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

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

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

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

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

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

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

([checkAccount] of BinaryPredicate
	(%3ASUO-name "checkAccount")
	(%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)")
	(%3ALOAD-SEQUENCE 3319))

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

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

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

([ChemicalEquilibrium] of InternalAttribute
	(%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")
	(%3ASUO-name "ChemicalEquilibrium")
	(%3AisInModule [MidLevel])
	(%3Adocumentation "\"The &%Attribute of being in a chemically stable state, i.e. the relative proportions of &%resources and &%results will not longer change.\"")
	(%3ALOAD-SEQUENCE 3090))

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

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

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

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

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

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

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

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

([chiefOfState] of TernaryPredicate
	(%3ASUO-name "chiefOfState")
	(%3AisInModule [MidLevel])
	(%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.\"")
	(%3ALOAD-SEQUENCE 3548))

([chiefOfState_1] of %3ATernarySlot
	(%3ASUO-name "chiefOfState")
	(%3ADomain1Type Instance)
	(%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")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo "Instance(chiefOfState of Cls(TernaryPredicate))")
	(%3ADomain2Type Instance)
	(%3ADomain2Class Position)
	(%3ALOAD-SEQUENCE 3548))

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

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

([Christianity] of BeliefGroup
	(%3ALOAD-SEQUENCE 3709)
	(%3ASUO-name "Christianity")
	(%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]))

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

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

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

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

([citizen_1] of AsymmetricRelation
	(%3ASUO-name "citizen")
	(%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))")
	(%3ALOAD-SEQUENCE 1866))

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

([CitizenryFn] of %3AUBL-SLOT
	(%3ADomain1Type Instance)
	(%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")
	(%3ASUO-name "CitizenryFn")
	(%3AisInModule [MidLevel])
	(%3AidenticalTo "Instance(CitizenryFn_1 of Cls(UnaryFunction))")
	(%3ALOAD-SEQUENCE 2436))

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

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

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

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

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

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

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

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

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

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

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

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

([closedOn] of BinaryPredicate
	(%3ASUO-name "closedOn")
	(%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
		"Slot(closedOn_2)"
		"Instance(closedOn_1 of Cls(AsymmetricRelation))")
	(%3ALOAD-SEQUENCE 393))

([closedOn_1] of AsymmetricRelation
	(%3ASUO-name "closedOn")
	(%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
		"Slot(closedOn_2)"
		"Instance(closedOn of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 393))

([closedOn_2] of %3AUBL-SLOT
	(%3ADomain1Type Instance)
	(%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")
	(%3ASUO-name "closedOn")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AidenticalTo
		"Instance(closedOn_1 of Cls(AsymmetricRelation))"
		"Instance(closedOn of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 393))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([CommercialItem] of %3AUBL-CLASS
	(%3AisInModule [Invoices])
	(%3ALOAD-SEQUENCE 3787))

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

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

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

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

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

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

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

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

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

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