; Wed Feb 16 10:16:28 PST 2005
; 
;+ (version "1.8")
;+ (build "Build 1074")

([%22This+is+a+string%22] of %3AAbstractString
	(%3ASUO-name "\"This is a string\""))

([%23%24Thing] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28AbsoluteValueFn+RealNumber%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28AbstractionFn+Class%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28AdditionFn+Quantity+Quantity+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28AddressFn+ComputerFile%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28BackFn+SelfConnectedObject%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28BeginFn+TimeInterval%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28BeginNodeFn+GraphPath%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CardinalityFn+%28UnionFn+SetOrClass+Collection%29%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CeilingFn+RealNumber%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ComplementFn+SetOrClass%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CosineFn+PlaneAngleMeasure%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CPUUtilizationFn+ComputerProgram%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28CutSetFn+Graph%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DayFn+PositiveRealNumber+Month+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DenominatorFn+RealNumber%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DescendantsFn+Human%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DivisionFn+Quantity+Quantity+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28DocumentFn+Proposition%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28EditionFn+ContentBearingObject+PositiveInteger+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28EndFn+TimeInterval%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28EndNodeFn+GraphPath%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ExecutiveBranchFn+Agent%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ExponentiationFn+Quantity+Integer+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ExtensionFn+Attribute%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28FirstFn+List%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28FloorFn+RealNumber%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28FrontFn+SelfConnectedObject%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28FutureFn+TimePosition%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GeneralizedIntersectionFn+SetOrClass%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GeneralizedUnionFn+SetOrClass%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GigaFn+UnitOfMeasure%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GovernmentFn+GeopoliticalArea%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28GovernmentFn+UnitedStates%29] of Organization
	(%3ALOAD-SEQUENCE 3776)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes Organization)
	(%3Adocumentation "Implied instance from SKIF assertion 32: rel = \n  >> (subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates))\n")
	(%3ASUO-name "(GovernmentFn UnitedStates)"))

([%28GraphPathFn+GraphNode+GraphNode+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28HourFn+PositiveRealNumber+Day+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ImaginaryPartFn+ComplexNumber%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ImmediateFamilyFn+Human%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ImmediateFutureFn+TimePosition%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ImmediatePastFn+TimePosition%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28InitialNodeFn+GraphArc%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28InitialProfileFn+ComputerProgram%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28IntegerSquareRootFn+RealNumber%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28IntersectionFn+SetOrClass+SetOrClass+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28IntervalFn+ConstantQuantity+ConstantQuantity+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28JudiciaryFn+GeopoliticalArea%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28KappaFn+SymbolicString+Formula+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28KiloFn+UnitOfMeasure%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28LastFn+List%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28LegislatureFn+GeopoliticalArea%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ListConcatenateFn+List+List+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ListLengthFn+List%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ListOrderFn+List+PositiveInteger+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28LogFn+RealNumber+PositiveInteger+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MagnitudeFn+ConstantQuantity%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MaxFn+Quantity+Quantity+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MaximalWeightedPathFn+GraphNode+GraphNode+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MeasureFn+RealNumber+UnitOfMeasure+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MegaFn+UnitOfMeasure%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MereologicalDifferenceFn+Object+Object+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MereologicalProductFn+Object+Object+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MereologicalSumFn+Object+Object+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MicroFn+UnitOfMeasure%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MilliFn+UnitOfMeasure%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MinFn+Quantity+Quantity+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MinimalCutSetFn+Graph%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MinimalWeightedPathFn+GraphNode+GraphNode+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MinuteFn+PositiveRealNumber+Hour+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MonthFn+Month+Year+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28MultiplicationFn+Quantity+Quantity+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28NanoFn+UnitOfMeasure%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28NumeratorFn+RealNumber%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PastFn+TimePosition%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PathWeightFn+GraphPath%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PerCapitaFn+Quantity+GeopoliticalArea+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PerFn+ConstantQuantity+ConstantQuantity+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PeriodicalIssueFn+Periodical+PositiveInteger+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PicoFn+UnitOfMeasure%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PopulationFn+GeopoliticalArea%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PowerSetFn+SetOrClass%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PredecessorFn+Integer%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PremisesFn+Argument%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PrincipalHostFn+Hole%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ProbabilityFn+Formula%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28PropertyFn+Agent%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RationalNumberFn+Number%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RealNumberFn+Number%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ReciprocalFn+Quantity%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RecurrentTimeIntervalFn+TimeInterval+TimeInterval+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RelativeComplementFn+SetOrClass+SetOrClass+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RelativeTimeFn+TimePosition+TimeZone+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RemainderFn+Quantity+Quantity+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ResidentFn+GeopoliticalArea%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28RoundFn+Quantity%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SecondFn+PositiveRealNumber+Minute+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SeriesVolumeFn+Series+PositiveInteger+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28ShutdownFn+ComputerProgram%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SignumFn+RealNumber%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SineFn+PlaneAngleMeasure%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SkinFn+Hole%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SquareRootFn+RealNumber%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28StartupFn+ComputerProgram%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28StreetAddressFn+StationaryArtifact+Roadway+City+Nation%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SubtractionFn+Quantity+Quantity+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28SuccessorFn+Integer%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TangentFn+PlaneAngleMeasure%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TemporalCompositionFn+TimeInterval+TimeInterval+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TeraFn+UnitOfMeasure%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TerminalNodeFn+GraphArc%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28TimeIntervalFn+TimePoint+TimePoint+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28UnionFn+SetOrClass+SetOrClass+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28VelocityFn+LengthMeasure+TimeDuration+Region+DirectionalAttribute%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28WealthFn+Agent%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28WhenFn+Physical%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28WhereFn+Physical+TimePoint+%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([%28YearFn+Integer%29] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 0))

([0] of Entity
	(%3Adocumentation "Implied instance from SKIF assertion 1: rel = \n  >> (identityElement AdditionFn 0)\n")
	(%3ASUO-name "0")
	(%3ALOAD-SEQUENCE 492)
	(%3AhasInstanceTypes Entity)
	(%3AisInModule [NUMERIC_FUNCTIONS]))

([1] of Entity
	(%3Adocumentation "Implied instance from SKIF assertion 0: rel = \n  >> (identityElement MultiplicationFn 1)\n")
	(%3ASUO-name "1")
	(%3ALOAD-SEQUENCE 491)
	(%3AhasInstanceTypes Entity)
	(%3AisInModule [NUMERIC_FUNCTIONS]))

([%3AAbstractString] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3Aarg1] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":arg1")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3Aarg2] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":arg2")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3Aarg3] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":arg3")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3Aarg4] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":arg4")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3Aarg5] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":arg5")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3Aarg6] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":arg6")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AAssertion] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AassociatedSlot] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":associatedSlot")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AAXIOMS] of %3ASKIF-SLOT
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [UBLinv014_00277])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AClass] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AClassPredicates] of %3ASKIF-SLOT
	(%3ADomain1Type Class)
	(%3ASUO-name ":ClassPredicates")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AClassPreds] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3ACodeList] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AConstructedLanguage] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3ADomain1Type] of %3ASKIF-SLOT
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [UBLinv018_00290])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ADomain2Class] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [SUMO148_00000])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ADomain2Type] of %3ASKIF-SLOT
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [UBLinv018_00288])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ADomain2Value] of %3ASKIF-SLOT
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [SUMO152_00100])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ADomain3Class] of %3ASKIF-SLOT
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [UBLcore_00000])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ADomain3Type] of %3ASKIF-SLOT
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [UBLinv018t_00300])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ADomain3Value] of %3ASKIF-SLOT
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [SUMO152_00102])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ADomain4Class] of %3ASKIF-SLOT
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [UBLinv018t_00302])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ADomain4Type] of %3ASKIF-SLOT
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [UBLinv018t_00306])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ADomain4Value] of %3ASKIF-SLOT
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [UBLinv018t_00304])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AEmbeddedComment] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AFunctionMethod] of %3AKIF-CLASS
	(%3ALOAD-SEQUENCE 0))

([%3AFunctionTerm] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AGroup] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AhasArguments] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":hasArguments")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AhasClassMethod] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":hasClassMethod")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [SKIFcore_00434])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AhasClassValue] of %3ATernarySlot
	(%3AisInModule [KIF-core])
	(%3ASUO-name ":hasClassValue")
	(%3ADomain2Class BinaryRelation)
	(%3AslotType "Predicate")
	(%3AAXIOMS "(KAX-002)\n(=>\n  (:hasClassValue ?CLASS ?REL ?VAL)\n  (and\n     (instance ?REL BinaryPredicate)\n     (forall (?INST)\n        (=>\n          (instance ?INST ?CLASS)\n          (?REL ?INST ?VAL)))))\n")
	(%3ADomain1Type Class)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes %3ATernarySlot)
	(%3ALOAD-SEQUENCE 0))

([%3AhasDefaultValue] of %3ATernarySlot
	(%3AisInModule [KIF-core])
	(%3ASUO-name ":hasDefaultValue")
	(%3ADomain2Class BinaryRelation)
	(%3AslotType "Predicate")
	(%3AAXIOMS "(KAX-003)\n(=>\n     (:hasDefaultValue ?CLASS ?REL ?VAL)\n     (forall (?INST)\n        (=>\n           (and\n               (instance ?INST ?CLASS)\n               (not\n                  (exists (?CLASS2 ?VAL2)\n                      (and\n                         (instance ?INST ?CLASS2)\n                         (or\n                             (:hasClassValue ?CLASS2 ?REL ?VAL2)\n                             (:hasDefaultValue ?CLASS2 ?REL ?VAL2))\n                         (subclass ?CLASS2 ?CLASS)\n                         (not (equal ?CLASS2 ?CLASS))\n                         (not (equal ?VAL2 ?VAL)))))\n           (?REL ?INST ?VAL))))\n")
	(%3ADomain1Type Class)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes %3ATernarySlot)
	(%3ALOAD-SEQUENCE 0))

([%3AhasEquivalentAxiom] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":hasEquivalentAxiom")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AhasEquivalentMethod] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":hasEquivalentMethod")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AhasFrequency] of %3ASKIF-SLOT
	(%3ASUO-name ":hasFrequency")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AhasInstanceMethod] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":hasInstanceMethod")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AhasInstanceTypes] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":hasInstanceTypes")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [SKIFcore_Facet_10001])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AhasJavaCode] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":hasJavaCode")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AhasName] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":hasName")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AhasRequiredAttribute] of %3ASKIF-SLOT
	(%3ADomain1Type Class)
	(%3AAXIOMS "(KAX-006)\n(=>\n   (:hasRequiredAttribute ?CLASS ?ATTRIB)\n   (forall (?ENT)\n      (=>\n          (instance ?ENT ?CLASS)\n          (property ?ENT ?ATTRIB))))\n")
	(%3ASUO-name ":hasRequiredAttribute")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AhasRestrictedVal] of %3ATernarySlot
	(%3AisInModule [KIF-core])
	(%3ASUO-name ":hasRestrictedVal")
	(%3ADomain2Class BinaryRelation)
	(%3AslotType "Predicate")
	(%3AAXIOMS "(KAX-004)\n(<=>\n   (:hasRestrictedVal ?CLASS ?REL ?CLASS2)\n   (:isRestrictedTo ?REL ?CLASS1 ?CLASS2))")
	(%3ADomain1Type Class)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes %3ATernarySlot)
	(%3ALOAD-SEQUENCE 0))

([%3AhasReturnType] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":hasReturnType")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AhasUsage] of %3ASKIF-SLOT
	(%3ASUO-name ":hasUsage")
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AhasValueClass] of %3ATernarySlot
	(%3AisInModule [KIF-core])
	(%3ASUO-name ":hasValueClass")
	(%3ADomain2Class BinaryRelation)
	(%3AslotType "Predicate")
	(%3AAXIOMS "(KAX-007)\n(=>\n  (:hasValueClass  ?VAL ?REL ?CLASS)\n  (and\n     (instance ?REL BinaryPredicate)\n     (forall (?INST)\n        (=>\n          (instance ?INST ?CLASS)\n          (?REL ?INST ?VAL)))))")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes %3ATernarySlot)
	(%3ALOAD-SEQUENCE 0))

([%3AHumanLanguage] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AinLanguage] of %3ASKIF-SLOT
	(%3ASUO-name ":inLanguage")
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AisaSubrelationOf] of %3ATernarySlot
	(%3AASSOCIATED-FACET [SKIFcore_00426])
	(%3ASUO-name ":isaSubrelationOf")
	(%3AslotType "Predicate")
	(%3AhasInstanceTypes %3ATernarySlot)
	(%3ALOAD-SEQUENCE 0))

([%3AisaSynonymOf] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "(KAX-006)\n(=>\n   (:isaSynonymOf ?SYN ?CONC)\n   (:SYNONYMS ?CONC ?SYN))")
	(%3ASUO-name ":isaSynonymOf")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [SKIFcore_00437])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AisInModule] of %3ASKIF-SLOT
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [UBLinv018t_00322])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AisRestrictedTo] of %3ATernarySlot
	(%3AASSOCIATED-FACET [SKIFcore_00400])
	(%3AisInModule [KIF-core])
	(%3ASUO-name ":isRestrictedTo")
	(%3ADomain2Class Entity)
	(%3AslotType "Predicate")
	(%3AAXIOMS "(KAX-001)\n(=>\n     (:isRestrictedTo ?REL ?CLASS1 ?CLASS2)\n     (forall (?ENT1 ?ENT2)\n       (=>\n          (and\n            (?REL ?ENT1 ?ENT2)\n            (instance ?ENT1 ?CLASS1))\n          (instance ?ENT2 ?CLASS2))))\n\n(KAX-004)\n(<=>\n   (:hasRestrictedVal ?CLASS1 ?REL ?CLASS2)\n   (:isRestrictedTo ?REL ?CLASS1 ?CLASS2))")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Class)
	(%3AhasInstanceTypes %3ATernarySlot)
	(%3ALOAD-SEQUENCE 0))

([%3AKIFentity] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3ALanguage] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AList] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AMethod] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AModule] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3ANaturalLanguage] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AOrderedSet] of %3AKIF-CLASS
	(%3ALOAD-SEQUENCE 0))

([%3Apartition3] of %3AVariableAritySlot
	(%3AisInModule [KIF-core])
	(%3ASUO-name ":partition3")
	(%3AslotType "Predicate")
	(%3AAXIOMS "(UAX: SUMAX-39)\n(<=>\n   (partition @ROW)\n   (and\n      (exhaustiveDecomposition @ROW)\n      (disjointDecomposition @ROW)))")
	(%3ADomain1Type Instance)
	(%3AhasInstanceTypes
		%3AVariableAritySlot
		Predicate)
	(%3ALOAD-SEQUENCE 0))

([%3AProposition] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AProtegeSymbolList] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AQuaternaryProposition] of %3AKIF-CLASS
	(%3ALOAD-SEQUENCE 0))

([%3AQuintaryProposition] of %3AKIF-CLASS
	(%3ALOAD-SEQUENCE 0))

([%3ArelationAllExists] of %3ATernarySlot
	(%3AASSOCIATED-FACET [SKIFcore_00418])
	(%3AisInModule [KIF-core])
	(%3ASUO-name ":relationAllExists")
	(%3ADomain2Class Entity)
	(%3AslotType "Predicate")
	(%3AAXIOMS "[KAX-005]\n\n(=>\n    (:relationAllExists ?REL ?CLASS1 ?CLASS2)\n    (forall (?INST)\n        (=>\n            (instance ?INST ?CLASS1)\n            (exists (?ENT)\n               (and\n                   (instance ?ENT ?CLASS2)\n                   (?REL ?INST ?ENT))))))")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Class)
	(%3AhasInstanceTypes %3ATernarySlot)
	(%3ALOAD-SEQUENCE 0))

([%3ARow] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3ArowArg] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":rowArg")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ASet] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3ASetOrClass] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3ASextaryProposition] of %3AKIF-CLASS
	(%3ALOAD-SEQUENCE 0))

([%3ASKIF-CLASS] of %3AKIF-CLASS
	(%3ALOAD-SEQUENCE 0))

([%3ASKIF-statement] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":SKIF-statement")
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ASKIFdocs] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AslotType] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":slotType")
	(%3AisInModule [KIF-core])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [SKIFcore_Facet_1])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AStringList] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3ASUO-name] of %3ASKIF-SLOT
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [KIFcore2_00373])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ASYN-CLASS] of %3AKIF-CLASS)

([%3ASynonym] of %3ASKIF-CLASS
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core]))

([%3ASYNONYMS] of %3ASKIF-SLOT
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0)
	(%3AASSOCIATED-FACET [SKIFcore4_00382])
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3ATernaryProposition] of %3AKIF-CLASS
	(%3ALOAD-SEQUENCE 0))

([%3AuncInstList] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name ":uncInstList")
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 0)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([%3AUnclassifiedProposition] of %3AKIF-CLASS
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

([%3AVariableArityProposition] of %3AKIF-CLASS
	(%3ALOAD-SEQUENCE 0))

([%3C%3D%3E] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "<=>")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 87)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		LogicalOperator))

([%3D%3E] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "=>")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 86)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		LogicalOperator))

([AbnormalAnatomicalStructure] of %3ASYN-CLASS
	(disjoint [BodyPart])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0702])
	(%3ALOAD-SEQUENCE 1663))

([Abort] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 478))

([Above] of PositionalAttribute
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "Above")
	(contraryAttribute [Below])
	(%3AAXIOMS "\n(UAX-0812)\n(=>\n   (orientation ?OBJ1 ?OBJ2 Above)\n   (not\n      (connected ?OBJ1 ?OBJ2)))\n")
	(%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.")
	(%3AhasInstanceTypes PositionalAttribute)
	(%3ALOAD-SEQUENCE 1923))

([AbsoluteMonarchy] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "AbsoluteMonarchy")
	(subAttribute
		[Monarchy]
		[AuthoritarianRegime])
	(%3Adocumentation "A monarchy in which the supreme power is held by the monarch, in contrast to ConstitutionalMonarchy, where the monarch's power is limited.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3486))

([AbsoluteValueFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0197)\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])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 498)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction
		TotalValuedRelation))

([Abstract] of %3ASYN-CLASS
	(disjoint [Physical])
	(%3AisInModule [BASE_ONTOLOGY])
	(disjointDecomposition
		[Quantity]
		[Attribute]
		[SetOrClass]
		[Relation]
		[Proposition]
		[Graph]
		[GraphElement])
	(%3ASLOT-CONSTRAINTS [UAX-0074])
	(%3ALOAD-SEQUENCE 192))

([AbstractionFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0075)\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])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 200)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction
		PartialValuedRelation))

([abstractionLevel] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "abstractionLevel")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [property])
	(%3ALOAD-SEQUENCE 406)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([AbstractionLevelAttribute] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 404))

([AcademicDegree] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1217])
	(%3ALOAD-SEQUENCE 2864))

([Accelerating] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1238])
	(%3ALOAD-SEQUENCE 2918))

([accountHolder] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "accountHolder")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [agreementMember])
	(%3ALOAD-SEQUENCE 3293)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		TotalValuedRelation))

([Acre] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2697))

([AdditionFn] of %3ATernarySlot
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ASUO-name "AdditionFn")
	(%3ADomain2Class Quantity)
	(%3AslotType "Function")
	(%3AAXIOMS "\n(UAX-0194)\n(equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1))\n")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		BinaryFunction
		AssociativeFunction
		CommutativeFunction
		RelationExtendedToQuantities
		TotalValuedRelation)
	(%3ALOAD-SEQUENCE 492))

([address] of %3ASKIF-SLOT
	(relatedInternalConcept
		[telephoneNumber]
		[telephoneNumber])
	(%3ADomain1Type Instance)
	(%3ASUO-name "address")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 2324)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([Address] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2325))

([AddressFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-1522)\n(=>\n    (and\n        (instance ?Directory ComputerDirectory)\n        (instance ?File ComputerFile)\n        (directoryOf ?File ?Directory))\n    (refers (AddressFn ?File) ?Directory))\n")
	(%3ASUO-name "AddressFn")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 53)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction))

([Adjacent] of PositionalAttribute
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "Adjacent")
	(%3AAXIOMS "\n(UAX-0814)\n(<=>\n   (orientation ?OBJ1 ?OBJ2 Adjacent)\n   (or\n      (orientation ?OBJ1 ?OBJ2 Near)\n      (connected ?OBJ1 ?OBJ2)))\n")
	(%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.")
	(%3AhasInstanceTypes PositionalAttribute)
	(%3ALOAD-SEQUENCE 1927))

([Adjective] of %3ASYN-CLASS
	(disjoint
		[Noun]
		[Verb]
		[Particle]
		[Adverb])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1699))

([administrativeCenter] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "administrativeCenter")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [geopoliticalSubdivision])
	(%3ALOAD-SEQUENCE 3529)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		SpatialRelation))

([Adverb] of %3ASYN-CLASS
	(disjoint
		[Noun]
		[Verb]
		[Adjective]
		[Particle])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1700))

([Advertising] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0605])
	(%3ALOAD-SEQUENCE 1418))

([Aerator] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0921])
	(%3ALOAD-SEQUENCE 2195))

([Africa] of Continent
	(%3ALOAD-SEQUENCE 3462)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes Continent)
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3ASUO-name "Africa"))

([Afternoon] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1290])
	(%3ALOAD-SEQUENCE 3030))

([age] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "age")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [measure])
	(%3ALOAD-SEQUENCE 833)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([AgeGroup] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0780])
	(%3ALOAD-SEQUENCE 1833))

([Agent] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0072])
	(%3ALOAD-SEQUENCE 184))

([agent] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0099)\n(=>\n   (instance ?PROCESS Process)\n   (exists (?CAUSE)\n      (agent ?PROCESS ?CAUSE)))\n")
	(%3ASUO-name "agent")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 282)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		CaseRole))

([agreementMember] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "agreementMember")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 3263)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		TotalValuedRelation))

([Agriculture] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1440])
	(%3ALOAD-SEQUENCE 3435))

([Air] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3AClassPredicates
		"(subclass Air (ExtensionFn Gas))"
		"(subclass Air (ExtensionFn OneAtmospherePressure))")
	(%3ASLOT-CONSTRAINTS
		[UAX-0689]
		[UAX-0690]
		[UAX-0691]
		[UAX-0692]
		[UAX-0693])
	(%3ALOAD-SEQUENCE 1642))

([Aircraft] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(partition
		[FixedWingAircraft]
		[Helicopter])
	(%3ALOAD-SEQUENCE 3612))

([Airplane] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3614))

([Airport] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1481])
	(%3ALOAD-SEQUENCE 3579))

([AirStream] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3422))

([AirTransportation] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1256]
		[UAX-1257])
	(%3ALOAD-SEQUENCE 2955))

([Alaska] of AmericanState
	(%3ALOAD-SEQUENCE 3743)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes AmericanState)
	(%3Adocumentation "The largest state in the &%UnitedStates.")
	(%3ASUO-name "Alaska")
	(%3AAXIOMS "\n(UAX-1510)\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"))

([Alcohol] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2480))

([AlcoholicBeverage] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1070])
	(%3ALOAD-SEQUENCE 2548))

([AlethicAttribute] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ALOAD-SEQUENCE 1969))

([Alga] of %3ASYN-CLASS
	(disjoint
		[Moss]
		[Fern]
		[Fungus])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0674])
	(%3ALOAD-SEQUENCE 1578))

([altitude] of %3ATernarySlot
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AisaSubrelationOf [distance])
	(%3ASUO-name "altitude")
	(%3ADomain2Class Physical)
	(%3AslotType "Predicate")
	(%3AAXIOMS "\n(UAX-0311)\n(=>\n   (altitude ?OBJ1 ?OBJ2 ?HEIGHT)\n   (orientation ?OBJ1 ?OBJ2 Above))\n\n(UAX-0312)\n(=>\n   (altitude ?OBJ1 ?OBJ2 ?HEIGHT)\n   (exists (?TOP)\n      (and\n         (top ?TOP ?OBJ1)\n         (distance ?TOP ?OBJ2 ?HEIGHT))))\n")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		SingleValuedRelation
		SpatialRelation
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 838))

([Ambulating] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(partition
		[Walking]
		[Running])
	(%3ALOAD-SEQUENCE 1210))

([AmericanCity] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1032])
	(%3ALOAD-SEQUENCE 2453))

([AmericanState] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1031])
	(%3ALOAD-SEQUENCE 2451))

([AmerindianEthnicity] of EthnicGroup
	(%3ALOAD-SEQUENCE 3711)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes EthnicGroup)
	(%3Adocumentation "A broad ethnic group encompassing any of the North, Central, or South American tribal peoples.")
	(%3ASUO-name "AmerindianEthnicity"))

([amountDue] of %3ATernarySlot
	(%3AisInModule [MidLevel])
	(%3ASUO-name "amountDue")
	(%3ADomain2Class CurrencyMeasure)
	(%3AslotType "Predicate")
	(%3AAXIOMS "\n(UAX-1417)\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")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		%3ATernarySlot
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 3373))

([Ampere] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ALOAD-SEQUENCE 695))

([Amphibian] of %3ASYN-CLASS
	(disjoint
		[Reptile]
		[Fish])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1604))

([Amu] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-0284])
	(%3ALOAD-SEQUENCE 763))

([Anaconda] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2623))

([Anarchy] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Anarchy")
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3512))

([AnatomicalStructure] of %3ASYN-CLASS
	(disjoint [Organism])
	(%3AisInModule [OBJECTS])
	(partition2
		[AnimalAnatomicalStructure]
		[PlantAnatomicalStructure])
	(%3ASLOT-CONSTRAINTS
		[UAX-0700]
		[UAX-0701])
	(partition
		[BodyPart]
		[AbnormalAnatomicalStructure])
	(%3ALOAD-SEQUENCE 1660))

([ancestor] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0673)\n(=>\n   (parent ?PARENT ?CHILD)\n   (ancestor ?PARENT ?CHILD))\n")
	(%3ASUO-name "ancestor")
	(%3AisInModule [OBJECTS])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [familyRelation])
	(%3ALOAD-SEQUENCE 1572)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		TransitiveRelation
		IrreflexiveRelation
		BinaryPredicate))

([and] of %3AVariableAritySlot
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "and")
	(%3AslotType "Predicate")
	(%3ADomain1Type Instance)
	(%3AhasInstanceTypes
		%3AVariableAritySlot
		VariableArityRelation
		LogicalOperator)
	(%3ALOAD-SEQUENCE 84))

([Anger] of EmotionalState
	(%3AisInModule [MidLevel])
	(subAttribute [Unhappiness])
	(%3Adocumentation "The state of being wrathful, irate or indignant.")
	(%3ALOAD-SEQUENCE 3059))

([AngleMeasure] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ALOAD-SEQUENCE 654))

([angleOfFigure] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "angleOfFigure")
	(%3AisInModule [QUALITIES])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [geometricPart])
	(%3ALOAD-SEQUENCE 2041)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([Angstrom] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-0286])
	(%3ALOAD-SEQUENCE 768))

([AngularDegree] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS
		[UAX-0302]
		[UAX-0303]
		[UAX-0304])
	(%3ALOAD-SEQUENCE 810))

([angularMeasure] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "angularMeasure")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AidenticalTo
		"monetaryWage"
		"angularMeasure")
	(%3ALOAD-SEQUENCE 3102)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		TotalValuedRelation
		%3ASKIF-SLOT))

([AnimacyAttribute] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3AClassPredicates "(exhaustiveAttribute AnimacyAttribute Living Dead)")
	(%3ALOAD-SEQUENCE 2077))

([Animal] of %3ASYN-CLASS
	(disjoint
		[Microorganism]
		[Plant])
	(%3AisInModule [OBJECTS])
	(partition
		[Vertebrate]
		[Invertebrate])
	(%3ALOAD-SEQUENCE 1584))

([AnimalAnatomicalStructure] of %3ASYN-CLASS
	(disjoint [PlantAnatomicalStructure])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0705])
	(%3ALOAD-SEQUENCE 1668))

([AnimalLanguage] of %3ASYN-CLASS
	(disjoint
		[ComputerLanguage]
		[HumanLanguage])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0068])
	(%3ALOAD-SEQUENCE 169))

([AnimalResidence] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0988])
	(%3ALOAD-SEQUENCE 2357))

([AnimalSubstance] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1062])
	(%3ALOAD-SEQUENCE 2527))

([Answering] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0911])
	(%3ALOAD-SEQUENCE 2168))

([Antarctica] of Continent
	(%3ALOAD-SEQUENCE 3465)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes Continent)
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3ASUO-name "Antarctica"))

([Antenna] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1196])
	(%3ALOAD-SEQUENCE 2819))

([Antibody] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1066])
	(%3ALOAD-SEQUENCE 2538))

([Antigen] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2540))

([Antisemitism] of BeliefGroup
	(%3ALOAD-SEQUENCE 2386)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes BeliefGroup)
	(%3Adocumentation "The &%BeliefGroup that is characterized by a dislike for &%Judaism.")
	(%3ASUO-name "Antisemitism")
	(%3AAXIOMS "\n(UAX-1003)\n(=>\n   (member ?MEMBER Antisemitism)\n   (dislikes ?MEMBER Judaism))\n"))

([AntisymmetricRelation] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0094])
	(%3ALOAD-SEQUENCE 269))

([Anxiety] of EmotionalState
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Anxiety")
	(contraryAttribute [Tranquility])
	(%3AAXIOMS "\n(UAX-1303)\n(=>\n   (attribute ?PERSON Anxiety)\n   (exists (?PROP)\n      (fears ?PERSON ?PROP)))\n\n(UAX-1304)\n(=>\n   (attribute ?PERSON Anger)\n   (exists (?PROP)\n      (disapproves ?PERSON ?PROP)))\n")
	(subAttribute [Unhappiness])
	(%3Adocumentation "The state of being worried, troubled or uneasy.")
	(%3AhasInstanceTypes EmotionalState)
	(%3ALOAD-SEQUENCE 3057))

([ApartmentBuilding] of %3ASYN-CLASS
	(disjoint [SingleFamilyResidence])
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0986])
	(%3ALOAD-SEQUENCE 2353))

([ApartmentUnit] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-0982]
		[UAX-0983])
	(%3ALOAD-SEQUENCE 2346))

([Ape] of %3ASYN-CLASS
	(disjoint
		[Hominid]
		[Monkey])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1618))

([Application] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1159])
	(%3ALOAD-SEQUENCE 2734))

([April] of %3ASYN-CLASS
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-0374]
		[UAX-0375])
	(%3ALOAD-SEQUENCE 953))

([AquaticMammal] of %3ASYN-CLASS
	(disjoint
		[Primate]
		[HoofedMammal]
		[Marsupial]
		[Rodent])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1609))

([Arachnid] of %3ASYN-CLASS
	(disjoint
		[Crustacean]
		[Myriapod]
		[Insect])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1598))

([ArcticRegion] of GeographicArea
	(%3ALOAD-SEQUENCE 3469)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes GeographicArea)
	(%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.")
	(%3ASUO-name "ArcticRegion"))

([arcWeight] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "arcWeight")
	(%3AisInModule [GRAPH_THEORY])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 624)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		SingleValuedRelation))

([AreaMeasure] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ALOAD-SEQUENCE 650))

([Arguing] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0912])
	(%3ALOAD-SEQUENCE 2170))

([Argument] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0796]
		[UAX-0797])
	(%3ALOAD-SEQUENCE 1881))

([Arm] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1103])
	(%3ALOAD-SEQUENCE 2612))

([Army] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2461))

([Arriving] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1246])
	(%3ALOAD-SEQUENCE 2933))

([ArrowIcon] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2685))

([Artery] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1076])
	(%3ALOAD-SEQUENCE 2562))

([Arthropod] of %3ASYN-CLASS
	(disjoint
		[Worm]
		[Mollusk])
	(%3AisInModule [OBJECTS])
	(disjointDecomposition
		[Arachnid]
		[Myriapod]
		[Insect]
		[Crustacean])
	(%3ALOAD-SEQUENCE 1597))

([Article] of %3ASYN-CLASS
	(disjoint [Book])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0739])
	(%3ALOAD-SEQUENCE 1744))

([Artifact] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0745])
	(%3ALOAD-SEQUENCE 1758))

([ArtificialLanguage] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ALOAD-SEQUENCE 171))

([ArtificialSatellite] of %3ASYN-CLASS
	(disjoint [NaturalSatellite])
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3626))

([ArtilleryGun] of %3ASYN-CLASS
	(disjoint [Firearm])
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2186))

([ArtPainting] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0931])
	(%3ALOAD-SEQUENCE 2226))

([ArtStudio] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0977])
	(%3ALOAD-SEQUENCE 2335))

([ArtWork] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1784))

([AsexualReproduction] of %3ASYN-CLASS
	(disjoint [SexualReproduction])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0473])
	(%3ALOAD-SEQUENCE 1140))

([Asia] of Continent
	(%3ALOAD-SEQUENCE 3467)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes Continent)
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3ASUO-name "Asia"))

([Asleep] of ConsciousnessAttribute
	(%3AisInModule [QUALITIES])
	(subAttribute [Unconscious])
	(%3Adocumentation "This &%Attribute applies to &%Organisms that are sleeping.")
	(%3ALOAD-SEQUENCE 2107))

([Assessment-DesignPattern] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 350))

([Asset] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1378]
		[UAX-1379])
	(%3ALOAD-SEQUENCE 3274))

([AssignmentFn] of %3AVariableAritySlot
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "AssignmentFn")
	(%3AslotType "Function")
	(%3ADomain1Type Instance)
	(%3AhasInstanceTypes
		%3AVariableAritySlot
		Function
		VariableArityRelation)
	(%3ALOAD-SEQUENCE 95))

([Assn00000] of %3AAssertion
	(%3ASUO-name "Assn00000")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ALOAD-SEQUENCE 491)
	(%3AargumentList
		"identityElement"
		"MultiplicationFn"
		"1")
	(%3AliteralTranscription "(identityElement MultiplicationFn 1)"))

([Assn00001] of %3AAssertion
	(%3ASUO-name "Assn00001")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ALOAD-SEQUENCE 492)
	(%3AargumentList
		"identityElement"
		"AdditionFn"
		"0")
	(%3AliteralTranscription "(identityElement AdditionFn 0)"))

([Assn00002] of %3AAssertion
	(%3ASUO-name "Assn00002")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ALOAD-SEQUENCE 494)
	(%3AargumentList
		"identityElement"
		"SubtractionFn"
		"0")
	(%3AliteralTranscription "(identityElement SubtractionFn 0)"))

([Assn00003] of %3AAssertion
	(%3ASUO-name "Assn00003")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ALOAD-SEQUENCE 496)
	(%3AargumentList
		"identityElement"
		"DivisionFn"
		"1")
	(%3AliteralTranscription "(identityElement DivisionFn 1)"))

([Assn00004] of %3AAssertion
	(%3ASUO-name "Assn00004")
	(%3Adocumentation "The natural moon that orbits planet Earth.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3698)
	(%3AargumentList
		"orbits"
		"EarthsMoon"
		"PlanetEarth")
	(%3AliteralTranscription "(orbits EarthsMoon PlanetEarth)"))

([Assn00005] of %3AAssertion
	(%3ASUO-name "Assn00005")
	(%3Adocumentation "The third planet from the sun in the solar system, where humans evolved.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3699)
	(%3AargumentList
		"orbits"
		"PlanetEarth"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetEarth Sol)"))

([Assn00006] of %3AAssertion
	(%3ASUO-name "Assn00006")
	(%3Adocumentation "The planet clolsest to the sun in the solar system.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3700)
	(%3AargumentList
		"orbits"
		"PlanetMercury"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetMercury Sol)"))

([Assn00007] of %3AAssertion
	(%3ASUO-name "Assn00007")
	(%3Adocumentation "The second planet from the sun in the solar system.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3701)
	(%3AargumentList
		"orbits"
		"PlanetVenus"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetVenus Sol)"))

([Assn00008] of %3AAssertion
	(%3ASUO-name "Assn00008")
	(%3Adocumentation "The fourth planet from the sun in the solar system.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3702)
	(%3AargumentList
		"orbits"
		"PlanetMars"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetMars Sol)"))

([Assn00009] of %3AAssertion
	(%3ASUO-name "Assn00009")
	(%3Adocumentation "The fifth planet from the sun in the solar system, the largest planet in the solar system.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3703)
	(%3AargumentList
		"orbits"
		"PlanetJupiter"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetJupiter Sol)"))

([Assn00010] of %3AAssertion
	(%3ASUO-name "Assn00010")
	(%3Adocumentation "The sixth planet from the sun in the solar system, with pretty rings around it.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3704)
	(%3AargumentList
		"orbits"
		"PlanetSaturn"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetSaturn Sol)"))

([Assn00011] of %3AAssertion
	(%3ASUO-name "Assn00011")
	(%3Adocumentation "The seventh planet from the sun in the solar system.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3705)
	(%3AargumentList
		"orbits"
		"PlanetNeptune"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetNeptune Sol)"))

([Assn00012] of %3AAssertion
	(%3ASUO-name "Assn00012")
	(%3Adocumentation "The eighth planet from the sun in the solar system.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3706)
	(%3AargumentList
		"orbits"
		"PlanetUranus"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetUranus Sol)"))

([Assn00013] of %3AAssertion
	(%3ASUO-name "Assn00013")
	(%3Adocumentation "The ninth planet from the sun in the solar system -- far out!")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3707)
	(%3AargumentList
		"orbits"
		"PlanetPluto"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetPluto Sol)"))

([Assn00014] of %3AAssertion
	(%3ASUO-name "Assn00014")
	(%3Adocumentation "&%Protestantism is one of the three major divisions of &%Christianity.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3714)
	(%3AargumentList
		"subCollection"
		"Protestantism"
		"Christianity")
	(%3AliteralTranscription "(subCollection Protestantism Christianity)"))

([Assn00015] of %3AAssertion
	(%3ASUO-name "Assn00015")
	(%3Adocumentation "&%RomanCathoicism is one of the three major divisions of &%Christianity.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3715)
	(%3AargumentList
		"subCollection"
		"RomanCatholicism"
		"Christianity")
	(%3AliteralTranscription "(subCollection RomanCatholicism Christianity)"))

([Assn00016] of %3AAssertion
	(%3ASUO-name "Assn00016")
	(%3Adocumentation "The part of &%Biology dealing with the functioning of &%Organisms.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3723)
	(%3AargumentList
		"subField"
		"Physiology"
		"Biology")
	(%3AliteralTranscription "(subField Physiology Biology)"))

([Assn00017] of %3AAssertion
	(%3ASUO-name "Assn00017")
	(%3Adocumentation "The field of medicine.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3724)
	(%3AargumentList
		"subField"
		"MedicalScience"
		"Biology")
	(%3AliteralTranscription "(subField MedicalScience Biology)"))

([Assn00018] of %3AAssertion
	(%3ASUO-name "Assn00018")
	(%3Adocumentation "The branch of &%Physics that deals with the theory and applications of electron emissions.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3728)
	(%3AargumentList
		"subField"
		"Electronics"
		"Physics")
	(%3AliteralTranscription "(subField Electronics Physics)"))

([Assn00019] of %3AAssertion
	(%3ASUO-name "Assn00019")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3728)
	(%3AargumentList
		"subField"
		"Electronics"
		"Engineering")
	(%3AliteralTranscription "(subField Electronics Engineering)"))

([Assn00020] of %3AAssertion
	(%3ASUO-name "Assn00020")
	(%3Adocumentation "A tributary of the Mississippi River.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3735)
	(%3AargumentList
		"part"
		"RedRiver"
		"UnitedStates")
	(%3AliteralTranscription "(part RedRiver UnitedStates)"))

([Assn00021] of %3AAssertion
	(%3ASUO-name "Assn00021")
	(%3Adocumentation "A large Spanish-speaking country that borders on the &%UnitedStates.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3736)
	(%3AargumentList
		"meetsSpatially"
		"Mexico"
		"UnitedStates")
	(%3AliteralTranscription "(meetsSpatially Mexico UnitedStates)"))

([Assn00022] of %3AAssertion
	(%3ASUO-name "Assn00022")
	(%3Adocumentation "A state in the southeastern &%UnitedStates that borders on &%WashingtonDC.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3750)
	(%3AargumentList
		"meetsSpatially"
		"Virginia"
		"WashingtonDC")
	(%3AliteralTranscription "(meetsSpatially Virginia WashingtonDC)"))

([Assn00023] of %3AAssertion
	(%3ASUO-name "Assn00023")
	(%3Adocumentation "A &%GeographicArea in the &%UnitedStates that is made up of the states of Maine, New Hampshire, Vermont, Massachusetts, Rhode Island, and Connecticut.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3752)
	(%3AargumentList
		"part"
		"NewEngland"
		"UnitedStates")
	(%3AliteralTranscription "(part NewEngland UnitedStates)"))

([Assn00024] of %3AAssertion
	(%3ASUO-name "Assn00024")
	(%3Adocumentation "The largest city in the &%UnitedStates. A worldwide center of finance and culture, it is comprised of five boroughs.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3753)
	(%3AargumentList
		"part"
		"NewYorkCity"
		"NewYorkState")
	(%3AliteralTranscription "(part NewYorkCity NewYorkState)"))

([Assn00025] of %3AAssertion
	(%3ASUO-name "Assn00025")
	(%3Adocumentation "The largest &%City in &%California.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3760)
	(%3AargumentList
		"part"
		"LosAngeles"
		"California")
	(%3AliteralTranscription "(part LosAngeles California)"))

([Assn00026] of %3AAssertion
	(%3ASUO-name "Assn00026")
	(%3Adocumentation "A large &%City in &%California, located on the San Francisco Bay.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3762)
	(%3AargumentList
		"part"
		"SanFrancisco"
		"California")
	(%3AliteralTranscription "(part SanFrancisco California)"))

([Assn00027] of %3AAssertion
	(%3ASUO-name "Assn00027")
	(%3Adocumentation "An autonomous part of the &%UnitedStates.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3764)
	(%3AargumentList
		"part"
		"PuertoRico"
		"UnitedStates")
	(%3AliteralTranscription "(part PuertoRico UnitedStates)"))

([Assn00028] of %3AAssertion
	(%3ASUO-name "Assn00028")
	(%3Adocumentation "The capital of &%France and the largest &%City of the country.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3765)
	(%3AargumentList
		"part"
		"Paris"
		"France")
	(%3AliteralTranscription "(part Paris France)"))

([Assn00029] of %3AAssertion
	(%3ASUO-name "Assn00029")
	(%3Adocumentation "The capital city and the largest city of the &%UnitedKingdomOfGreatBritainAndNorthernIreland.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3769)
	(%3AargumentList
		"part"
		"London"
		"UnitedKingdomOfGreatBritainAndNorthernIreland")
	(%3AliteralTranscription "(part London UnitedKingdomOfGreatBritainAndNorthernIreland)"))

([Assn00030] of %3AAssertion
	(%3ASUO-name "Assn00030")
	(%3Adocumentation "A small Balkan &%Nation that is known primarily for the literature, philosophy, and art produced there during the ancient period.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3773)
	(%3AargumentList
		"part"
		"Greece"
		"Europe")
	(%3AliteralTranscription "(part Greece Europe)"))

([Assn00031] of %3AAssertion
	(%3ASUO-name "Assn00031")
	(%3Adocumentation "A large European &%Nation.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3774)
	(%3AargumentList
		"part"
		"Germany"
		"Europe")
	(%3AliteralTranscription "(part Germany Europe)"))

([Assn00032] of %3AAssertion
	(%3ASUO-name "Assn00032")
	(%3Adocumentation "The &%subOrganization of the US government that sets and enforces foreign policy.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3776)
	(%3AargumentList
		"subOrganization"
		"UnitedStatesDepartmentOfState"
		"(GovernmentFn UnitedStates)")
	(%3AliteralTranscription "(subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates))"))

([Assn00033] of %3AAssertion
	(%3ASUO-name "Assn00033")
	(%3Adocumentation "Manages and preserves public lands and natural resources in the &%UnitedStates.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3777)
	(%3AargumentList
		"subOrganization"
		"UnitedStatesDepartmentOfInterior"
		"(GovernmentFn UnitedStates)")
	(%3AliteralTranscription "(subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates))"))

([Assn00034] of %3AAssertion
	(%3ASUO-name "Assn00034")
	(%3Adocumentation "The legislative branch of the government of the &%UnitedStates.")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3781)
	(%3AargumentList
		"subOrganization"
		"UnitedStatesCongress"
		"(GovernmentFn UnitedStates)")
	(%3AliteralTranscription "(subOrganization UnitedStatesCongress (GovernmentFn UnitedStates))"))

([AssociativeFunction] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0142])
	(%3ALOAD-SEQUENCE 372))

([AstronomicalBody] of %3ASYN-CLASS
	(disjoint [GeographicArea])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1513))

([AsymmetricRelation] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0093])
	(%3ALOAD-SEQUENCE 267))

([AtlanticOcean] of Ocean
	(%3ALOAD-SEQUENCE 3449)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes Ocean)
	(%3Adocumentation "&%AtlanticOcean represents the Atlantic Ocean.")
	(%3ASUO-name "AtlanticOcean"))

([Atmosphere] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3AClassPredicates
		"(subclass Atmosphere (ExtensionFn Gas))"
		"(:hasRequiredAttribute Atmosphere ShellShaped)")
	(%3ASLOT-CONSTRAINTS [UAX-1431])
	(%3ALOAD-SEQUENCE 3415))

([AtmosphericRegion] of %3ASYN-CLASS
	(disjoint [OuterSpaceRegion])
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1432])
	(%3ALOAD-SEQUENCE 3418))

([Atom] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS
		[UAX-0057]
		[UAX-0058])
	(%3ALOAD-SEQUENCE 136))

([AtomGram] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ALOAD-SEQUENCE 792))

([AtomicNucleus] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0060])
	(%3ALOAD-SEQUENCE 141))

([atomicNumber] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "atomicNumber")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [protonNumber])
	(%3ALOAD-SEQUENCE 3229)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		SingleValuedRelation
		TotalValuedRelation))

([Attaching] of %3ASYN-CLASS
	(disjoint [Detaching])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0569])
	(relatedInternalConcept [Putting])
	(%3ALOAD-SEQUENCE 1345))

([AttachingDevice] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0765])
	(%3ALOAD-SEQUENCE 1803))

([Attack] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0626]
		[UAX-0627])
	(%3ALOAD-SEQUENCE 1465))

([attends] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "attends")
	(%3AisInModule [PROCESSES])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [experiencer])
	(%3ALOAD-SEQUENCE 1417)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		CaseRole))

([attribute] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(disjointRelation [manner])
	(%3AAXIOMS "null\n(UAX-0447)\n(<=>\n	(attribute ?HOLE1 Fillable)\n       	(exists (?HOLE2)\n        	(and\n			(instance ?HOLE2 Hole)\n                  (part ?HOLE1 ?HOLE2))))\n\n(UAX-0848)\n(=>\n   (attribute ?OBJ Polychromatic)\n   (exists (?PART1 ?PART2 ?COLOR1 ?COLOR2)\n      (and\n         (superficialPart ?PART1 ?OBJ)\n         (superficialPart ?PART2 ?OBJ)\n         (attribute ?PART1 ?COLOR1)\n         (attribute ?PART2 ?COLOR2)\n         (instance ?COLOR1 ColorAttribute)\n         (instance ?COLOR2 ColorAttribute)\n         (not (equal ?COLOR1 ?COLOR2)))))\n\n(UAX-0865)\n(=>\n   (attribute ?OBJ Dry)\n   (not\n      (exists (?SUBOBJ)\n         (and\n            (part ?SUBOBJ ?OBJ)\n            (attribute ?SUBOBJ Liquid)))))\n\n(UAX-0866)\n(=>\n   (attribute ?OBJ Wet)\n   (forall (?PART)\n      (=>\n         (part ?PART ?OBJ)\n         (exists (?SUBPART)\n            (and\n               (part ?SUBPART ?PART)\n               (attribute ?SUBPART Liquid))))))\n\n(UAX-0867)\n(=>\n   (attribute ?OBJ Unbreakable)\n   (not (exists (?DAMAGE)\n      (and\n         (instance ?DAMAGE Damaging)\n         (patient ?DAMAGE ?OBJ)))))\n\n(UAX-0877)\n(=>\n   (attribute ?OBJ FullyFormed)\n   (exists (?GROWTH)\n      (and\n         (instance ?GROWTH Growth)\n         (experiencer ?GROWTH ?OBJ)\n         (holdsDuring (BeginFn (WhenFn ?OBJ)) (attribute ?OBJ NonFullyFormed)))))\n\n(UAX-0880)\n(=>\n   (attribute ?ORG Embryonic)\n   (exists (?BODY)\n      (and\n         (instance ?BODY ReproductiveBody)\n         (located ?ORG ?BODY))))\n\n(UAX-0966)\n(=>\n   (attribute ?PERSON Cancer)\n   (exists (?TUMOR)\n      (and\n         (instance ?TUMOR Tumor)\n         (part ?TUMOR ?PERSON))))\n\n(UAX-1302)\n(=>\n   (attribute ?PERSON Happiness)\n   (not (exists (?PROP)\n      (fears ?PERSON ?PROP))))\n\n(UAX-1303)\n(=>\n   (attribute ?PERSON Anxiety)\n   (exists (?PROP)\n      (fears ?PERSON ?PROP)))\n\n(UAX-1304)\n(=>\n   (attribute ?PERSON Anger)\n   (exists (?PROP)\n      (disapproves ?PERSON ?PROP)))\n\n(UAX-1307)\n(=>\n   (attribute ?COLLECTION LineFormation)\n   (instance ?COLLECTION Collection))\n\n(UAX-1308)\n(=>\n   (attribute ?SYLLABLE Stressed)\n   (instance ?SYLLABLE Syllable))\n\n(UAX-1329)\n(=>\n   (attribute ?AGENT Blind)\n   (not (capability Seeing agent ?AGENT)))\n\n(UAX-1330)\n(=>\n   (attribute ?HAND Fist)\n   (instance ?HAND Hand))\n\n(UAX-1347)\n(=>\n   (attribute ?MAID Maid)\n   (instance ?MAID Woman))\n\n(UAX-1348)\n(=>\n   (attribute ?MAID Maid)\n   (exists (?SERVE)\n      (and\n         (instance ?SERVE Serving)\n         (agent ?SERVE ?MAID))))\n\n(UAX-1352)\n(=>\n   (attribute ?DOCTOR MedicalDoctor)\n   (exists (?PROCESS1 ?PROCESS2)\n      (and\n         (subclass ?PROCESS1 DiagnosticProcess)\n         (subclass ?PROCESS2 TherapeuticProcess)\n         (capability ?PROCESS1 agent ?DOCTOR)\n         (capability ?PROCESS2 agent ?DOCTOR))))\n\n(UAX-1491)\n(=>\n	(attribute ?AREA DemocraticSocialism)\n	(governmentType ?AREA Democracy))\n\n(UAX-1508)\n(<=>\n	(attribute ?INDIVIDUAL LiteracyAttribute)\n	(and\n		(hasSkill Reading ?INDIVIDUAL)\n		(hasSkill Writing ?INDIVIDUAL)))\n")
	(%3ASUO-name "attribute")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [property])
	(%3ALOAD-SEQUENCE 198)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([Attribute] of %3ASYN-CLASS
	(disjoint
		[Quantity]
		[GraphElement]
		[SetOrClass]
		[Relation]
		[Proposition]
		[Graph])
	(%3AisInModule [BASE_ONTOLOGY])
	(partition
		[InternalAttribute]
		[RelationalAttribute])
	(%3ALOAD-SEQUENCE 196))

([Auditorium] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-0991]
		[UAX-0992])
	(%3ALOAD-SEQUENCE 2364))

([AuditoriumSeat] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-0993]
		[UAX-0994])
	(%3ALOAD-SEQUENCE 2367))

([August] of %3ASYN-CLASS
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-0382]
		[UAX-0383])
	(%3ALOAD-SEQUENCE 965))

([AuthoritarianRegime] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "AuthoritarianRegime")
	(contraryAttribute
		[FederalGovernment]
		[MultipartyDemocracy])
	(%3Adocumentation "&%AuthoritarianRegime is the attribute of a government that rules autocratically, not allowing opposition.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3513))

([AuthoritarianSocialist] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "AuthoritarianSocialist")
	(subAttribute [AuthoritarianRegime])
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3518))

([AuthorizationOfTransaction] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1404]
		[UAX-1405])
	(%3ALOAD-SEQUENCE 3338))

([authors] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0730)\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])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 1725)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		AsymmetricRelation))

([AutomaticApplication] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS [UAX-1536])
	(%3ALOAD-SEQUENCE 125))

([Automobile] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3595))

([AutonomicProcess] of %3ASYN-CLASS
	(disjoint [IntentionalProcess])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0462])
	(%3ALOAD-SEQUENCE 1117))

([average] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "average")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 3687)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		PartialValuedRelation
		SingleValuedRelation))

([Avocado] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3222))

([Awake] of ConsciousnessAttribute
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "Awake")
	(contraryAttribute [Unconscious])
	(%3AAXIOMS "\n(UAX-0885)\n(=>\n   (or\n      (attribute ?AGENT Asleep)\n      (attribute ?AGENT Awake))\n   (attribute ?AGENT Living))\n")
	(%3Adocumentation "This &%Attribute applies to &%Organisms that are neither &%Unconscious nor &%Asleep.")
	(%3AhasInstanceTypes ConsciousnessAttribute)
	(%3ALOAD-SEQUENCE 2109))

([BackFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0051)\n(=>\n   (instance ?OBJ SelfConnectedObject)\n   (side (BackFn ?OBJ) ?OBJ))\n")
	(%3ASUO-name "BackFn")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 119)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		SpatialRelation
		PartialValuedRelation
		UnaryFunction
		AsymmetricRelation
		IrreflexiveRelation))

([Bacterium] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-0676]
		[UAX-0677])
	(%3ALOAD-SEQUENCE 1586))

([Ball] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2896))

([Bandwidth] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 249))

([bandwidthOf] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "bandwidthOf")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 251)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([BankOrganization] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3259))

([BargainSale] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1018])
	(%3ALOAD-SEQUENCE 2422))

([Barn] of %3ASYN-CLASS
	(disjoint [ResidentialBuilding])
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1190])
	(%3ALOAD-SEQUENCE 2806))

([barometricPressure] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "barometricPressure")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [measure])
	(%3ALOAD-SEQUENCE 3411)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		AsymmetricRelation))

([BASE_ONTOLOGY] of %3AModule
	(%3ASUO-name "BASE_ONTOLOGY")
	(%3AinputFile "..\\sam156b.txt")
	(%3Adocumentation ";; <module>BASE_ONTOLOGY</module> BEGIN FILE\n")
	(%3AStartingBlock 105))

([Baseball] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3122))

([BaseballHit] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2907))

([BaseballInning] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1327])
	(%3ALOAD-SEQUENCE 3125))

([BaseballManeuver] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1233])
	(%3ALOAD-SEQUENCE 2904))

([BaseballRun] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2908))

([BaseballStrike] of SportAttribute
	(%3AisInModule [MidLevel])
	(%3ASUO-name "BaseballStrike")
	(%3Adocumentation "A baseball pitch that is in the strike zone and that is not hit by the batter.")
	(%3AhasInstanceTypes SportAttribute)
	(%3ALOAD-SEQUENCE 3084))

([BaseballTeam] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1326])
	(%3ALOAD-SEQUENCE 3123))

([BaseballWalk] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2906))

([Basement] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1178])
	(%3ALOAD-SEQUENCE 2783))

([batchInterArrival] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "batchInterArrival")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 293)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([batchLatency] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "batchLatency")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 291)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([Battle] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0623]
		[UAX-0624])
	(%3ALOAD-SEQUENCE 1457))

([Becquerel] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ALOAD-SEQUENCE 746))

([Bed] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0941])
	(%3ALOAD-SEQUENCE 2248))

([Bedroom] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1182])
	(%3ALOAD-SEQUENCE 2790))

([Bee] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2624))

([Beer] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2553))

([before] of %3ASKIF-SLOT
	(relatedInternalConcept [earlier])
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0333)\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-0334)\n(=>\n   (result ?PROC ?OBJ)\n   (forall (?TIME)\n      (=>\n         (before ?TIME (BeginFn (WhenFn ?PROC)))\n         (not\n            (time ?OBJ ?TIME)))))\n\n(UAX-0335)\n(=>\n   (instance ?INTERVAL TimeInterval)\n   (before (BeginFn ?INTERVAL) (EndFn ?INTERVAL)))\n")
	(%3ASUO-name "before")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [beforeOrEqual])
	(%3ALOAD-SEQUENCE 880)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		TemporalRelation
		IrreflexiveRelation
		TransitiveRelation
		BinaryPredicate))

([beforeOrEqual] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0336)\n(=>\n   (beforeOrEqual ?POINT1 ?POINT2)\n   (or\n       (before ?POINT1 ?POINT2)\n       (equal ?POINT1 ?POINT2)))\n")
	(%3ASUO-name "beforeOrEqual")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 885)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		TemporalRelation
		PartialOrderingRelation))

([BeginFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0327)\n(=>\n   (origin ?PROCESS ?OBJ)\n   (located (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ)))))\n\n(UAX-0328)\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])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 870)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		TemporalRelation
		UnaryFunction
		TotalValuedRelation))

([BeginningOperations] of %3ASYN-CLASS
	(disjoint [CeasingOperations])
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1213])
	(%3ALOAD-SEQUENCE 2856))

([BeginNodeFn] of %3ASKIF-SLOT
	(relatedInternalConcept [InitialNodeFn])
	(%3ADomain1Type Instance)
	(%3ASUO-name "BeginNodeFn")
	(%3AisInModule [GRAPH_THEORY])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 622)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction
		TotalValuedRelation))

([BeliefGroup] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0786])
	(%3ALOAD-SEQUENCE 1849))

([believes] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0112)\n(=>\n   (believes ?AGENT ?FORMULA)\n   (exists (?TIME)\n      (holdsDuring ?TIME (considers ?AGENT ?FORMULA))))\n")
	(%3ASUO-name "believes")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [inScopeOfInterest])
	(%3ALOAD-SEQUENCE 321)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		PropositionalAttitude
		BinaryPredicate
		IntentionalRelation))

([Below] of PositionalAttribute
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "Below")
	(contraryAttribute [Above])
	(%3AAXIOMS "\n(UAX-0813)\n(<=>\n   (orientation ?OBJ1 ?OBJ2 Below)\n   (or\n      (orientation ?OBJ2 ?OBJ1 On)\n      (orientation ?OBJ2 ?OBJ1 Above)))\n")
	(%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.")
	(%3AhasInstanceTypes PositionalAttribute)
	(%3ALOAD-SEQUENCE 1925))

([benchmarkPerformance] of %3ATernarySlot
	(%3AisInModule [QualityOfService])
	(%3ASUO-name "benchmarkPerformance")
	(%3ADomain2Class MonitoringProgram)
	(%3AslotType "Predicate")
	(%3AAXIOMS "\n(UAX-1559)\n(=>\n    (benchmarkPerformance ?System ?Test ?Number)\n    (exists (?Event)\n        (and\n            (instance ?Event MeasuringPerformance)\n            (performanceResult ?Event ?System ?Number))))\n")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		%3ATernarySlot
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 246))

([BerkeleySoftwareDistribution] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 548))

([Betting] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ALOAD-SEQUENCE 1289))

([between] of %3ATernarySlot
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "between")
	(%3ADomain2Class Object)
	(%3AslotType "Predicate")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		%3ATernarySlot
		SpatialRelation
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 444))

([Beverage] of %3ASYN-CLASS
	(disjoint [Meat])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-0698]
		[UAX-0699])
	(%3ALOAD-SEQUENCE 1657))

([Bicycle] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3600))

([BinaryFunction] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0141])
	(%3ALOAD-SEQUENCE 370))

([BinaryNumber] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ALOAD-SEQUENCE 232))

([BinaryPredicate] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0146])
	(%3ALOAD-SEQUENCE 382))

([BinaryRelation] of %3ASYN-CLASS
	(disjoint
		[UnaryRelation]
		[VariableArityRelation]
		[TernaryRelation]
		[QuaternaryRelation]
		[QuintaryRelation])
	(%3AisInModule
		[KIF-core]
		[BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0089])
	(%3ALOAD-SEQUENCE 259))

([BiologicalAttribute] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-0868])
	(%3ALOAD-SEQUENCE 2069))

([BiologicallyActiveSubstance] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1628))

([BiologicalProcess] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0460]
		[UAX-0461])
	(%3ALOAD-SEQUENCE 1113))

([BiologicalSpecies] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1060])
	(%3ALOAD-SEQUENCE 2520))

([Biology] of Science
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Biology")
	(%3Adocumentation "The study of the classification, development, and functioning of &%Organisms.")
	(%3AhasInstanceTypes Science)
	(%3ALOAD-SEQUENCE 3722))

([Bird] of %3ASYN-CLASS
	(disjoint [Mammal])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1605))

([Birth] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0463])
	(%3ALOAD-SEQUENCE 1120))

([BirthControlDevice] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2191))

([Bit] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ALOAD-SEQUENCE 824))

([Biting] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0968])
	(%3ALOAD-SEQUENCE 2308))

([BitsPerSecond] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 57))

([Black] of PrimaryColor
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "Black")
	(%3Adocumentation "The &%Attribute of being black in color.")
	(%3AhasInstanceTypes PrimaryColor)
	(%3ALOAD-SEQUENCE 2010))

([BlackEthnicity] of RacialEthnicGroup
	(%3ALOAD-SEQUENCE 3709)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes RacialEthnicGroup)
	(%3Adocumentation "A broad racial division encompassing various African, African-American, and Caribbean peoples.")
	(%3ASUO-name "BlackEthnicity"))

([Blanket] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0962])
	(%3ALOAD-SEQUENCE 2294))

([Bleeding] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1355]
		[UAX-1356]
		[UAX-1357])
	(%3ALOAD-SEQUENCE 3204))

([Blind] of BiologicalAttribute
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Blind")
	(%3AAXIOMS "\n(UAX-1329)\n(=>\n   (attribute ?AGENT Blind)\n   (not (capability Seeing agent ?AGENT)))\n")
	(%3Adocumentation "The &%Attribute that applies to &%Animals and &%Humans that are unable to see.")
	(%3AhasInstanceTypes BiologicalAttribute)
	(%3ALOAD-SEQUENCE 3129))

([Blood] of %3ASYN-CLASS
	(disjoint [Serum])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1651))

([BloodVessel] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1075])
	(%3ALOAD-SEQUENCE 2560))

([Blue] of PrimaryColor
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "Blue")
	(%3Adocumentation "The &%Attribute of being blue in color.")
	(%3AhasInstanceTypes PrimaryColor)
	(%3ALOAD-SEQUENCE 2007))

([Blueprint] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1134])
	(%3ALOAD-SEQUENCE 2678))

([BoardOrBlock] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0951])
	(%3ALOAD-SEQUENCE 2272))

([BodyCovering] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0709])
	(%3ALOAD-SEQUENCE 1680))

([BodyJunction] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-0710]
		[UAX-0711])
	(%3ALOAD-SEQUENCE 1682))

([BodyMotion] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0504])
	(%3ALOAD-SEQUENCE 1204))

([BodyOfWater] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3442))

([BodyPart] of %3ASYN-CLASS
	(disjoint [AbnormalAnatomicalStructure])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-0703]
		[UAX-0704])
	(%3ALOAD-SEQUENCE 1665))

([BodyPosition] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-0869])
	(%3ALOAD-SEQUENCE 2071))

([BodySubstance] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1648))

([BodyVessel] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1685))

([Boiling] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0643]
		[UAX-0644])
	(%3ALOAD-SEQUENCE 1500))

([Bond] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1412]
		[UAX-1413])
	(%3ALOAD-SEQUENCE 3358))

([Bone] of %3ASYN-CLASS
	(disjoint
		[FatTissue]
		[Muscle])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0715])
	(%3ALOAD-SEQUENCE 1693))

([Book] of %3ASYN-CLASS
	(disjoint [Article])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1738))

([Borrowing] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ALOAD-SEQUENCE 1277))

([Boston] of AmericanCity
	(%3ALOAD-SEQUENCE 3759)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes AmericanCity)
	(%3Adocumentation "The largest &%City in Massachusetts.")
	(%3ASUO-name "Boston"))

([BotanicalTree] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1437])
	(%3ALOAD-SEQUENCE 3429))

([Bottle] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-0948]
		[UAX-0949])
	(%3ALOAD-SEQUENCE 2267))

([bottom] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0427)\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])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [superficialPart])
	(%3ALOAD-SEQUENCE 1041)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		SpatialRelation))

([Bowing] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2668))

([Box] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0946])
	(%3ALOAD-SEQUENCE 2262))

([Boxing] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3120))

([Boy] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2142))

([Brain] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2595))

([Brass] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1049])
	(%3ALOAD-SEQUENCE 2497))

([BreakabilityAttribute] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ALOAD-SEQUENCE 2065))

([Breathing] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ALOAD-SEQUENCE 1125))

([Bridge] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3590))

([BritishThermalUnit] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-0301])
	(%3ALOAD-SEQUENCE 807))

([Broadcasting] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1193])
	(%3ALOAD-SEQUENCE 2813))

([BroadcastingStation] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(partition
		[RadioStation]
		[TelevisionStation])
	(%3ALOAD-SEQUENCE 3627))

([BroadcastProgram] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1160])
	(%3ALOAD-SEQUENCE 2737))

([BronchialDuct] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1074])
	(%3ALOAD-SEQUENCE 2558))

([Brood] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1006]
		[UAX-1007])
	(%3ALOAD-SEQUENCE 2392))

([brother] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "brother")
	(%3AisInModule [OBJECTS])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [sibling])
	(%3ALOAD-SEQUENCE 1570)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		IrreflexiveRelation
		TransitiveRelation
		BinaryPredicate))

([Brown] of SecondaryColor
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Brown")
	(%3Adocumentation "A &%SecondaryColor that resembles the color of wood or of soil.")
	(%3AhasInstanceTypes SecondaryColor)
	(%3ALOAD-SEQUENCE 3068))

([Building] of %3ASYN-CLASS
	(disjoint [Room])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0750])
	(%3ALOAD-SEQUENCE 1770))

([BuildingLevel] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1177])
	(%3ALOAD-SEQUENCE 2781))

([BumbleBee] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2625))

([BusinessCompetition] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1325])
	(%3ALOAD-SEQUENCE 3118))

([BusNetwork] of %3ASYN-CLASS
	(disjoint
		[RingNetwork]
		[StarNetwork])
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 16))

([Buying] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0541])
	(relatedInternalConcept [Selling])
	(%3ALOAD-SEQUENCE 1290))

([Byte] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-0307])
	(%3ALOAD-SEQUENCE 825))

([Cafeteria] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2408))

([Calculating] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ALOAD-SEQUENCE 1313))

([California] of AmericanState
	(%3ALOAD-SEQUENCE 3745)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes AmericanState)
	(%3Adocumentation "The &%AmericanState with the highest population.")
	(%3ASUO-name "California")
	(%3AAXIOMS "\n(UAX-1511)\n(=>\n   (and\n      (instance ?STATE AmericanState)\n      (not (equal ?STATE California)))\n   (greaterThan (ResidentFn California) (ResidentFn ?STATE)))\n"))

([Calorie] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-0300])
	(%3ALOAD-SEQUENCE 805))

([Camera] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1139])
	(%3ALOAD-SEQUENCE 2689))

([Camp] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0979])
	(%3ALOAD-SEQUENCE 2340))

([Canal] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3585))

([Cancer] of DiseaseOrSyndrome
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Cancer")
	(%3AAXIOMS "\n(UAX-0966)\n(=>\n   (attribute ?PERSON Cancer)\n   (exists (?TUMOR)\n      (and\n         (instance ?TUMOR Tumor)\n         (part ?TUMOR ?PERSON))))\n")
	(%3Adocumentation "A &%DiseaseOrSyndrome characterized by pathologic and uncontrolled cell division that results in a &%Tumor.")
	(%3AhasInstanceTypes DiseaseOrSyndrome)
	(%3ALOAD-SEQUENCE 2304))

([Candela] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ALOAD-SEQUENCE 701))

([candidateForPosition] of %3ATernarySlot
	(%3AisInModule [MidLevel])
	(%3ASUO-name "candidateForPosition")
	(%3ADomain2Class SocialRole)
	(%3AslotType "Predicate")
	(%3AAXIOMS "\n(UAX-1473)\n(=>\n	(candidateForPosition ?ELECTION ?POSITION ?CONTENDER)\n	(electionForPosition ?ELECTION ?POSITION))\n\n(UAX-1474)\n(=>\n	(and\n		(candidateForPosition ?ELECTION ?POSITION ?CONTENDER)\n		(agent ?ELECTION ?AGENT))\n	(desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))\n")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		%3ATernarySlot
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 3560))

([Canine] of %3ASYN-CLASS
	(disjoint [Feline])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1614))

([capability] of %3ATernarySlot
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "capability")
	(%3ADomain2Class CaseRole)
	(%3AslotType "Predicate")
	(%3AAXIOMS "\n(UAX-0165)\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\n(UAX-1079)\n(=>\n   (capability Breathing experiencer ?ANIMAL)\n   (exists (?LUNG)\n      (and\n         (component ?LUNG ?ANIMAL)\n         (instance ?LUNG Lung))))\n")
	(%3ADomain1Type Class)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		%3ATernarySlot
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 421))

([capacity] of %3ASKIF-SLOT
	(relatedInternalConcept [humanCapacity])
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0972)\n(=>\n   (and\n      (measure ?OBJ1 ?MEAS)\n      (contains ?OBJ2 ?OBJ1))\n   (capacity ?OBJ2 ?MEAS))\n")
	(%3ASUO-name "capacity")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 2317)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([capitalCity] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "capitalCity")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [administrativeCenter])
	(%3ALOAD-SEQUENCE 3528)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		SpatialRelation))

([CapitalistEconomy] of EconomicSystemAttribute
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CapitalistEconomy")
	(subAttribute [PrivateEnterpriseEconomy])
	(%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.")
	(%3AhasInstanceTypes EconomicSystemAttribute)
	(%3ALOAD-SEQUENCE 3638))

([CaptainOfficer] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3014))

([Carbohydrate] of %3ASYN-CLASS
	(disjoint
		[Protein]
		[Vitamin])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1632))

([Carbon] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3AClassPredicates "(atomicNumber Carbon 6)")
	(%3ASLOT-CONSTRAINTS [UAX-1368])
	(%3ALOAD-SEQUENCE 3238))

([CardinalityFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "CardinalityFn")
	(%3AisInModule [SET%2FCLASS_THEORY])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 573)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction
		TotalValuedRelation
		AsymmetricRelation))

([CareOrganization] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1009])
	(partition
		[Hospital]
		[MedicalClinic])
	(%3ALOAD-SEQUENCE 2400))

([Carnivore] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0682])
	(%3ALOAD-SEQUENCE 1612))

([Carrying] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0510])
	(%3ALOAD-SEQUENCE 1223))

([CaseRole] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ALOAD-SEQUENCE 281))

([Catching] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1236]
		[UAX-1237])
	(%3ALOAD-SEQUENCE 2914))

([causes] of %3ASKIF-SLOT
	(relatedInternalConcept [causesSubclass])
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0160)\n(=>\n   (instance ?PROC1 Process)\n   (exists (?PROC2)\n      (causes ?PROC2 ?PROC1)))\n")
	(%3ASUO-name "causes")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 411)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		AsymmetricRelation))

([causesSubclass] of %3ASKIF-SLOT
	(relatedInternalConcept
		[causes]
		[causes])
	(%3ADomain1Type Class)
	(%3AAXIOMS "\n(UAX-0161)\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])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 413)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		AsymmetricRelation))

([CeasingOperations] of %3ASYN-CLASS
	(disjoint [BeginningOperations])
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1214])
	(%3ALOAD-SEQUENCE 2858))

([CeilingFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0198)\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])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 500)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction
		TotalValuedRelation))

([Cell] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1686))

([CellNucleus] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1069])
	(%3ALOAD-SEQUENCE 2546))

([CelsiusDegree] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS
		[UAX-0277]
		[UAX-0278])
	(%3ALOAD-SEQUENCE 738))

([Cement] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3678))

([Centimeter] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-0276])
	(%3ALOAD-SEQUENCE 703))

([CentrallyPlannedEconomy] of EconomicSystemAttribute
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CentrallyPlannedEconomy")
	(%3AAXIOMS "\n(UAX-1492)\n(=>\n	(and\n		(attribute ?AREA CommunistState)\n		(instance ?AREA Nation))\n	(economyType ?AREA CentrallyPlannedEconomy))\n")
	(subAttribute [GovernmentRegulatedEconomy])
	(%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'.")
	(%3AhasInstanceTypes EconomicSystemAttribute)
	(%3ALOAD-SEQUENCE 3651))

([CentralProcessingUnit] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS [UAX-1545])
	(%3ALOAD-SEQUENCE 182))

([CentralTimeZone] of TimeZone
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "CentralTimeZone")
	(%3AAXIOMS "\n(UAX-0823)\n(=>\n   (equal (RelativeTimeFn ?TIME1 CentralTimeZone) ?TIME2)\n   (equal ?TIME2 (AdditionFn ?TIME1 6)))\n")
	(%3Adocumentation "A &%TimeZone that covers much of the midwestern United States.")
	(%3AhasInstanceTypes TimeZone)
	(%3ALOAD-SEQUENCE 1945))

([Century] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1282])
	(%3ALOAD-SEQUENCE 3016))

([Certificate] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0740])
	(%3ALOAD-SEQUENCE 1746))

([Chair] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0940])
	(%3ALOAD-SEQUENCE 2246))

([Chairman] of Position
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Chairman")
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3AhasInstanceTypes Position)
	(%3ALOAD-SEQUENCE 3546))

([ChangeOfPossession] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0525]
		[UAX-0526])
	(relatedInternalConcept [possesses])
	(%3ALOAD-SEQUENCE 1259))

([Chapter] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1162])
	(%3ALOAD-SEQUENCE 2741))

([Character] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0067])
	(%3ALOAD-SEQUENCE 162))

([ChargingAFee] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3297))

([Check] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1390]
		[UAX-1391]
		[UAX-1392]
		[UAX-1393]
		[UAX-1394]
		[UAX-1395]
		[UAX-1396])
	(%3ALOAD-SEQUENCE 3306))

([checkAccount] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "checkAccount")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 3320)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([CheckingAccount] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1403])
	(%3ALOAD-SEQUENCE 3335))

([ChemicalDecomposition] of %3ASYN-CLASS
	(disjoint [ChemicalSynthesis])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0575])
	(%3ALOAD-SEQUENCE 1357))

([ChemicalEquilibrium] of InternalAttribute
	(%3AisInModule [MidLevel])
	(%3ASUO-name "ChemicalEquilibrium")
	(%3AAXIOMS "\n(UAX-1316)\n(=>\n   (property ?PROCESS ChemicalEquilibrium)\n   (instance ?PROCESS ChemicalProcess))\n\n(UAX-1317)\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")
	(%3Adocumentation "The &%Attribute of being in a chemically stable state, i.e. the relative proportions of &%resources and &%results will not longer change.")
	(%3AhasInstanceTypes InternalAttribute)
	(%3ALOAD-SEQUENCE 3091))

([ChemicalProcess] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0572])
	(partition
		[ChemicalSynthesis]
		[ChemicalDecomposition])
	(%3ALOAD-SEQUENCE 1352))

([ChemicalSynthesis] of %3ASYN-CLASS
	(disjoint [ChemicalDecomposition])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0573]
		[UAX-0574])
	(%3ALOAD-SEQUENCE 1354))

([Chemistry] of Science
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Chemistry")
	(%3Adocumentation "The study of the compositions, properties, and reactions of &%Substances.")
	(%3AhasInstanceTypes Science)
	(%3ALOAD-SEQUENCE 3725))

([Chewing] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1084]
		[UAX-1085]
		[UAX-1086])
	(%3ALOAD-SEQUENCE 2578))

([Chicago] of AmericanCity
	(%3ALOAD-SEQUENCE 3756)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes AmericanCity)
	(%3Adocumentation "Often referred to as the second city, Chicago is the largest city in the midwestern United States.")
	(%3ASUO-name "Chicago"))

([Chicken] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3157))

([ChickenMeat] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1341])
	(%3ALOAD-SEQUENCE 3160))

([Chiefdom] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Chiefdom")
	(subAttribute [Monarchy])
	(%3Adocumentation "A monarchy in which the monarch is a Chief.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3487))

([chiefOfState] of %3ATernarySlot
	(%3AisInModule [MidLevel])
	(%3ASUO-name "chiefOfState")
	(%3ADomain2Class Position)
	(%3AslotType "Predicate")
	(%3AAXIOMS "\n(UAX-1468)\n(=>\n	(chiefOfState ?AREA ?POSITION ?PERSON)\n	(occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA)))\n\n(UAX-1469)\n(=>\n	(and\n		(chiefOfState ?AREA ?POSITION ?PERSON)\n		(instance ?AREA Nation))\n	(citizen ?PERSON ?AREA))\n")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		%3ATernarySlot
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 3552))

([Chin] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1119]
		[UAX-1120])
	(%3ALOAD-SEQUENCE 2647))

([Chlorine] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3AClassPredicates "(atomicNumber Chlorine 17)")
	(%3ASLOT-CONSTRAINTS [UAX-1365])
	(%3ALOAD-SEQUENCE 3232))

([Christianity] of BeliefGroup
	(%3ALOAD-SEQUENCE 3713)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes BeliefGroup)
	(%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.")
	(%3ASUO-name "Christianity"))

([ChristianService] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1021])
	(%3ALOAD-SEQUENCE 2431))

([CigarOrCigarette] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2240))

([Circle] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-0857])
	(%3ALOAD-SEQUENCE 2035))

([citizen] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "citizen")
	(%3AisInModule [OBJECTS])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 1870)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		AsymmetricRelation))

([CitizenryFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-1025)\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])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [ResidentFn])
	(%3ALOAD-SEQUENCE 2439)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction))

([City] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1542))

([cityAddress] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "cityAddress")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [address])
	(%3ALOAD-SEQUENCE 2328)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([CityDistrict] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1027])
	(%3ALOAD-SEQUENCE 2443))

([CivilWar] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1323])
	(%3ALOAD-SEQUENCE 3113))

([claimedTerritory] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "claimedTerritory")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 3472)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([Class] of %3ASYN-CLASS
	(disjoint [Set])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ALOAD-SEQUENCE 248))

([ClassFunct%240000] of %3AClassPreds
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1642)
	(%3AargumentList
		"subclass"
		"Air"
		"(ExtensionFn Gas)")
	(%3AliteralTranscription "(subclass Air (ExtensionFn Gas))"))

([ClassFunct%240001] of %3AClassPreds
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1642)
	(%3AargumentList
		"subclass"
		"Air"
		"(ExtensionFn OneAtmospherePressure)")
	(%3AliteralTranscription "(subclass Air (ExtensionFn OneAtmospherePressure))"))

([ClassFunct%240017] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3415)
	(%3AargumentList
		"subclass"
		"Atmosphere"
		"(ExtensionFn Gas)")
	(%3AliteralTranscription "(subclass Atmosphere (ExtensionFn Gas))"))

([ClassFunct%240019] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3420)
	(%3AargumentList
		"subclass"
		"FlowRegion"
		"(ExtensionFn Fluid)")
	(%3AliteralTranscription "(subclass FlowRegion (ExtensionFn Fluid))"))

([Classifying] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ALOAD-SEQUENCE 1301))

([ClassPred0002] of %3AClassPreds
	(%3AisInModule [QUALITIES])
	(%3ALOAD-SEQUENCE 1987)
	(%3AargumentList
		"exhaustiveAttribute"
		"PhysicalState"
		"Solid"
		"Fluid"
		"Liquid"
		"Gas")
	(%3AliteralTranscription "(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)"))

([ClassPred0003] of %3AClassPreds
	(%3AisInModule [QUALITIES])
	(%3ALOAD-SEQUENCE 2077)
	(%3AargumentList
		"exhaustiveAttribute"
		"AnimacyAttribute"
		"Living"
		"Dead")
	(%3AliteralTranscription "(exhaustiveAttribute AnimacyAttribute Living Dead)"))

([ClassPred0004] of %3AClassPreds
	(%3AisInModule [QUALITIES])
	(%3ALOAD-SEQUENCE 2082)
	(%3AargumentList
		"exhaustiveAttribute"
		"SexAttribute"
		"Female"
		"Male")
	(%3AliteralTranscription "(exhaustiveAttribute SexAttribute Female Male)"))

([ClassPred0005] of %3AClassPreds
	(%3AisInModule [QUALITIES])
	(%3ALOAD-SEQUENCE 2089)
	(%3AargumentList
		"exhaustiveAttribute"
		"DevelopmentalAttribute"
		"FullyFormed"
		"NonFullyFormed")
	(%3AliteralTranscription "(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed)"))

([ClassPred0006] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3230)
	(%3AargumentList
		"atomicNumber"
		"Oxygen"
		"8")
	(%3AliteralTranscription "(atomicNumber Oxygen 8)"))

([ClassPred0007] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3232)
	(%3AargumentList
		"atomicNumber"
		"Chlorine"
		"17")
	(%3AliteralTranscription "(atomicNumber Chlorine 17)"))

([ClassPred0008] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3234)
	(%3AargumentList
		"atomicNumber"
		"Sodium"
		"11")
	(%3AliteralTranscription "(atomicNumber Sodium 11)"))

([ClassPred0009] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3236)
	(%3AargumentList
		"atomicNumber"
		"Hydrogen"
		"1")
	(%3AliteralTranscription "(atomicNumber Hydrogen 1)"))

([ClassPred0010] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3238)
	(%3AargumentList
		"atomicNumber"
		"Carbon"
		"6")
	(%3AliteralTranscription "(atomicNumber Carbon 6)"))

([ClassPred0011] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3240)
	(%3AargumentList
		"atomicNumber"
		"Iodine"
		"53")
	(%3AliteralTranscription "(atomicNumber Iodine 53)"))

([ClassPred0012] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3242)
	(%3AargumentList
		"atomicNumber"
		"Iron"
		"26")
	(%3AliteralTranscription "(atomicNumber Iron 26)"))

([ClassPred0013] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3244)
	(%3AargumentList
		"atomicNumber"
		"Helium"
		"2")
	(%3AliteralTranscription "(atomicNumber Helium 2)"))

([ClassPred0014] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3246)
	(%3AargumentList
		"atomicNumber"
		"Nitrogen"
		"7")
	(%3AliteralTranscription "(atomicNumber Nitrogen 7)"))

([ClassPred0015] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3248)
	(%3AargumentList
		"atomicNumber"
		"Copper"
		"29")
	(%3AliteralTranscription "(atomicNumber Copper 29)"))

([ClassPred0016] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3250)
	(%3AargumentList
		"atomicNumber"
		"Zinc"
		"30")
	(%3AliteralTranscription "(atomicNumber Zinc 30)"))

([ClassPred0018] of %3AClassPreds
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3415)
	(%3AargumentList
		":hasRequiredAttribute"
		"Atmosphere"
		"ShellShaped")
	(%3AliteralTranscription "(:hasRequiredAttribute Atmosphere ShellShaped)"))

([ClassPred0020] of %3AClassPreds
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 338)
	(%3AargumentList
		"subAttribute"
		"Hybrid-SystemBehavior"
		"Transient-SystemBehavior")
	(%3AliteralTranscription "(subAttribute Hybrid-SystemBehavior Transient-SystemBehavior)"))

([ClassPred0021] of %3AClassPreds
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 338)
	(%3AargumentList
		"subAttribute"
		"Hybrid-SystemBehavior"
		"Periodic-SystemBehavior")
	(%3AliteralTranscription "(subAttribute Hybrid-SystemBehavior Periodic-SystemBehavior)"))

([ClassPred0022] of %3AClassPreds
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 422)
	(%3AargumentList
		"exhaustiveDecomposition"
		"UniformResourceIdentifier"
		"UniformResourceLocator"
		"UniformResourceName")
	(%3AliteralTranscription "(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName)"))

([Clay] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1451])
	(%3ALOAD-SEQUENCE 3458))

([Cleric] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1350])
	(%3ALOAD-SEQUENCE 3187))

([ClericalSecretary] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3006))

([Clock] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0926])
	(%3ALOAD-SEQUENCE 2211))

([closedOn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0151)\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-0152)\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])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 394)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		AsymmetricRelation))

([ClosedTwoDimensionalFigure] of %3ASYN-CLASS
	(disjoint [OpenTwoDimensionalFigure])
	(%3AisInModule [QUALITIES])
	(%3ALOAD-SEQUENCE 2024))

([Closing] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(relatedInternalConcept
		[Opening]
		[Opening])
	(%3ALOAD-SEQUENCE 3214))

([ClosingContract] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1359])
	(%3ALOAD-SEQUENCE 3211))

([ClosingEyes] of %3ASYN-CLASS
	(disjoint [OpeningEyes])
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3140))

([Clothing] of %3ASYN-CLASS
	(disjoint [StationaryArtifact])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0756])
	(%3ALOAD-SEQUENCE 1787))

([ClothingSuit] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0958])
	(%3ALOAD-SEQUENCE 2287))

([Cloud] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0686])
	(%3ALOAD-SEQUENCE 1637))

([Coach] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3183))

([Coat] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2280))

([coding] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "coding")
	(%3AisInModule [CoreComponents])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 7)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryRelation))

([CodingScheme] of %3ASYN-CLASS
	(%3AisInModule [CoreComponents])
	(%3ALOAD-SEQUENCE 2))

([Coffee] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3220))

([CognitiveAgent] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ALOAD-SEQUENCE 187))

([ColdBloodedVertebrate] of %3ASYN-CLASS
	(disjoint [WarmBloodedVertebrate])
	(%3AisInModule [OBJECTS])
	(disjointDecomposition
		[Amphibian]
		[Fish]
		[Reptile])
	(%3ALOAD-SEQUENCE 1602))

([Collage] of %3ASYN-CLASS
	(disjoint [RepresentationalArtWork])
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2221))

([Collateral] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3376))

([Collection] of %3ASYN-CLASS
	(disjoint [SelfConnectedObject])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0065])
	(%3ALOAD-SEQUENCE 155))

([collectRate] of %3ASKIF-SLOT
	(%3ADomain1Type Class)
	(%3ASUO-name "collectRate")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [frequency])
	(%3ALOAD-SEQUENCE 544)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([College] of %3ASYN-CLASS
	(disjoint
		[JuniorCollege]
		[University])
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2875))

([Colonel] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3015))

([ColorAttribute] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ALOAD-SEQUENCE 2004))

([Coloring] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0580])
	(%3ALOAD-SEQUENCE 1368))

([COM%24Collage%242221%24001] of %3AEmbeddedComment
	(%3ASUO-name "COM$Collage$2221$001")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2221)
	(%3AblockLineNumber 1)
	(%3AcommentLines
		"(subclass Collage ArtWork)"
		";;(subclass Collage (ComplementFn RepresentationalArtWork))"))

([COM%24ComputerMemory%24025%24001] of %3AEmbeddedComment
	(%3ASUO-name "COM$ComputerMemory$025$001")
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 25)
	(%3AblockLineNumber 1)
	(%3AcommentLines
		"(subclass ComputerMemory ComputerComponent)"
		";; (subclass ComputerMemory ComputerHardware)"))

([COM%24contraryAttribute%24060%24004] of %3AEmbeddedComment
	(%3ASUO-name "COM$contraryAttribute$060$004")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ALOAD-SEQUENCE 60)
	(%3AblockLineNumber 4)
	(%3AcommentLines
		"(domain contraryAttribute 2 Attribute)"
		";; domain 2 added 1/16/04 for Protege alignment"))

([COM%24CPUUtilizationFn%24324%24001] of %3AEmbeddedComment
	(%3ASUO-name "COM$CPUUtilizationFn$324$001")
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 324)
	(%3AblockLineNumber 1)
	(%3AcommentLines
		"(instance CPUUtilizationFn UnaryFunction)"
		";;(subrelation CPUUtilizationFn UnaryFunction)"))

([COM%24HardDiskDrive%24027%24001] of %3AEmbeddedComment
	(%3ASUO-name "COM$HardDiskDrive$027$001")
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 27)
	(%3AblockLineNumber 1)
	(%3AcommentLines
		"(subclass HardDiskDrive ComputerComponent)"
		";; (subclass HardDiskDrive ComputerHardware)"))

([COM%24MedicalClinic%242403%24001] of %3AEmbeddedComment
	(%3ASUO-name "COM$MedicalClinic$2403$001")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2403)
	(%3AblockLineNumber 1)
	(%3AcommentLines
		"(subclass MedicalClinic CareOrganization)"
		";;(subclass MedicalClinic (ComplementFn Residence))"))

([COM%24MimeEnrichedText%24016%24001] of %3AEmbeddedComment
	(%3ASUO-name "COM$MimeEnrichedText$016$001")
	(%3AisInModule [CoreComponents])
	(%3ALOAD-SEQUENCE 16)
	(%3AblockLineNumber 1)
	(%3AcommentLines
		"(subclass MimeEnrichedText MimeText)"
		"; many other subtypes should follow..."))

([COM%24names%24463%24003] of %3AEmbeddedComment
	(%3ASUO-name "COM$names$463$003")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ALOAD-SEQUENCE 463)
	(%3AblockLineNumber 3)
	(%3AcommentLines
		"(inverse names :hasName)"
		";; :hasName is a built-in SKIFcore relation"))

([COM%24Trembling%243144%24001] of %3AEmbeddedComment
	(%3ASUO-name "COM$Trembling$3144$001")
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3144)
	(%3AblockLineNumber 1)
	(%3AcommentLines
		"(subclass Trembling BodyMotion)"
		";;(subclass Trembling (ComplementFn IntentionalProcess))"))

([Combining] of %3ASYN-CLASS
	(disjoint [Separating])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0571])
	(%3ALOAD-SEQUENCE 1349))

([Combustion] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0576])
	(%3ALOAD-SEQUENCE 1359))

([commandLineArguments] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "commandLineArguments")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 316)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([CommercialAgent] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1822))

([CommercialBuilding] of %3ASYN-CLASS
	(disjoint [CommercialUnit])
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2361))

([CommercialService] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0538]
		[UAX-0539]
		[UAX-0540])
	(%3ALOAD-SEQUENCE 1284))

([CommercialUnit] of %3ASYN-CLASS
	(disjoint [CommercialBuilding])
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0990])
	(%3ALOAD-SEQUENCE 2362))

([Commission] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1035])
	(%3ALOAD-SEQUENCE 2468))

([Committing] of %3ASYN-CLASS
	(disjoint
		[Stating]
		[Supposing]
		[Directing]
		[Declaring]
		[ExpressingInLanguage])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0613])
	(%3ALOAD-SEQUENCE 1437))

([CommonCarrier] of %3ASYN-CLASS
	(disjoint [ContractCarrier])
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3618))

([Commonwealth] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Commonwealth")
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3506))

([CommunalLandOwnershipEconomy] of EconomicSystemAttribute
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CommunalLandOwnershipEconomy")
	(subAttribute [SocialistEconomy])
	(%3Adocumentation "An attribute of an economic system.")
	(%3AhasInstanceTypes EconomicSystemAttribute)
	(%3ALOAD-SEQUENCE 3647))

([Communication] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0602])
	(relatedInternalConcept
		[ContentDevelopment]
		[CommunicationDevice]
		[CommunicationDevice])
	(%3ALOAD-SEQUENCE 1411))

([CommunicationDevice] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1488]
		[UAX-1489])
	(relatedInternalConcept [Communication])
	(%3ALOAD-SEQUENCE 3622))

([CommunistState] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CommunistState")
	(subAttribute [AuthoritarianRegime])
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3517))

([CommutativeFunction] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0143])
	(%3ALOAD-SEQUENCE 374))

([CompactOfFreeAssociationWithNewZealand] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CompactOfFreeAssociationWithNewZealand")
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3526))

([CompactOfFreeAssociationWithUnitedStates] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "CompactOfFreeAssociationWithUnitedStates")
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3525))

([Comparing] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ALOAD-SEQUENCE 1312))

([ComplementFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "ComplementFn")
	(%3AisInModule [SET%2FCLASS_THEORY])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 570)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction
		TotalValuedRelation))

([completelyFills] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0450)\n(=>\n	(completelyFills ?OBJ1 ?HOLE)\n	(exists (?OBJ2)\n		(and\n			(part ?OBJ2 ?OBJ1)\n			(fills ?OBJ2 ?HOLE))))\n")
	(%3ASUO-name "completelyFills")
	(%3AisInModule [MEREOTOPOLOGY])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [partiallyFills])
	(%3ALOAD-SEQUENCE 1088)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		SpatialRelation
		BinaryPredicate))

([complexity] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "complexity")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [property])
	(%3ALOAD-SEQUENCE 378)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([ComplexityAttribute] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 376))

([ComplexNumber] of %3ASYN-CLASS
	(disjoint
		[RealNumber]
		[ImaginaryNumber])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0083])
	(%3ALOAD-SEQUENCE 233))

([component] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "component")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [part])
	(%3ALOAD-SEQUENCE 126)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		SpatialRelation))

([componentDataID] of %3AQuaternarySlot
	(%3ADomain1Type Instance)
	(%3ADomain2Class ComputerComponent)
	(%3ALOAD-SEQUENCE 204)
	(%3AslotType "Predicate")
	(%3ASUO-name "componentDataID")
	(%3ADomain3Class ComputerComponent)
	(%3AAXIOMS "\n(UAX-1551)\n(=>\n    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)\n    (instance ?Instance ?Component))\n\n(UAX-1552)\n(=>\n    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)\n    (unitMeasuringPerformance ?Instance ?Unit))\n\n(UAX-1553)\n(=>\n    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)\n    (refers ?Number ?Instance))\n")
	(%3ADomain3Type Instance)
	(%3AisInModule [QualityOfService])
	(%3AhasInstanceTypes
		%3AQuaternarySlot
		QuintaryPredicate)
	(%3ADomain2Type Class))

([Composing] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1140])
	(%3ALOAD-SEQUENCE 2691))

([CompoundSubstance] of %3ASYN-CLASS
	(disjoint [ElementalSubstance])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ALOAD-SEQUENCE 146))

([ComputationalSystem] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 8))

([Computer] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 10))

([ComputerComponent] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 181))

([ComputerData] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS [UAX-1588])
	(%3ALOAD-SEQUENCE 469))

([ComputerDirectory] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 40))

([ComputerFile] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 38))

([ComputerHardware] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 22))

([ComputerImage] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 472))

([ComputerInputDevice] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 102))

([ComputerLanguage] of %3ASYN-CLASS
	(disjoint
		[AnimalLanguage]
		[HumanLanguage])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0069])
	(%3ALOAD-SEQUENCE 172))

([ComputerMemory] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 25))

([ComputerNetwork] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 12))

([ComputerOutputDevice] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 104))

([ComputerPassword] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS [UAX-1599])
	(%3ALOAD-SEQUENCE 522))

([ComputerPath] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 259))

([ComputerPathAttribute] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS [UAX-1561])
	(%3ALOAD-SEQUENCE 266))

([ComputerProcess] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS
		[UAX-1519]
		[UAX-1520])
	(%3ALOAD-SEQUENCE 34))

([ComputerProgram] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ALOAD-SEQUENCE 1877))

([ComputerReport] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 527))

([ComputerResource] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS [UAX-1585])
	(%3ALOAD-SEQUENCE 456))

([ComputerResponse] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 439))

([computerRunning] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "computerRunning")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [instrument])
	(%3ALOAD-SEQUENCE 45)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([ComputerStatus] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 531))

([ComputerTask] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS [UAX-1584])
	(%3ALOAD-SEQUENCE 453))

([ComputerUser] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS [UAX-1580])
	(%3ALOAD-SEQUENCE 433))

([conclusion] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "conclusion")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AidenticalTo
		"DescendantsFn"
		"conclusion")
	(%3ALOAD-SEQUENCE 2397)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		SingleValuedRelation
		TotalValuedRelation
		%3ASKIF-SLOT))

([Concrete] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1504]
		[UAX-1505]
		[UAX-1506])
	(%3ALOAD-SEQUENCE 3679))

([Concurrency-FormOfAdaptation] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 368))

([Condensing] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0645]
		[UAX-0646])
	(%3ALOAD-SEQUENCE 1503))

([conditionalProbability] of %3ATernarySlot
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "conditionalProbability")
	(%3ADomain2Class Formula)
	(%3AslotType "Predicate")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		%3ATernarySlot
		ProbabilityRelation
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 294))

([CondominiumBuilding] of %3ASYN-CLASS
	(disjoint [SingleFamilyResidence])
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0987])
	(%3ALOAD-SEQUENCE 2355))

([CondominiumUnit] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-0984]
		[UAX-0985])
	(%3ALOAD-SEQUENCE 2349))

([ConfederateSoldier] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3009))

([confersObligation] of %3ATernarySlot
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "confersObligation")
	(%3ADomain2Class Entity)
	(%3AslotType "Predicate")
	(%3AAXIOMS "\n(UAX-0170)\n(=>\n   (confersObligation ?FORMULA ?AGENT1 ?AGENT2)\n   (holdsObligation ?FORMULA ?AGENT2))\n")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(relatedInternalConcept [confersRight])
	(%3AhasInstanceTypes
		%3ATernarySlot
		%3ATernarySlot
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 434))

([confersRight] of %3ATernarySlot
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "confersRight")
	(%3ADomain2Class Entity)
	(%3AslotType "Predicate")
	(%3AAXIOMS "\n(UAX-0169)\n(=>\n   (confersRight ?FORMULA ?AGENT1 ?AGENT2)\n   (holdsRight ?FORMULA ?AGENT2))\n")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(relatedInternalConcept
		[confersObligation]
		[confersObligation])
	(%3AhasInstanceTypes
		%3ATernarySlot
		%3ATernarySlot
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 431))

([Confining] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0559]
		[UAX-0560])
	(%3ALOAD-SEQUENCE 1325))

([conjugate] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0967)\n(=>\n   (conjugate ?COMPOUND1 ?COMPOUND2)\n   (exists (?NUMBER1 ?NUMBER2)\n      (and\n         (protonNumber ?COMPOUND1 ?NUMBER1)\n         (protonNumber ?COMPOUND2 ?NUMBER2)\n         (or\n            (equal ?NUMBER1 (AdditionFn ?NUMBER2 1))\n            (equal ?NUMBER2 (AdditionFn ?NUMBER1 1))))))\n")
	(%3ASUO-name "conjugate")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 2306)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		IrreflexiveRelation
		SymmetricRelation
		TransitiveRelation))

([connected] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(disjointRelation [crosses])
	(%3AAXIOMS "\n(UAX-0417)\n(=>\n     (connected ?OBJ1 ?OBJ2)\n     (or\n          (meetsSpatially ?OBJ1 ?OBJ2)\n          (overlapsSpatially ?OBJ1 ?OBJ2)))\n\n(UAX-0418)\n(<=>\n   (instance ?OBJ SelfConnectedObject)\n   (forall (?PART1 ?PART2)\n      (=>\n        (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))\n        (connected ?PART1 ?PART2))))\n")
	(%3ASUO-name "connected")
	(%3AisInModule [MEREOTOPOLOGY])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 1023)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		SpatialRelation
		ReflexiveRelation
		SymmetricRelation))

([connectedEngineeringComponents] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0771)\n(=>\n   (connectedEngineeringComponents ?COMP1 ?COMP2)\n   (and\n      (not\n         (engineeringSubcomponent ?COMP1 ?COMP2))\n      (not\n         (engineeringSubcomponent ?COMP2 ?COMP1))))\n\n(UAX-0772)\n(=>\n   (connectedEngineeringComponents ?COMP1 ?COMP2)\n   (not\n      (or\n         (instance ?COMP1 EngineeringConnection)\n         (instance ?COMP2 EngineeringConnection))))\n\n(UAX-0773)\n(<=>\n   (connectedEngineeringComponents ?COMP1 ?COMP2)\n   (exists (?CONNECTION)\n      (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))\n")
	(%3ASUO-name "connectedEngineeringComponents")
	(%3AisInModule [OBJECTS])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [connected])
	(%3ALOAD-SEQUENCE 1814)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		SymmetricRelation
		IrreflexiveRelation
		BinaryPredicate
		SpatialRelation))

([connects] of %3ATernarySlot
	(%3AisInModule [MEREOTOPOLOGY])
	(%3ASUO-name "connects")
	(%3ADomain2Class SelfConnectedObject)
	(%3AslotType "Predicate")
	(%3AAXIOMS "\n(UAX-0419)\n(<=>\n   (connects ?OBJ1 ?OBJ2 ?OBJ3)\n   (and\n      (connected ?OBJ1 ?OBJ2)\n      (connected ?OBJ1 ?OBJ3)\n      (not\n         (connected ?OBJ2 ?OBJ3))))\n")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		%3ATernarySlot
		SpatialRelation
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 1026))

([connectsEngineeringComponents] of %3ATernarySlot
	(%3AisInModule [OBJECTS])
	(%3AisaSubrelationOf [connects])
	(%3ASUO-name "connectsEngineeringComponents")
	(%3ADomain2Class EngineeringComponent)
	(%3AslotType "Predicate")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		SpatialRelation
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 1820))

([ConsciousnessAttribute] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-0884])
	(%3ALOAD-SEQUENCE 2105))

([considers] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "considers")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [inScopeOfInterest])
	(%3ALOAD-SEQUENCE 320)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		PropositionalAttitude
		BinaryPredicate
		IntentionalRelation))

([consistent] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "consistent")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AidenticalTo
		"DescendantsFn"
		"consistent")
	(%3ALOAD-SEQUENCE 2398)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		SymmetricRelation
		%3ASKIF-SLOT))

([ConsoleApplication] of ComputerProgram
	(%3Adocumentation "A Program which is started inside an Xterm or other console.")
	(%3ALOAD-SEQUENCE 132)
	(%3ASUO-name "ConsoleApplication")
	(%3AisInModule [QualityOfService])
	(%3AhasInstanceTypes ComputerProgram))

([ConstantQuantity] of %3ASYN-CLASS
	(disjoint [FunctionQuantity])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ALOAD-SEQUENCE 236))

([ConstitutionalDemocracy] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "ConstitutionalDemocracy")
	(subAttribute [ConstitutionalGovernment])
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3499))

([ConstitutionalDemocraticRepublic] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "ConstitutionalDemocraticRepublic")
	(subAttribute
		[Democracy]
		[Republic])
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3503))

([ConstitutionalGovernment] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "ConstitutionalGovernment")
	(%3Adocumentation "&%ConstitutionalGovernment is the attribute of a government whose authority and rule are guided by principles expressed in a written &%Constitution.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3500))

([ConstitutionalMonarchy] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "ConstitutionalMonarchy")
	(subAttribute
		[Monarchy]
		[ConstitutionalGovernment])
	(%3Adocumentation "A monarchy in which the power of the monarch is limited by a constitution, written or unwritten. The United Kingdom is an example.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3488))

([ConstitutionalParliamentaryDemocracy] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "ConstitutionalParliamentaryDemocracy")
	(subAttribute
		[ParliamentaryGovernment]
		[Democracy]
		[ConstitutionalDemocracy])
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3502))

([ConstitutionalRepublic] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "ConstitutionalRepublic")
	(subAttribute
		[Republic]
		[ConstitutionalGovernment])
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3501))

([ConstrictorSnake] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2622))

([ConstructedLanguage] of %3ASYN-CLASS
	(disjoint [NaturalLanguage])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0071])
	(%3ALOAD-SEQUENCE 176))

([Constructing] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0591])
	(%3ALOAD-SEQUENCE 1391))

([Container] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0945])
	(%3ALOAD-SEQUENCE 2260))

([contains] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(disjointRelation [part])
	(%3AAXIOMS "\n(UAX-0054)\n(<=>\n   (contains ?OBJ1 ?OBJ2)\n   (exists (?HOLE)\n      (and\n         (hole ?HOLE ?OBJ1)\n         (properlyFills ?OBJ2 ?HOLE))))\n")
	(%3ASUO-name "contains")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [partlyLocated])
	(%3ALOAD-SEQUENCE 128)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		SpatialRelation
		AsymmetricRelation
		BinaryPredicate))

([containsInformation] of %3ASKIF-SLOT
	(relatedInternalConcept
		[ContentBearingObject]
		[ContentBearingObject]
		[realization]
		[realization])
	(%3ADomain1Type Instance)
	(%3ASUO-name "containsInformation")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [represents])
	(%3ALOAD-SEQUENCE 164)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		AsymmetricRelation))

([ContentBearingObject] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(relatedInternalConcept [containsInformation])
	(%3ALOAD-SEQUENCE 160))

([ContentDevelopment] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0582])
	(relatedInternalConcept [Communication])
	(%3ALOAD-SEQUENCE 1372))

([Contest] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0620])
	(%3ALOAD-SEQUENCE 1451))

([ContestAttribute] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS [UAX-0834])
	(%3ALOAD-SEQUENCE 1967))

([contestParticipant] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "contestParticipant")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [agent])
	(%3ALOAD-SEQUENCE 3112)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		CaseRole))

([Continent] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0657])
	(%3ALOAD-SEQUENCE 1533))

([ContinuousFunction] of %3ASYN-CLASS
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ALOAD-SEQUENCE 380))

([ContinuousPath] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 281))

([Contract] of DeonticAttribute
	(%3AisInModule [QUALITIES])
	(contraryAttribute [NakedPromise])
	(subAttribute [Promise])
	(%3Adocumentation "&%Attribute that applies to &%Propositions where something is promised in return, i.e. a reciprocal promise.")
	(%3ALOAD-SEQUENCE 1982))

([ContractCarrier] of %3ASYN-CLASS
	(disjoint [CommonCarrier])
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3619))

([contraryAttribute] of %3AVariableAritySlot
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "contraryAttribute")
	(%3AslotType "Predicate")
	(%3AAXIOMS "\n(UAX-0033)\n(=>\n   (contraryAttribute @ROW)\n   (=>\n      (inList ?ELEMENT (ListFn @ROW))\n      (instance ?ELEMENT Attribute)))\n\n(UAX-0034)\n(=>\n   (contraryAttribute @ROW)\n   (forall (?ATTR1 ?ATTR2)\n      (=>\n         (and\n            (equal ?ATTR1 (ListOrderFn (ListFn @ROW) ?NUMBER1))\n            (equal ?ATTR2 (ListOrderFn (ListFn @ROW) ?NUMBER2))\n            (not (equal ?NUMBER1 ?NUMBER2)))\n         (=>\n            (property ?OBJ ?ATTR1)\n            (not (property ?OBJ ?ATTR2))))))\n")
	(%3ADomain1Type Instance)
	(%3AhasInstanceTypes
		%3AVariableAritySlot
		Predicate
		VariableArityRelation)
	(%3ALOAD-SEQUENCE 60))

([contraryAttribute%247] of %3AProposition
	(%3Adocumentation "A &%Promise where nothing is promised in return, i.e. a nudum pactum.")
	(%3AisInModule [QUALITIES])
	(%3ALOAD-SEQUENCE 1986)
	(%3AargumentList
		"contraryAttribute"
		"NakedPromise"
		"Contract")
	(%3AliteralTranscription "(contraryAttribute NakedPromise Contract)"))

([ControlledSubstance] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3676))

([cooccur] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0346)\n(<=>\n   (cooccur ?PHYS1 ?PHYS2)\n   (equal (WhenFn ?PHYS1) (WhenFn ?PHYS2)))\n")
	(%3ASUO-name "cooccur")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 902)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		TemporalRelation
		EquivalenceRelation))

([Cooking] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0593])
	(%3ALOAD-SEQUENCE 1396))

([Cooling] of %3ASYN-CLASS
	(disjoint [Heating])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0500])
	(%3ALOAD-SEQUENCE 1197))

([Cooperation] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0617])
	(%3ALOAD-SEQUENCE 1446))

([CoordinatedUniversalTimeZone] of TimeZone
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "CoordinatedUniversalTimeZone")
	(%3Adocumentation "A &%TimeZone which functions as the standard time zone.  It is also known as Zulu time (in the military), Greenwich Mean Time, and the Western European time zone.  Note that whenever a &%TimeZone is not specified, the &%TimePosition is understood to be with respect to the &%CoordinatedUniversalTimeZone.")
	(%3AhasInstanceTypes TimeZone)
	(%3ALOAD-SEQUENCE 1940))

([Copper] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3AClassPredicates "(atomicNumber Copper 29)")
	(%3ASLOT-CONSTRAINTS [UAX-1373])
	(%3ALOAD-SEQUENCE 3248))

([copy] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0162)\n(=>\n   (copy ?OBJ1 ?OBJ2)\n   (forall (?ATTR)\n      (=>\n         (attribute ?OBJ1 ?ATTR)\n         (attribute ?OBJ2 ?ATTR))))\n")
	(%3ASUO-name "copy")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 415)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		EquivalenceRelation))

([Copying] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1343])
	(%3ALOAD-SEQUENCE 3165))

([CoreComponents] of %3AModule
	(%3ASUO-name "CoreComponents")
	(%3AinputFile "..\\cctrep2.txt")
	(%3Adocumentation ";; <module>CoreComponents</module>  Nov. 19, 2004 CCT knowledge not already in SUMO + MILO + QoS ontologyAuthor: Adam Pease adampease@earthlink.net\n")
	(%3AStartingBlock 1))

([Corporation] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1823))

([CorpuscularObject] of %3ASYN-CLASS
	(disjoint [Substance])
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASLOT-CONSTRAINTS [UAX-0063])
	(%3ALOAD-SEQUENCE 151))

([CosineFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "CosineFn")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 502)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction
		TotalValuedRelation))

([Coulomb] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ALOAD-SEQUENCE 722))

([Counting] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0554])
	(%3ALOAD-SEQUENCE 1316))

([County] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1030])
	(%3ALOAD-SEQUENCE 2449))

([couponInterest] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "couponInterest")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 3362)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([CourtRoom] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1209])
	(%3ALOAD-SEQUENCE 2846))

([Covering] of %3ASYN-CLASS
	(disjoint [Uncovering])
	(%3AisInModule [PROCESSES])
	(%3ALOAD-SEQUENCE 1230))

([Cow] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3154))

([CPU] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 29))

([CPUUtilizationFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "CPUUtilizationFn")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 324)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction))

([Creation] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0589]
		[UAX-0590])
	(relatedInternalConcept [Destruction])
	(%3ALOAD-SEQUENCE 1387))

([CreditUnion] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3260))

([CreoleLanguage] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3692))

([CriminalAction] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1149])
	(%3ALOAD-SEQUENCE 2712))

([criticalityLevel] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "criticalityLevel")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 142)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([crosses] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(disjointRelation [connected])
	(%3ASUO-name "crosses")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [traverses])
	(%3ALOAD-SEQUENCE 447)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		SpatialRelation))

([Crustacean] of %3ASYN-CLASS
	(disjoint
		[Arachnid]
		[Myriapod]
		[Insect])
	(%3AisInModule [OBJECTS])
	(%3ALOAD-SEQUENCE 1601))

([Cuba] of Nation
	(%3ALOAD-SEQUENCE 3741)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes Nation)
	(%3Adocumentation "An &%Island &%Nation in the Carribbean.")
	(%3ASUO-name "Cuba"))

([CubicFoot] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1487])
	(%3ALOAD-SEQUENCE 3610))

([Cup] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0950])
	(%3ALOAD-SEQUENCE 2270))

([CupMeasure] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-0293])
	(%3ALOAD-SEQUENCE 785))

([Currency] of %3ASYN-CLASS
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0741])
	(partition
		[CurrencyBill]
		[CurrencyCoin])
	(%3ALOAD-SEQUENCE 1749))

([CurrencyBill] of %3ASYN-CLASS
	(disjoint [CurrencyCoin])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0742])
	(%3ALOAD-SEQUENCE 1751))

([CurrencyCoin] of %3ASYN-CLASS
	(disjoint [CurrencyBill])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS [UAX-0743])
	(%3ALOAD-SEQUENCE 1753))

([CurrencyMeasure] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ALOAD-SEQUENCE 653))

([currencyType] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "currencyType")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 3673)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([currentAccountBalance] of %3ATernarySlot
	(%3AisInModule [MidLevel])
	(%3ASUO-name "currentAccountBalance")
	(%3ADomain2Class Day)
	(%3AslotType "Predicate")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		%3ATernarySlot
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 3285))

([customer] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-1384)\n(<=>\n	(customer ?Agent ?Org)\n	(exists (?Service)\n		(and\n			(instance ?Service CommercialService)\n			(agent ?Service ?Org)\n			(destination ?Service ?Agent))))\n\n(UAX-1385)\n(=>\n	(and\n		(accountHolder ?Account ?Agent)\n		(financialAccount ?Account ?Bank))\n	(customer ?Agent ?Bank))\n")
	(%3ASUO-name "customer")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 3290)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		IrreflexiveRelation
		AsymmetricRelation
		BinaryPredicate))

([CutSetFn] of %3ASKIF-SLOT
	(relatedInternalConcept
		[MinimalCutSetFn]
		[MinimalCutSetFn])
	(%3ADomain1Type Instance)
	(%3ASUO-name "CutSetFn")
	(%3AisInModule [GRAPH_THEORY])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 636)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction))

([Cutting] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ALOAD-SEQUENCE 1344))

([Cycle] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3599))

([Dallas] of AmericanCity
	(%3ALOAD-SEQUENCE 3757)
	(%3AisInModule [MidLevel])
	(%3AhasInstanceTypes AmericanCity)
	(%3Adocumentation "A large &%City in northeastern Texas.")
	(%3ASUO-name "Dallas"))

([Damaging] of %3ASYN-CLASS
	(disjoint [Repairing])
	(%3AisInModule [PROCESSES])
	(%3ALOAD-SEQUENCE 1335))

([Damp] of SaturationAttribute
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "Damp")
	(contraryAttribute [Dry])
	(%3Adocumentation "An &%Attribute which indicates that the associated &%Object contains some &%Liquid.")
	(%3AhasInstanceTypes SaturationAttribute)
	(%3ALOAD-SEQUENCE 2062))

([Dancing] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ALOAD-SEQUENCE 1216))

([Database] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 474))

([DataCompression] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS [UAX-1591])
	(%3ALOAD-SEQUENCE 486))

([dataID] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "dataID")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 199)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([dataProcessed] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "dataProcessed")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [patient])
	(%3ALOAD-SEQUENCE 476)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([DataSaving] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS [UAX-1590])
	(%3ALOAD-SEQUENCE 483))

([DataSink] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS [UAX-1579])
	(%3ALOAD-SEQUENCE 430))

([dataStreamSlack] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-1566)\n(=>\n    (dataStreamSlack ?Path ?Number)\n    (or\n        (property ?Path  ContinuousPath)\n        (property ?Path QuasicontinuousPath)))\n")
	(%3ASUO-name "dataStreamSlack")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 299)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([DataTransfer] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS [UAX-1518])
	(%3ALOAD-SEQUENCE 31))

([date] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "date")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [time])
	(%3ALOAD-SEQUENCE 922)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		SingleValuedRelation
		AsymmetricRelation
		TemporalRelation))

([DateFruit] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3221))

([daughter] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "daughter")
	(%3AisInModule [OBJECTS])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [parent])
	(%3ALOAD-SEQUENCE 1568)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([Day] of %3ASYN-CLASS
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASLOT-CONSTRAINTS [UAX-0392])
	(relatedInternalConcept
		[DayFn]
		[DayDuration])
	(%3ALOAD-SEQUENCE 980))

([DayDuration] of %3ASYN-CLASS
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-0279])
	(relatedInternalConcept
		[Day]
		[Day])
	(%3ALOAD-SEQUENCE 752))

([DayFn] of %3ATernarySlot
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASUO-name "DayFn")
	(%3ADomain2Class Month)
	(%3AslotType "Function")
	(%3AAXIOMS "\n(UAX-0356)\n(=>\n   (instance ?DAY (DayFn ?NUMBER ?MONTH))\n   (lessThanOrEqualTo ?NUMBER 31))\n\n(UAX-0357)\n(=>\n   (and\n      (instance ?DAY1 (DayFn ?NUMBER1 ?MONTH))\n      (instance ?DAY2 (DayFn ?NUMBER2 ?MONTH))\n      (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1))\n   (meetsTemporally ?DAY1 ?DAY2))\n")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Class)
	(relatedInternalConcept [Day])
	(%3AhasInstanceTypes
		%3ATernarySlot
		TemporalRelation
		BinaryFunction)
	(%3ALOAD-SEQUENCE 925))

([DayTime] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1287]
		[UAX-1288])
	(%3ALOAD-SEQUENCE 3025))

([Dead] of AnimacyAttribute
	(%3AisInModule [QUALITIES])
	(%3ASUO-name "Dead")
	(contraryAttribute [Living])
	(%3AAXIOMS "\n(UAX-0872)\n(=>\n   (instance ?ORG Organism)\n   (exists (?ATTR)\n      (and\n         (instance ?ATTR AnimacyAttribute)\n         (attribute ?ORG ?ATTR))))\n")
	(subAttribute [Unconscious])
	(%3Adocumentation "This &%Attribute applies to &%Organisms that are not alive.")
	(%3AhasInstanceTypes AnimacyAttribute)
	(%3ALOAD-SEQUENCE 2080))

([DeafSignLanguage] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3691))

([Death] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0464]
		[UAX-0465])
	(%3ALOAD-SEQUENCE 1122))

([Debating] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3115))

([Debt] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1380])
	(%3ALOAD-SEQUENCE 3279))

([Decade] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1283])
	(%3ALOAD-SEQUENCE 3018))

([December] of %3ASYN-CLASS
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-0390]
		[UAX-0391])
	(%3ALOAD-SEQUENCE 977))

([Deciding] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0549])
	(%3ALOAD-SEQUENCE 1305))

([Declaring] of %3ASYN-CLASS
	(disjoint
		[Stating]
		[Supposing]
		[Directing]
		[Committing]
		[ExpressingInLanguage])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0614])
	(%3ALOAD-SEQUENCE 1440))

([Decoding] of %3ASYN-CLASS
	(disjoint [Encoding])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0584])
	(%3ALOAD-SEQUENCE 1378))

([decreasesLikelihood] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(disjointRelation
		[increasesLikelihood]
		[independentProbability])
	(%3AAXIOMS "\n(UAX-0101)\n(=>\n   (and\n      (decreasesLikelihood ?FORMULA1 ?FORMULA2)\n      (equal (ProbabilityFn ?FORMULA2) ?NUMBER1)\n      (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))\n   (lessThan ?NUMBER2 ?NUMBER1))\n")
	(%3ASUO-name "decreasesLikelihood")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 297)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		ProbabilityRelation
		BinaryPredicate
		IrreflexiveRelation))

([Decreasing] of %3ASYN-CLASS
	(disjoint [Increasing])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0499])
	(relatedInternalConcept [Removing])
	(%3ALOAD-SEQUENCE 1195))

([DeductiveArgument] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(partition
		[ValidDeductiveArgument]
		[InvalidDeductiveArgument])
	(%3ALOAD-SEQUENCE 1884))

([DefaultModule] of %3AModule
	(%3ASUO-name "DefaultModule")
	(%3AinputFile "..\\cctrep2.txt")
	(%3Adocumentation "The DefaulModule is the module to which input data blocks are assigned until the first module definition block is encountered.")
	(%3AStartingBlock 0))

([defaultNetwork] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "defaultNetwork")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 234)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([DefensiveManeuver] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0628]
		[UAX-0629]
		[UAX-0630])
	(%3ALOAD-SEQUENCE 1468))

([Democracy] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Democracy")
	(%3Adocumentation "&%Democracy is the attribute of a government whose authority and rule are based in the will of the people governed.  The will of the people is usually expressed through &%Elections, direct or indirect.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3507))

([DemocraticSocialism] of EconomicSystemAttribute
	(%3AisInModule [MidLevel])
	(%3ASUO-name "DemocraticSocialism")
	(%3AAXIOMS "\n(UAX-1491)\n(=>\n	(attribute ?AREA DemocraticSocialism)\n	(governmentType ?AREA Democracy))\n")
	(subAttribute [SocialistEconomy])
	(%3Adocumentation "&%DemocraticSocialism is an &%Attribute that describes a country in which socialism is promoted by a political party or parties within a democratic government. Under &%DemocraticSocialism, the government participates in central planning of the economy and may also manage nationalized industries.")
	(%3AhasInstanceTypes EconomicSystemAttribute)
	(%3ALOAD-SEQUENCE 3644))

([Demonstrating] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0604])
	(%3ALOAD-SEQUENCE 1415))

([DenominatorFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "DenominatorFn")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 503)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction
		TotalValuedRelation))

([DensityFn] of %3ATernarySlot
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AisaSubrelationOf [PerFn])
	(%3ASUO-name "DensityFn")
	(%3ADomain2Class VolumeMeasure)
	(%3AslotType "Predicate")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		BinaryFunction
		TotalValuedRelation)
	(%3ALOAD-SEQUENCE 682))

([DeonticAttribute] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ALOAD-SEQUENCE 1974))

([dependencyDelay] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-1568)\n(=>\n    (exists (?Time1 ?Time2)\n        (and\n            (dependencyDelay ?Program1 ?Delay)\n            (dependencyType ?Program1 StartupBlock)\n            (hasDependency ?Program1 ?Program2)\n            (instance ?Process1 ComputerProcess)\n            (programRunning ?Process1 ?Program1)\n            (instance ?Process2 ComputerProcess)\n            (programRunning ?Process2 ?Program2)\n            (equal (WhenFn ?Process2) ?Time2)\n            (starts ?Time2 ?Time)\n            (equal (WhenFn ?Process1) ?Time1)\n            (equal (EndFn ?Time) (BeginFn ?Time1))))\n    (duration ?Time ?Delay))\n\n(UAX-1569)\n(=>\n    (exists (?Time1 ?Time2)\n        (and\n            (dependencyDelay ?Program1 ?Delay)\n            (dependencyType ?Program1 ShutdownBlock)\n            (hasDependency ?Program1 ?Program2)\n            (instance ?Process1 ComputerProcess)\n            (programRunning ?Process1 ?Program1)\n            (instance ?Process2 ComputerProcess)\n            (programRunning ?Process2 ?Program2)\n            (equal (WhenFn ?Process2) ?Time2)\n            (finishes ?Time ?Time1)\n            (equal (WhenFn ?Process2) ?Time2)\n            (equal (BeginFn ?Time) (EndFn ?Time2))))\n    (duration ?Time ?Delay))\n")
	(%3ASUO-name "dependencyDelay")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 309)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([dependencyType] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-1567)\n(=>\n    (dependencyType ?Program ?Type)\n    (or\n        (equal ?Type StartupBlock)\n        (equal ?Type ShutdownBlock)))\n")
	(%3ASUO-name "dependencyType")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 302)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([Dependent-TaskRelation] of TaskRelationAttribute
	(%3AisInModule [QualityOfService])
	(%3ASUO-name "Dependent-TaskRelation")
	(%3Adocumentation "An instance of &%RealtimeSystem is described as &%Dependent-TaskRelation if it depends on at least one other function in the system; that is, its correct execution depends on the input from another function, the execution state of another function, or the acceptance of its outputs by another function.")
	(%3AhasInstanceTypes TaskRelationAttribute)
	(%3ALOAD-SEQUENCE 358))

([dependentGeopoliticalArea] of %3ASKIF-SLOT
	(relatedInternalConcept [primaryGeopoliticalSubdivision])
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-1453)\n(=>\n	(dependentGeopoliticalArea ?AREA ?COUNTRY)\n	(possesses ?COUNTRY ?AREA))\n\n(UAX-1454)\n(=>\n  	(dependentGeopoliticalArea ?AREA ?COUNTRY)\n  	(not\n    		(geopoliticalSubdivision ?AREA ?COUNTRY)))\n")
	(%3ASUO-name "dependentGeopoliticalArea")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [claimedTerritory])
	(%3ALOAD-SEQUENCE 3473)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		AsymmetricRelation
		TransitiveRelation
		BinaryPredicate))

([Deposit] of %3ASYN-CLASS
	(disjoint [Withdrawal])
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1406]
		[UAX-1407])
	(%3ALOAD-SEQUENCE 3342))

([DepositAccount] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3333))

([DepositingACheck] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1399]
		[UAX-1400])
	(%3ALOAD-SEQUENCE 3325))

([depth] of %3ATernarySlot
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3AisaSubrelationOf [distance])
	(%3ASUO-name "depth")
	(%3ADomain2Class Physical)
	(%3AslotType "Predicate")
	(%3AAXIOMS "\n(UAX-0313)\n(=>\n   (depth ?OBJ1 ?OBJ2 ?DEPTH)\n   (orientation ?OBJ1 ?OBJ2 Below))\n\n(UAX-0314)\n(=>\n   (depth ?OBJ1 ?OBJ2 ?DEPTH)\n   (exists (?BOTTOM)\n      (and\n         (bottom ?BOTTOM ?OBJ1)\n         (distance ?BOTTOM ?OBJ2 ?DEPTH))))\n")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		SingleValuedRelation
		SpatialRelation
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 841))

([DescendantsFn] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-1004)\n(=>\n   (and\n      (instance ?PERSON Human)\n      (equal (DescendantsFn ?PERSON) ?DESCENDANTS))\n   (forall (?MEMBER)\n      (<=>\n         (member ?MEMBER ?DESCENDANTS)\n         (ancestor ?MEMBER ?PERSON))))\n")
	(%3ASUO-name "DescendantsFn")
	(%3AisInModule [MidLevel])
	(%3AslotType "Function")
	(%3ALOAD-SEQUENCE 2388)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		UnaryFunction))

([Designing] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ALOAD-SEQUENCE 1187))

([designPattern] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "null\n(UAX-1571)\n(=>\n    (designPattern ?System Guidance-DesignPattern)\n    (systemBehavior ?System Transient-SystemBehavior))\n\n(UAX-1572)\n(=>\n    (designPattern ?System Initiation-DesignPattern)\n    (systemBehavior ?System Transient-SystemBehavior))\n")
	(%3ASUO-name "designPattern")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [property])
	(%3ALOAD-SEQUENCE 342)
	(%3AhasInstanceTypes %3ASKIF-SLOT))

([DesignPatternAttribute] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ALOAD-SEQUENCE 340))

([desires] of %3ASKIF-SLOT
	(relatedInternalConcept
		[wants]
		[wants])
	(%3ADomain1Type Instance)
	(disjointRelation [disapproves])
	(%3ASUO-name "desires")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [inScopeOfInterest])
	(%3ALOAD-SEQUENCE 319)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		PropositionalAttitude
		BinaryPredicate
		IntentionalRelation))

([Desk] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2251))

([destination] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3ASUO-name "destination")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 284)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		CaseRole))

([Destruction] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0564])
	(relatedInternalConcept
		[Creation]
		[Creation])
	(%3ALOAD-SEQUENCE 1336))

([Detaching] of %3ASYN-CLASS
	(disjoint [Attaching])
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0570])
	(%3ALOAD-SEQUENCE 1347))

([Detergent] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1045])
	(%3ALOAD-SEQUENCE 2488))

([DeterministicDataStream] of %3ASYN-CLASS
	(%3AisInModule [QualityOfService])
	(%3ASLOT-CONSTRAINTS
		[UAX-1562]
		[UAX-1563])
	(%3ALOAD-SEQUENCE 277))

([DevelopmentalAttribute] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3AClassPredicates "(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed)")
	(%3ALOAD-SEQUENCE 2089))

([developmentalForm] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0663)\n(=>\n   (and\n      (holdsDuring ?TIME1 (developmentalForm ?OBJ ?ATTR1))\n      (successorAttributeClosure ?ATTR2 ?ATTR1))\n   (exists (?TIME2)\n      (and\n         (earlier ?TIME2 ?TIME1)\n         (holdsDuring ?TIME2 (developmentalForm ?OBJ ?ATTR2)))))\n")
	(%3ASUO-name "developmentalForm")
	(%3AisInModule [OBJECTS])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [attribute])
	(%3ALOAD-SEQUENCE 1549)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		AsymmetricRelation
		TransitiveRelation))

([Device] of %3ASYN-CLASS
	(disjoint [Furniture])
	(%3AisInModule [OBJECTS])
	(%3ASLOT-CONSTRAINTS
		[UAX-0758]
		[UAX-0759])
	(%3ALOAD-SEQUENCE 1791))

([DeviceAttribute] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1143])
	(%3ALOAD-SEQUENCE 2700))

([DiagnosticProcess] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0599])
	(%3ALOAD-SEQUENCE 1405))

([Dialysis] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1315])
	(%3ALOAD-SEQUENCE 3089))

([diameter] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0862)\n(=>\n   (diameter ?CIRCLE ?LENGTH)\n   (exists (?HALF)\n      (and\n         (radius ?CIRCLE ?HALF)\n         (equal (MultiplicationFn ?HALF 2) ?LENGTH))))\n\n(UAX-1321)\n(=>\n   (diameter ?CIRCLE ?LENGTH)\n   (exists (?HALF)\n      (and\n         (radius ?CIRCLE ?HALF)\n         (equal (MultiplicationFn ?HALF 2) ?LENGTH))))\n")
	(%3ASUO-name "diameter")
	(%3AisInModule [QUALITIES])
	(%3AslotType "Predicate")
	(%3AidenticalTo
		"monetaryWage"
		"diameter")
	(%3AisaSubrelationOf [width])
	(%3ALOAD-SEQUENCE 2052)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		SingleValuedRelation
		TotalValuedRelation
		%3ASKIF-SLOT))

([Dictatorship] of FormOfGovernment
	(%3AisInModule [MidLevel])
	(%3ASUO-name "Dictatorship")
	(subAttribute [AuthoritarianRegime])
	(%3Adocumentation "From Mid-Level Ontology used for Ontolog.")
	(%3AhasInstanceTypes FormOfGovernment)
	(%3ALOAD-SEQUENCE 3514))

([Dictionary] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 2755))

([Digesting] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0468]
		[UAX-0469])
	(%3ALOAD-SEQUENCE 1131))

([DigitCharacter] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ALOAD-SEQUENCE 3077))

([DirectedGraph] of %3ASYN-CLASS
	(%3AisInModule [GRAPH_THEORY])
	(%3ASLOT-CONSTRAINTS [UAX-0238])
	(%3ALOAD-SEQUENCE 592))

([Directing] of %3ASYN-CLASS
	(disjoint
		[Stating]
		[Supposing]
		[Declaring]
		[Committing]
		[ExpressingInLanguage])
	(%3AisInModule [PROCESSES])
	(%3ALOAD-SEQUENCE 1430))

([direction] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0801)\n(=>\n   (holdsDuring ?TIME (direction ?PROC ?ATTR1))\n   (forall (?ATTR2)\n      (=>\n         (holdsDuring ?TIME (direction ?PROC ?ATTR2))\n         (equal ?ATTR2 ?ATTR1))))\n")
	(%3ASUO-name "direction")
	(%3AisInModule [QUALITIES])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 1896)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		CaseRole))

([DirectionalAttribute] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0806]
		[UAX-0807])
	(%3ALOAD-SEQUENCE 1910))

([DirectionChange] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0508])
	(%3ALOAD-SEQUENCE 1219))

([directoryOf] of %3ASKIF-SLOT
	(relatedInternalConcept
		[filename]
		[filename])
	(%3ADomain1Type Instance)
	(%3ASUO-name "directoryOf")
	(%3AisInModule [QualityOfService])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 49)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate))

([disapproves] of %3ASKIF-SLOT
	(relatedInternalConcept
		[dislikes]
		[dislikes])
	(%3ADomain1Type Instance)
	(disjointRelation [desires])
	(%3AAXIOMS "\n(UAX-1001)\n(=>\n   (dislikes ?AGENT ?OBJECT)\n   (desires ?AGENT (not (possesses ?AGENT ?OBJECT))))\n")
	(%3ASUO-name "disapproves")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [inScopeOfInterest])
	(%3ALOAD-SEQUENCE 2382)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		PropositionalAttitude
		BinaryPredicate
		IntentionalRelation))

([Discovering] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0546]
		[UAX-0547])
	(%3ALOAD-SEQUENCE 1298))

([DiseaseOrSyndrome] of %3ASYN-CLASS
	(%3AisInModule [QUALITIES])
	(%3ALOAD-SEQUENCE 2099))

([disjoint] of %3ASKIF-SLOT
	(relatedInternalConcept
		[disjointRelation]
		[disjointRelation]
		[disjointDecomposition]
		[disjointDecomposition])
	(%3ADomain1Type Instance)
	(%3AAXIOMS "(UAX: SUMAX-25)\n(<=>\n   (disjoint ?CLASS1 ?CLASS2)\n   (and\n      (instance ?CLASS1 NonNullSet)\n      (instance ?CLASS2 NonNullSet)\n      (forall (?INST)\n         (not\n             (and\n                 (instance ?INST ?CLASS1)\n                 (instance ?INST ?CLASS2))))))\n(UAX-0025)\n(<=>\n   (disjoint ?CLASS1 ?CLASS2)\n   (and\n      (instance ?CLASS1 NonNullSet)\n      (instance ?CLASS2 NonNullSet)\n      (forall (?INST)\n         (not\n            (and\n               (instance ?INST ?CLASS1)\n               (instance ?INST ?CLASS2))))))\n")
	(%3ASUO-name "disjoint")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3AidenticalTo
		"documentation"
		"disjoint")
	(%3ALOAD-SEQUENCE 49)
	(%3AhasInstanceTypes
		BinaryPredicate
		SymmetricRelation
		%3ASKIF-SLOT))

([disjointDecomposition] of %3AVariableAritySlot
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "disjointDecomposition")
	(%3AslotType "Predicate")
	(%3AAXIOMS "(UAX: SUMAX-38)\n(=>\n   (disjointDecomposition @ROW)\n   (=>\n      (inList ?ELEMENT (ListFn @ROW))\n      (instance ?ELEMENT Class)))\n\n(UAX: SUMAX-119)\n(=>\n   (disjointDecomposition ?CLASS @ROW)\n   (forall (?ITEM)\n      (=>\n         (inList ?ITEM (ListFn @ROW))\n         (subclass ?ITEM ?CLASS))))\n\n(UAX: SUMAX-120)\n(=>\n   (disjointDecomposition ?CLASS @ROW)\n   (forall (?ITEM1 ?ITEM2)\n      (=>\n         (and\n            (inList ?ITEM1 (ListFn @ROW))\n            (inList ?ITEM2 (ListFn @ROW))\n            (not\n               (equal ?ITEM1 ?ITEM2)))\n         (disjoint ?ITEM1 ?ITEM2))))\n(UAX-0038)\n(=>\n   (disjointDecomposition @ROW)\n   (=>\n      (inList ?ELEMENT (ListFn @ROW))\n      (instance ?ELEMENT Class)))\n")
	(%3ADomain1Type Instance)
	(relatedInternalConcept
		[exhaustiveDecomposition]
		[disjoint])
	(%3AhasInstanceTypes
		Predicate
		VariableArityRelation
		%3AVariableAritySlot)
	(%3ALOAD-SEQUENCE 68))

([disjointRelation] of %3AVariableAritySlot
	(%3AASSOCIATED-FACET [SKIFcore4_00381])
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "disjointRelation")
	(%3AslotType "Predicate")
	(%3AAXIOMS "(UAX: SUMAX-26)\n(=>\n   (and\n      (disjointRelation @ROW)\n      (inList ?REL (ListFn @ROW)))\n   (instance ?REL Relation))\n\n(UAX: SUMAX-27)\n(=>\n   (and\n      (disjointRelation @ROW)\n      (inList ?REL1 (ListFn @ROW))\n      (inList ?REL2 (ListFn @ROW))\n      (valence ?REL1 ?NUMBER))\n   (valence ?REL2 ?NUMBER))\n\n(UAX: SUMAX-32)\n(=>\n   (and\n      (disjointRelation @ROW1)\n      (inList ?REL1 (ListFn @ROW1))\n      (inList ?REL2 (ListFn @ROW1))\n      (not (equal ?REL1 ?REL2))\n      (holds ?REL1 @ROW2))\n   (not (holds ?REL2 @ROW2)))\n(UAX-0026)\n(=>\n   (and\n      (disjointRelation @ROW)\n      (inList ?REL (ListFn @ROW)))\n   (instance ?REL Relation))\n\n(UAX-0027)\n(=>\n   (and\n      (disjointRelation @ROW)\n      (inList ?REL1 (ListFn @ROW))\n      (inList ?REL2 (ListFn @ROW))\n      (valence ?REL1 ?NUMBER))\n   (valence ?REL2 ?NUMBER))\n\n(UAX-0028)\n(=>\n   (and\n      (domain ?REL1 ?NUMBER ?CLASS1)\n      (domain ?REL2 ?NUMBER ?CLASS2)\n      (disjoint ?CLASS1 ?CLASS2))\n   (disjointRelation ?REL1 ?REL2))\n\n(UAX-0029)\n(=>\n   (and\n      (domainSubclass ?REL1 ?NUMBER ?CLASS1)\n      (domainSubclass ?REL2 ?NUMBER ?CLASS2)\n      (disjoint ?CLASS1 ?CLASS2))\n   (disjointRelation ?REL1 ?REL2))\n\n(UAX-0030)\n(=>\n   (and\n      (range ?REL1 ?CLASS1)\n      (range ?REL2 ?CLASS2)\n      (disjoint ?CLASS1 ?CLASS2))\n   (disjointRelation ?REL1 ?REL2))\n\n(UAX-0031)\n(=>\n   (and\n      (rangeSubclass ?REL1 ?CLASS1)\n      (rangeSubclass ?REL2 ?CLASS2)\n      (disjoint ?CLASS1 ?CLASS2))\n   (disjointRelation ?REL1 ?REL2))\n\n(UAX-0032)\n(=>\n   (and\n      (disjointRelation @ROW1)\n      (inList ?REL1 (ListFn @ROW1))\n      (inList ?REL2 (ListFn @ROW1))\n      (not (equal ?REL1 ?REL2))\n      (holds ?REL1 @ROW2))\n   (not (holds ?REL2 @ROW2)))\n")
	(%3ADomain1Type Instance)
	(relatedInternalConcept [disjoint])
	(%3AhasInstanceTypes
		Predicate
		VariableArityRelation
		%3AVariableAritySlot)
	(%3ALOAD-SEQUENCE 51))

([dislikes] of %3ASKIF-SLOT
	(relatedInternalConcept [disapproves])
	(%3ADomain1Type Instance)
	(disjointRelation [wants])
	(%3AAXIOMS "\n(UAX-1000)\n(=>\n   (dislikes ?AGENT ?OBJECT)\n   (desires ?AGENT (not (possesses ?AGENT ?OBJECT))))\n")
	(%3ASUO-name "dislikes")
	(%3AisInModule [MidLevel])
	(%3AslotType "Predicate")
	(%3AisaSubrelationOf [inScopeOfInterest])
	(%3ALOAD-SEQUENCE 2380)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		IntentionalRelation))

([DisplayBoard] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-0933])
	(%3ALOAD-SEQUENCE 2230))

([Disseminating] of %3ASYN-CLASS
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0603])
	(%3ALOAD-SEQUENCE 1413))

([distance] of %3ATernarySlot
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASUO-name "distance")
	(%3ADomain2Class Physical)
	(%3AslotType "Predicate")
	(%3AAXIOMS "\n(UAX-0310)\n(=>\n   (distance ?OBJ1 ?OBJ2 ?QUANT)\n   (distance ?OBJ2 ?OBJ1 ?QUANT))\n")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		%3ATernarySlot
		SingleValuedRelation
		SpatialRelation
		TernaryPredicate)
	(%3ALOAD-SEQUENCE 836))

([DistilledAlcoholicBeverage] of %3ASYN-CLASS
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1071])
	(%3ALOAD-SEQUENCE 2550))

([distributes] of %3ASKIF-SLOT
	(%3ADomain1Type Instance)
	(%3AAXIOMS "\n(UAX-0159)\n(=>\n   (distributes ?FUNCTION1 ?FUNCTION2)\n   (forall (?INST1 ?INST2 ?INST3)\n      (=>\n         (and\n            (domain ?FUNCTION1 1 ?CLASS1)\n            (instance ?INST1 ?CLASS1)\n            (instance ?INST2 ?CLASS1)\n            (instance ?INST3 ?CLASS1)\n            (domain ?FUNCTION2 1 ?CLASS2)\n            (instance ?INST1 ?CLASS2)\n            (instance ?INST2 ?CLASS2)\n            (instance ?INST3 ?CLASS2))\n         (equal (AssignmentFn ?FUNCTION1 ?INST1\n                        (AssignmentFn ?FUNCTION2 ?INST2 ?INST3))\n                (AssignmentFn ?FUNCTION2\n                        (AssignmentFn ?FUNCTION1 ?INST1 ?INST2)\n                        (AssignmentFn ?FUNCTION1 ?INST1 ?INST3))))))\n")
	(%3ASUO-name "distributes")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3AslotType "Predicate")
	(%3ALOAD-SEQUENCE 409)
	(%3AhasInstanceTypes
		%3ASKIF-SLOT
		BinaryPredicate
		BinaryRelation))

([DivisionFn] of %3ATernarySlot
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3ASUO-name "DivisionFn")
	(%3ADomain2Class Quantity)
	(%3AslotType "Function")
	(%3AAXIOMS "\n(UAX-0196)\n(=>\n   (instance ?NUMBER RationalNumber)\n   (exists (?INT1 ?INT2)\n      (and\n         (instance ?INT1 Integer)\n         (instance ?INT2 Integer)\n         (equal ?NUMBER (DivisionFn ?INT1 ?INT2)))))\n")
	(%3ADomain1Type Instance)
	(%3ADomain2Type Instance)
	(%3AhasInstanceTypes
		%3ATernarySlot
		BinaryFunction
		AssociativeFunction
		RelationExtendedToQuantities
		PartialValuedRelation)
	(%3ALOAD-SEQUENCE 496))

([DocsBlock%3A00000] of %3ASKIFdocs
	(%3AisInModule [DefaultModule])
	(%3ALOAD-SEQUENCE 1)
	(%3AcommentLines
		";; sam156a. txt the combined SUMO plus MILO ontologies,"
		";; minus the duplications -- PJC 2004"
		";;"
		";; ================================================"
		";;      SUMO (Suggested Upper Merged Ontology)"
		";;      from merge.txt version 1.566 for Ontolog ontology"
		";;      version merg156a -- modified for import into Protege"
		";;           by P. Cassidy January 2004"
		";; ================================================"))

([DocsBlock%3A00001] of %3ASKIFdocs
	(%3AisInModule [DefaultModule])
	(%3ALOAD-SEQUENCE 2)
	(%3AcommentLines
		";; This is the source file for the SUMO (Suggested Upper Merged Ontology),"
		";; an ontology that was developed within the SUO Working Group by merging"
		";; the SUO \"candidate content\" sources and refining and extending this content on"
		";; the basis of various knowledge engineering projects and input from the SUO"
		";; Working Group."))

([DocsBlock%3A00002] of %3ASKIFdocs
	(%3AisInModule [DefaultModule])
	(%3ALOAD-SEQUENCE 3)
	(%3AcommentLines
		";; The SUMO incorporates elements of John Sowa's upper ontology (as described at"
		";; http://www.bestweb.net/~sowa/ontology/toplevel.htm and in Chapter 2 of his"
		";; book _Knowledge Representation_, Brooks/Cole, 2000), Russell and Norvig's"
		";; ontology, PSL (Process Specification Language), Casati and Varzi's theory of"
		";; holes, Allen's temporal axioms, the relatively noncontroversial elements of"
		";; Smith's and Guarino's respective mereotopologies, the KIF formalization of the"
		";; CPR (Core Plan Representation), the ontologies available on the Ontolingua"
		";; server maintained by Stanford University's Knowledge Systems Laboratory, the"
		";; ontologies developed by ITBM-CNR, some of the spatial relations from an"
		";; unpublished paper by Iris Tommelein and Anil Gupta entitled \"Conceptual"
		";; Structures for Spatial Reasoning\", and a \"Structural Ontology\" proposed by"
		";; David Whitten and substantially revised and extended by Chris Menzel."
		";; Note that some of the subclasses of 'Process' in the SUMO were originally"
		";; inspired by some of the verb classes from the second part of Beth Levin's book"
		";; \"English Verb Classes and Alternations:  A Preliminary Investigation.\""))

([DocsBlock%3A00003] of %3ASKIFdocs
	(%3AisInModule [DefaultModule])
	(%3ALOAD-SEQUENCE 4)
	(%3AcommentLines
		";; The knowledge representation language in which the SUMO is expressed is SUO-KIF,"
		";; which stands for \"Standard Upper Ontology - Knowledge Interchange Format\".  SUO-KIF"
		";; is a simplified form of the popular KIF knowledge representation language.  A"
		";; specification of SUO-KIF can be found at:  http://suo.ieee.org/suo-kif.html.  It"
		";; should be noted that some of the axioms in the SUMO make use of row variables"
		";; (indicated with a \"@\" prefix).  Such variables are not currently part of the SUO-"
		";; KIF specification, but they simplify matters significantly in some cases.  Details"
		";; about row variables can be found in the following paper:"
		";; http://reliant.teknowledge.com/IJCAI01/HayesMenzel-SKIF-IJCAI2001.pdf."))

([DocsBlock%3A00004] of %3ASKIFdocs)

([Dry] of %3AUNDEFINED)

([FederalGovernment] of %3AUNDEFINED)

([GovernmentRegulatedEconomy] of %3AUNDEFINED)

([GRAPH_THEORY] of %3AUNDEFINED)

([KIF-core] of %3AUNDEFINED)

([KIFcore2_00373] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ASUO-name]))

([Living] of %3AUNDEFINED)

([MEREOTOPOLOGY] of %3AUNDEFINED)

([MidLevel] of %3AUNDEFINED)

([Monarchy] of %3AUNDEFINED)

([MultipartyDemocracy] of %3AUNDEFINED)

([NakedPromise] of %3AUNDEFINED)

([NUMERIC_FUNCTIONS] of %3AUNDEFINED)

([OBJECTS] of %3AUNDEFINED)

([ParliamentaryGovernment] of %3AUNDEFINED)

([PrivateEnterpriseEconomy] of %3AUNDEFINED)

([PROCESSES] of %3AUNDEFINED)

([Promise] of %3AUNDEFINED)

([QUALITIES] of %3AUNDEFINED)

([QualityOfService] of %3AUNDEFINED)

([Republic] of %3AUNDEFINED)

([SET%2FCLASS_THEORY] of %3AUNDEFINED)

([SKIFcore4_00380] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [relatedInternalConcept]))

([SKIFcore4_00381] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [disjointRelation]))

([SKIFcore4_00382] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ASYNONYMS]))

([SKIFcore4_00393] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3AidenticalTo]))

([SKIFcore_00400] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3AisRestrictedTo]))

([SKIFcore_00418] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ArelationAllExists]))

([SKIFcore_00426] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3AisaSubrelationOf]))

([SKIFcore_00434] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3AhasClassMethod]))

([SKIFcore_00437] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3AisaSynonymOf]))

([SKIFcore_Facet_1] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3AslotType]))

([SKIFcore_Facet_10001] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3AhasInstanceTypes]))

([SocialistEconomy] of %3AUNDEFINED)

([STRUCTURAL_ONTOLOGY] of %3AUNDEFINED)

([SUMO148_00000] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ADomain2Class]))

([SUMO152_00100] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ADomain2Value]))

([SUMO152_00102] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ADomain3Value]))

([TEMPORAL_CONCEPTS] of %3AUNDEFINED)

([Tranquility] of %3AUNDEFINED)

([UAX-0057] of %3AUNDEFINED)

([UAX-0058] of %3AUNDEFINED)

([UAX-0060] of %3AUNDEFINED)

([UAX-0063] of %3AUNDEFINED)

([UAX-0065] of %3AUNDEFINED)

([UAX-0067] of %3AUNDEFINED)

([UAX-0068] of %3AUNDEFINED)

([UAX-0069] of %3AUNDEFINED)

([UAX-0071] of %3AUNDEFINED)

([UAX-0072] of %3AUNDEFINED)

([UAX-0074] of %3AUNDEFINED)

([UAX-0083] of %3AUNDEFINED)

([UAX-0089] of %3AUNDEFINED)

([UAX-0093] of %3AUNDEFINED)

([UAX-0094] of %3AUNDEFINED)

([UAX-0141] of %3AUNDEFINED)

([UAX-0142] of %3AUNDEFINED)

([UAX-0143] of %3AUNDEFINED)

([UAX-0146] of %3AUNDEFINED)

([UAX-0238] of %3AUNDEFINED)

([UAX-0276] of %3AUNDEFINED)

([UAX-0277] of %3AUNDEFINED)

([UAX-0278] of %3AUNDEFINED)

([UAX-0279] of %3AUNDEFINED)

([UAX-0284] of %3AUNDEFINED)

([UAX-0286] of %3AUNDEFINED)

([UAX-0293] of %3AUNDEFINED)

([UAX-0300] of %3AUNDEFINED)

([UAX-0301] of %3AUNDEFINED)

([UAX-0302] of %3AUNDEFINED)

([UAX-0303] of %3AUNDEFINED)

([UAX-0304] of %3AUNDEFINED)

([UAX-0307] of %3AUNDEFINED)

([UAX-0374] of %3AUNDEFINED)

([UAX-0375] of %3AUNDEFINED)

([UAX-0382] of %3AUNDEFINED)

([UAX-0383] of %3AUNDEFINED)

([UAX-0390] of %3AUNDEFINED)

([UAX-0391] of %3AUNDEFINED)

([UAX-0392] of %3AUNDEFINED)

([UAX-0460] of %3AUNDEFINED)

([UAX-0461] of %3AUNDEFINED)

([UAX-0462] of %3AUNDEFINED)

([UAX-0463] of %3AUNDEFINED)

([UAX-0464] of %3AUNDEFINED)

([UAX-0465] of %3AUNDEFINED)

([UAX-0468] of %3AUNDEFINED)

([UAX-0469] of %3AUNDEFINED)

([UAX-0473] of %3AUNDEFINED)

([UAX-0499] of %3AUNDEFINED)

([UAX-0500] of %3AUNDEFINED)

([UAX-0504] of %3AUNDEFINED)

([UAX-0508] of %3AUNDEFINED)

([UAX-0510] of %3AUNDEFINED)

([UAX-0525] of %3AUNDEFINED)

([UAX-0526] of %3AUNDEFINED)

([UAX-0538] of %3AUNDEFINED)

([UAX-0539] of %3AUNDEFINED)

([UAX-0540] of %3AUNDEFINED)

([UAX-0541] of %3AUNDEFINED)

([UAX-0546] of %3AUNDEFINED)

([UAX-0547] of %3AUNDEFINED)

([UAX-0549] of %3AUNDEFINED)

([UAX-0554] of %3AUNDEFINED)

([UAX-0559] of %3AUNDEFINED)

([UAX-0560] of %3AUNDEFINED)

([UAX-0564] of %3AUNDEFINED)

([UAX-0569] of %3AUNDEFINED)

([UAX-0570] of %3AUNDEFINED)

([UAX-0571] of %3AUNDEFINED)

([UAX-0572] of %3AUNDEFINED)

([UAX-0573] of %3AUNDEFINED)

([UAX-0574] of %3AUNDEFINED)

([UAX-0575] of %3AUNDEFINED)

([UAX-0576] of %3AUNDEFINED)

([UAX-0580] of %3AUNDEFINED)

([UAX-0582] of %3AUNDEFINED)

([UAX-0584] of %3AUNDEFINED)

([UAX-0589] of %3AUNDEFINED)

([UAX-0590] of %3AUNDEFINED)

([UAX-0591] of %3AUNDEFINED)

([UAX-0593] of %3AUNDEFINED)

([UAX-0599] of %3AUNDEFINED)

([UAX-0602] of %3AUNDEFINED)

([UAX-0603] of %3AUNDEFINED)

([UAX-0604] of %3AUNDEFINED)

([UAX-0605] of %3AUNDEFINED)

([UAX-0613] of %3AUNDEFINED)

([UAX-0614] of %3AUNDEFINED)

([UAX-0617] of %3AUNDEFINED)

([UAX-0620] of %3AUNDEFINED)

([UAX-0623] of %3AUNDEFINED)

([UAX-0624] of %3AUNDEFINED)

([UAX-0626] of %3AUNDEFINED)

([UAX-0627] of %3AUNDEFINED)

([UAX-0628] of %3AUNDEFINED)

([UAX-0629] of %3AUNDEFINED)

([UAX-0630] of %3AUNDEFINED)

([UAX-0643] of %3AUNDEFINED)

([UAX-0644] of %3AUNDEFINED)

([UAX-0645] of %3AUNDEFINED)

([UAX-0646] of %3AUNDEFINED)

([UAX-0657] of %3AUNDEFINED)

([UAX-0674] of %3AUNDEFINED)

([UAX-0676] of %3AUNDEFINED)

([UAX-0677] of %3AUNDEFINED)

([UAX-0682] of %3AUNDEFINED)

([UAX-0686] of %3AUNDEFINED)

([UAX-0689] of %3AUNDEFINED)

([UAX-0690] of %3AUNDEFINED)

([UAX-0691] of %3AUNDEFINED)

([UAX-0692] of %3AUNDEFINED)

([UAX-0693] of %3AUNDEFINED)

([UAX-0698] of %3AUNDEFINED)

([UAX-0699] of %3AUNDEFINED)

([UAX-0700] of %3AUNDEFINED)

([UAX-0701] of %3AUNDEFINED)

([UAX-0702] of %3AUNDEFINED)

([UAX-0703] of %3AUNDEFINED)

([UAX-0704] of %3AUNDEFINED)

([UAX-0705] of %3AUNDEFINED)

([UAX-0709] of %3AUNDEFINED)

([UAX-0710] of %3AUNDEFINED)

([UAX-0711] of %3AUNDEFINED)

([UAX-0715] of %3AUNDEFINED)

([UAX-0739] of %3AUNDEFINED)

([UAX-0740] of %3AUNDEFINED)

([UAX-0741] of %3AUNDEFINED)

([UAX-0742] of %3AUNDEFINED)

([UAX-0743] of %3AUNDEFINED)

([UAX-0745] of %3AUNDEFINED)

([UAX-0750] of %3AUNDEFINED)

([UAX-0756] of %3AUNDEFINED)

([UAX-0758] of %3AUNDEFINED)

([UAX-0759] of %3AUNDEFINED)

([UAX-0765] of %3AUNDEFINED)

([UAX-0780] of %3AUNDEFINED)

([UAX-0786] of %3AUNDEFINED)

([UAX-0796] of %3AUNDEFINED)

([UAX-0797] of %3AUNDEFINED)

([UAX-0806] of %3AUNDEFINED)

([UAX-0807] of %3AUNDEFINED)

([UAX-0834] of %3AUNDEFINED)

([UAX-0857] of %3AUNDEFINED)

([UAX-0868] of %3AUNDEFINED)

([UAX-0869] of %3AUNDEFINED)

([UAX-0884] of %3AUNDEFINED)

([UAX-0911] of %3AUNDEFINED)

([UAX-0912] of %3AUNDEFINED)

([UAX-0921] of %3AUNDEFINED)

([UAX-0926] of %3AUNDEFINED)

([UAX-0931] of %3AUNDEFINED)

([UAX-0933] of %3AUNDEFINED)

([UAX-0940] of %3AUNDEFINED)

([UAX-0941] of %3AUNDEFINED)

([UAX-0945] of %3AUNDEFINED)

([UAX-0946] of %3AUNDEFINED)

([UAX-0948] of %3AUNDEFINED)

([UAX-0949] of %3AUNDEFINED)

([UAX-0950] of %3AUNDEFINED)

([UAX-0951] of %3AUNDEFINED)

([UAX-0958] of %3AUNDEFINED)

([UAX-0962] of %3AUNDEFINED)

([UAX-0968] of %3AUNDEFINED)

([UAX-0977] of %3AUNDEFINED)

([UAX-0979] of %3AUNDEFINED)

([UAX-0982] of %3AUNDEFINED)

([UAX-0983] of %3AUNDEFINED)

([UAX-0984] of %3AUNDEFINED)

([UAX-0985] of %3AUNDEFINED)

([UAX-0986] of %3AUNDEFINED)

([UAX-0987] of %3AUNDEFINED)

([UAX-0988] of %3AUNDEFINED)

([UAX-0990] of %3AUNDEFINED)

([UAX-0991] of %3AUNDEFINED)

([UAX-0992] of %3AUNDEFINED)

([UAX-0993] of %3AUNDEFINED)

([UAX-0994] of %3AUNDEFINED)

([UAX-1006] of %3AUNDEFINED)

([UAX-1007] of %3AUNDEFINED)

([UAX-1009] of %3AUNDEFINED)

([UAX-1018] of %3AUNDEFINED)

([UAX-1021] of %3AUNDEFINED)

([UAX-1027] of %3AUNDEFINED)

([UAX-1030] of %3AUNDEFINED)

([UAX-1031] of %3AUNDEFINED)

([UAX-1032] of %3AUNDEFINED)

([UAX-1035] of %3AUNDEFINED)

([UAX-1045] of %3AUNDEFINED)

([UAX-1049] of %3AUNDEFINED)

([UAX-1060] of %3AUNDEFINED)

([UAX-1062] of %3AUNDEFINED)

([UAX-1066] of %3AUNDEFINED)

([UAX-1069] of %3AUNDEFINED)

([UAX-1070] of %3AUNDEFINED)

([UAX-1071] of %3AUNDEFINED)

([UAX-1074] of %3AUNDEFINED)

([UAX-1075] of %3AUNDEFINED)

([UAX-1076] of %3AUNDEFINED)

([UAX-1084] of %3AUNDEFINED)

([UAX-1085] of %3AUNDEFINED)

([UAX-1086] of %3AUNDEFINED)

([UAX-1103] of %3AUNDEFINED)

([UAX-1119] of %3AUNDEFINED)

([UAX-1120] of %3AUNDEFINED)

([UAX-1134] of %3AUNDEFINED)

([UAX-1139] of %3AUNDEFINED)

([UAX-1140] of %3AUNDEFINED)

([UAX-1143] of %3AUNDEFINED)

([UAX-1149] of %3AUNDEFINED)

([UAX-1159] of %3AUNDEFINED)

([UAX-1160] of %3AUNDEFINED)

([UAX-1162] of %3AUNDEFINED)

([UAX-1177] of %3AUNDEFINED)

([UAX-1178] of %3AUNDEFINED)

([UAX-1182] of %3AUNDEFINED)

([UAX-1190] of %3AUNDEFINED)

([UAX-1193] of %3AUNDEFINED)

([UAX-1196] of %3AUNDEFINED)

([UAX-1209] of %3AUNDEFINED)

([UAX-1213] of %3AUNDEFINED)

([UAX-1214] of %3AUNDEFINED)

([UAX-1217] of %3AUNDEFINED)

([UAX-1233] of %3AUNDEFINED)

([UAX-1236] of %3AUNDEFINED)

([UAX-1237] of %3AUNDEFINED)

([UAX-1238] of %3AUNDEFINED)

([UAX-1246] of %3AUNDEFINED)

([UAX-1256] of %3AUNDEFINED)

([UAX-1257] of %3AUNDEFINED)

([UAX-1282] of %3AUNDEFINED)

([UAX-1283] of %3AUNDEFINED)

([UAX-1287] of %3AUNDEFINED)

([UAX-1288] of %3AUNDEFINED)

([UAX-1290] of %3AUNDEFINED)

([UAX-1315] of %3AUNDEFINED)

([UAX-1323] of %3AUNDEFINED)

([UAX-1325] of %3AUNDEFINED)

([UAX-1326] of %3AUNDEFINED)

([UAX-1327] of %3AUNDEFINED)

([UAX-1341] of %3AUNDEFINED)

([UAX-1343] of %3AUNDEFINED)

([UAX-1350] of %3AUNDEFINED)

([UAX-1355] of %3AUNDEFINED)

([UAX-1356] of %3AUNDEFINED)

([UAX-1357] of %3AUNDEFINED)

([UAX-1359] of %3AUNDEFINED)

([UAX-1365] of %3AUNDEFINED)

([UAX-1368] of %3AUNDEFINED)

([UAX-1373] of %3AUNDEFINED)

([UAX-1378] of %3AUNDEFINED)

([UAX-1379] of %3AUNDEFINED)

([UAX-1380] of %3AUNDEFINED)

([UAX-1390] of %3AUNDEFINED)

([UAX-1391] of %3AUNDEFINED)

([UAX-1392] of %3AUNDEFINED)

([UAX-1393] of %3AUNDEFINED)

([UAX-1394] of %3AUNDEFINED)

([UAX-1395] of %3AUNDEFINED)

([UAX-1396] of %3AUNDEFINED)

([UAX-1399] of %3AUNDEFINED)

([UAX-1400] of %3AUNDEFINED)

([UAX-1403] of %3AUNDEFINED)

([UAX-1404] of %3AUNDEFINED)

([UAX-1405] of %3AUNDEFINED)

([UAX-1406] of %3AUNDEFINED)

([UAX-1407] of %3AUNDEFINED)

([UAX-1412] of %3AUNDEFINED)

([UAX-1413] of %3AUNDEFINED)

([UAX-1431] of %3AUNDEFINED)

([UAX-1432] of %3AUNDEFINED)

([UAX-1437] of %3AUNDEFINED)

([UAX-1440] of %3AUNDEFINED)

([UAX-1451] of %3AUNDEFINED)

([UAX-1481] of %3AUNDEFINED)

([UAX-1487] of %3AUNDEFINED)

([UAX-1488] of %3AUNDEFINED)

([UAX-1489] of %3AUNDEFINED)

([UAX-1504] of %3AUNDEFINED)

([UAX-1505] of %3AUNDEFINED)

([UAX-1506] of %3AUNDEFINED)

([UAX-1518] of %3AUNDEFINED)

([UAX-1519] of %3AUNDEFINED)

([UAX-1520] of %3AUNDEFINED)

([UAX-1536] of %3AUNDEFINED)

([UAX-1545] of %3AUNDEFINED)

([UAX-1561] of %3AUNDEFINED)

([UAX-1562] of %3AUNDEFINED)

([UAX-1563] of %3AUNDEFINED)

([UAX-1579] of %3AUNDEFINED)

([UAX-1580] of %3AUNDEFINED)

([UAX-1584] of %3AUNDEFINED)

([UAX-1585] of %3AUNDEFINED)

([UAX-1588] of %3AUNDEFINED)

([UAX-1590] of %3AUNDEFINED)

([UAX-1591] of %3AUNDEFINED)

([UAX-1599] of %3AUNDEFINED)

([UBLcore_00000] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ADomain3Class]))

([UBLinv014_00277] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3AAXIOMS]))

([UBLinv018_00288] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ADomain2Type]))

([UBLinv018_00290] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ADomain1Type]))

([UBLinv018t_00300] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ADomain3Type]))

([UBLinv018t_00302] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ADomain4Class]))

([UBLinv018t_00304] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ADomain4Value]))

([UBLinv018t_00306] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ADomain4Type]))

([UBLinv018t_00322] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3AisInModule]))

([UBLinv019_00333] of %3ASTANDARD-FACET
	(%3AASSOCIATED-SLOT [%3ALOAD-SEQUENCE]))

([Unconscious] of %3AUNDEFINED)

([Unhappiness] of %3AUNDEFINED)

([UNITS_OF_MEASURE] of %3AUNDEFINED)