; Thu Feb 19 06:46:10 EST 2004
; 
;+ (version "1.8")
;+ (build "Build 1074")

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

([%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))

([%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))

([%28CitizenryFn+GeopoliticalArea%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))

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

([%28DayFn+25+%28MonthFn+2+%28YearFn+2003%29%29%29] of Day
	(%3ALOAD-SEQUENCE 3815)
	(%3AisInModule [Invoices])
	(%3Adocumentation "Implied instance from SKIF assertion 32: rel = date_3 *on* JoineryInvoice-2003-00645")
	(%3ASUO-name "(DayFn 25 (MonthFn 2 (YearFn 2003)))"))

([%28DayFn+3+%28MonthFn+2+%28YearFn+2003%29%29%29] of Day
	(%3ALOAD-SEQUENCE 3816)
	(%3AisInModule [Invoices])
	(%3Adocumentation "Implied instance from SKIF assertion 34: rel = date_3 *on* JoineryPurchase-2003-00645")
	(%3ASUO-name "(DayFn 3 (MonthFn 2 (YearFn 2003)))"))

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

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

([%28DensityFn+MassMeasure+VolumeMeasure%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 3765)
	(%3Adocumentation "Implied instance from SKIF assertion 28: rel = subOrganization_2 *on* UnitedStatesDepartmentOfState")
	(%3ASUO-name "(GovernmentFn UnitedStates)")
	(%3AisInModule [MidLevel]))

([%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))

([%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))

([%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))

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

([%28SquareRootFn+RealNumber%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))

([%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))

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

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

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

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

([%3AClassPredicates] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core])
	(%3ADomain1Type Class)
	(%3ASUO-name ":ClassPredicates"))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([%3AhasClassValue] of %3ATernarySlot
	(%3ADomain2Type Instance)
	(%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")
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core])
	(%3ADomain1Type Class)
	(%3ADomain2Class BinaryRelation)
	(%3ASUO-name ":hasClassValue"))

([%3AhasDefaultValue] of %3ATernarySlot
	(%3ADomain2Type Instance)
	(%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")
	(%3ALOAD-SEQUENCE 0)
	(%3ADomain1Type Class)
	(%3ADomain2Class BinaryRelation)
	(%3ASUO-name ":hasDefaultValue"))

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

([%3AhasRestrictedVal] of %3ATernarySlot
	(%3ADomain2Type Instance)
	(%3AAXIOMS "(KAX-004)\n(<=>\n   (:hasRestrictedVal ?CLASS ?REL ?CLASS2)\n   (:isRestrictedTo ?REL ?CLASS1 ?CLASS2))")
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core])
	(%3ADomain1Type Class)
	(%3ADomain2Class BinaryRelation)
	(%3ASUO-name ":hasRestrictedVal"))

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

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

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

([%3AisaSynonymOf] of %3AUBL-SLOT
	(%3AAXIOMS "(=>\n   (:isaSynonymOf ?SYN ?CONC)\n   (:SYNONYMS ?CONC ?SYN))")
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core])
	(%3ADomain1Type Instance)
	(%3ASUO-name ":isaSynonymOf"))

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

([%3AisRestrictedTo] of %3ATernarySlot
	(%3ADomain2Type Class)
	(%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))")
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core])
	(%3AASSOCIATED-FACET [SKIFcore_00400])
	(%3ADomain1Type Instance)
	(%3ADomain2Class Entity)
	(%3ASUO-name ":isRestrictedTo"))

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

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

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

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

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

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

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

([%3ArelationAllExists] of %3ATernarySlot
	(%3ADomain2Type Class)
	(%3AAXIOMS "(=>\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))))))\n")
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core])
	(%3AASSOCIATED-FACET [SKIFcore_00418])
	(%3ADomain1Type Instance)
	(%3ADomain2Class Entity)
	(%3ASUO-name ":relationAllExists"))

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

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

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

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

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

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

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

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

([%3ASYNONYMS] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 0)
	(%3AisInModule [KIF-core])
	(%3AASSOCIATED-FACET [SKIFcore4_00382]))

([%3AUBL-Synonym] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3968)
	(%3AisInModule [UBL-invoice]))

([%3AuncInstList] of %3AUBL-SLOT
	(%3ALOAD-SEQUENCE 0)
	(%3ADomain1Type Instance)
	(%3ASUO-name ":uncInstList"))

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

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

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

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

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

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

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

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

([AbnormalAnatomicalStructure] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1670)
	(%3ASLOT-CONSTRAINTS [UAX-0705])
	(disjoint [BodyPart])
	(%3AisInModule [OBJECTS]))

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

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

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

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

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

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

([AbstractCode] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3917)
	(%3AClassPredicates "(:hasRestrictedVal AbstractCode createdBy StandardsAuthority)")
	(%3AisInModule [UBL-invoice]))

([AbstractCodeList] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3910)
	(%3AClassPredicates "(:hasRestrictedVal AbstractCodeList hasListElement CodeDefinition)")
	(%3AisInModule [UBL-invoice]))

([AbstractCodeString] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3918)
	(%3AisInModule [UBL-invoice]))

([AbstractDateText] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3937)
	(%3AClassPredicates
		"(:hasRestrictedVal AbstractDateText representsAbstractly TimeInterval)"
		"(:hasRestrictedVal AbstractDateText hasTextFormat DateFormat)")
	(%3AisInModule [UBL-invoice]))

([AbstractDateTimeText] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3936)
	(%3AClassPredicates
		"(hasNecessaryRelationTo AbstractDateTimeText hasTextComponent AbstractDateText)"
		"(hasNecessaryRelationTo AbstractDateTimeText hasTextComponent AbstractTimeText)"
		"(:hasRestrictedVal AbstractDateTimeText representsAbstractly TimeInterval)"
		"(:hasRestrictedVal AbstractDateTimeText hasTextFormat DateTimeFormat)")
	(%3AisInModule [UBL-invoice]))

([AbstractDespatchAdvice] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3958)
	(%3AisInModule [UBL-invoice]))

([AbstractDocument] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3943)
	(%3AClassPredicates
		"(:hasRestrictedVal AbstractDocument representsAbstractly Proposition)"
		"(:hasRestrictedVal AbstractDocument isAbstractContentOf DocumentPhysical)")
	(%3AisInModule [UBL-invoice]))

([AbstractFormattedText] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3933)
	(%3AClassPredicates "(minCardinalityAtClasses AbstractFormattedText hasTextComponent 2 AbstractText)")
	(%3AisInModule [UBL-invoice]))

([AbstractInformationalEntity] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3885)
	(%3AisInModule [Core]))

([AbstractInvoice] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3953)
	(%3AisInModule [UBL-invoice]))

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

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

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

([AbstractOrder] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3952)
	(%3AisInModule [UBL-invoice]))

([AbstractOrderCancellation] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3957)
	(%3AisInModule [UBL-invoice]))

([AbstractOrderChange] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3954)
	(%3AisInModule [UBL-invoice]))

([AbstractOrderResponse] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3956)
	(%3AisInModule [UBL-invoice]))

([AbstractOrderResponseSimple] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3955)
	(%3AisInModule [UBL-invoice]))

([AbstractReceiptAdvice] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3959)
	(%3AisInModule [UBL-invoice]))

([AbstractString] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3931)
	(%3AisInModule [UBL-invoice]))

([AbstractSymbol] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3870)
	(%3AisInModule [Core]))

([AbstractText] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3932)
	(%3AisInModule [UBL-invoice]))

([AbstractTimeText] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3938)
	(%3AClassPredicates
		"(:hasRestrictedVal AbstractTimeText representsAbstractly RecurrentTimeInterval)"
		"(:hasRestrictedVal AbstractTimeText hasTextFormat TimeFormat)")
	(%3AisInModule [UBL-invoice]))

([AcademicDegree] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2863)
	(%3ASLOT-CONSTRAINTS [UAX-1217])
	(%3AisInModule [MidLevel]))

([Accelerating] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2917)
	(%3ASLOT-CONSTRAINTS [UAX-1238])
	(%3AisInModule [MidLevel]))

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

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

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

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

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

([ActualExistence] of Attribute
	(%3ALOAD-SEQUENCE 3844)
	(%3Adocumentation "\"ActualExistence  is the attribute of something that is present in some particular context.  It can apply to fictional contexts, and is intended to allow assertions that something exists - whether in the real world, or a hypothetical world.  (holdsInContext (property AlbertEinstein ActualExistence) SpaceAndTime) means that something named AlbertEinstein exists or did exists at some time in our real world.\"")
	(%3AisInModule [Core])
	(%3ASUO-name "ActualExistence"))

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

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

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

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

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

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

([Address] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2326)
	(%3AisInModule [MidLevel]))

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

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

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

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

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

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

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

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

([Advertising] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1425)
	(%3ASLOT-CONSTRAINTS [UAX-0608])
	(%3AisInModule [PROCESSES]))

([Aerator] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2198)
	(%3ASLOT-CONSTRAINTS [UAX-0922])
	(%3AisInModule [MidLevel]))

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

([Afternoon] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3031)
	(%3ASLOT-CONSTRAINTS [UAX-1291])
	(%3AisInModule [MidLevel]))

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

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

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

([AgeGroup] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1837)
	(%3ASLOT-CONSTRAINTS [UAX-0782])
	(%3AisInModule [OBJECTS]))

([agent] of CaseRole
	(%3AidenticalTo "Slot(agent_1)")
	(%3ALOAD-SEQUENCE 286)
	(%3Adocumentation "\"(&%agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant, either animate or inanimate, of the &%Process ?PROCESS, with or without voluntary intention.  For example, water is the &%agent of erosion in the following proposition:  the water eroded the coastline.  For another example, Eve is an &%agent in the following proposition: Eve bit an apple.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "agent"))

([Agent] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 185)
	(%3ASLOT-CONSTRAINTS [UAX-0073])
	(%3AisInModule [BASE_ONTOLOGY]))

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

([AgentGroup] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3790)
	(%3AisInModule [Invoices]))

([Agreement] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3900)
	(%3AisInModule [UBL-invoice]))

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

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

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

([Agriculture] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3427)
	(%3ASLOT-CONSTRAINTS [UAX-1435])
	(%3AisInModule [MidLevel]))

([Air] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1649)
	(%3ASLOT-CONSTRAINTS
		[UAX-0692]
		[UAX-0693]
		[UAX-0694]
		[UAX-0695]
		[UAX-0696])
	(%3AisInModule [OBJECTS]))

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

([Airplane] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3602)
	(%3AisInModule [MidLevel]))

([Airport] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3567)
	(%3ASLOT-CONSTRAINTS [UAX-1474])
	(%3AisInModule [MidLevel]))

([AirStream] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3414)
	(%3AisInModule [MidLevel]))

([AirTransportation] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2956)
	(%3ASLOT-CONSTRAINTS
		[UAX-1257]
		[UAX-1258])
	(%3AisInModule [MidLevel]))

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

([Alcohol] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2479)
	(%3AisInModule [MidLevel]))

([AlcoholicBeverage] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2547)
	(%3ASLOT-CONSTRAINTS [UAX-1070])
	(%3AisInModule [MidLevel]))

([AlethicAttribute] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1973)
	(%3AisInModule [QUALITIES]))

([Alga] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1585)
	(%3ASLOT-CONSTRAINTS [UAX-0677])
	(disjoint
		[Fern]
		[Fungus]
		[Moss])
	(%3AisInModule [OBJECTS]))

([altitude] of SingleValuedRelation
	(%3AidenticalTo
		"Instance(altitude_3 of Cls(TernaryPredicate))"
		"Instance(altitude_2 of Cls(SpatialRelation))"
		"Slot(altitude_1)")
	(%3ALOAD-SEQUENCE 844)
	(%3Adocumentation "\"A &%TernaryPredicate that is used to state the &%distance between the &%top of an &%Object and another point that is below the &%top of the &%Object (often this other point will be sea level).  Note that this &%Predicate can be used to specify, for example, the height of geographic features, e.g. mountains, the altitude of aircraft, and the orbit of satellites around the Earth.\"")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASUO-name "altitude"))

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

([altitude_2] of SpatialRelation
	(%3AidenticalTo
		"Instance(altitude_3 of Cls(TernaryPredicate))"
		"Instance(altitude of Cls(SingleValuedRelation))"
		"Slot(altitude_1)")
	(%3ALOAD-SEQUENCE 844)
	(%3Adocumentation "\"A &%TernaryPredicate that is used to state the &%distance between the &%top of an &%Object and another point that is below the &%top of the &%Object (often this other point will be sea level).  Note that this &%Predicate can be used to specify, for example, the height of geographic features, e.g. mountains, the altitude of aircraft, and the orbit of satellites around the Earth.\"")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASUO-name "altitude"))

([altitude_3] of TernaryPredicate
	(%3AidenticalTo
		"Instance(altitude of Cls(SingleValuedRelation))"
		"Instance(altitude_2 of Cls(SpatialRelation))"
		"Slot(altitude_1)")
	(%3ALOAD-SEQUENCE 844)
	(%3Adocumentation "\"A &%TernaryPredicate that is used to state the &%distance between the &%top of an &%Object and another point that is below the &%top of the &%Object (often this other point will be sea level).  Note that this &%Predicate can be used to specify, for example, the height of geographic features, e.g. mountains, the altitude of aircraft, and the orbit of satellites around the Earth.\"")
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASUO-name "altitude"))

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

([AmericanCity] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2452)
	(%3ASLOT-CONSTRAINTS [UAX-1032])
	(%3AisInModule [MidLevel]))

([AmericanState] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2450)
	(%3ASLOT-CONSTRAINTS [UAX-1031])
	(%3AisInModule [MidLevel]))

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

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

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

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

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

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

([Amu] of %3ASYN-CLASS
	(%3AidenticalTo "Instance(Amu_1 of Cls(UnitOfMeasure))")
	(%3ALOAD-SEQUENCE 769)
	(%3ASLOT-CONSTRAINTS [UAX-0287])
	(%3AisInModule [UNITS_OF_MEASURE]))

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

([Anaconda] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2622)
	(%3AisInModule [MidLevel]))

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

([AnatomicalStructure] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1667)
	(%3ASLOT-CONSTRAINTS
		[UAX-0703]
		[UAX-0704])
	(disjoint [Organism])
	(%3AisInModule [OBJECTS])
	(partition2
		[AnimalAnatomicalStructure]
		[PlantAnatomicalStructure])
	(partition
		[BodyPart]
		[AbnormalAnatomicalStructure]))

([ancestor] of TransitiveRelation
	(%3AidenticalTo
		"Instance(ancestor_3 of Cls(BinaryPredicate))"
		"Instance(ancestor_1 of Cls(IrreflexiveRelation))"
		"Slot(ancestor_2)")
	(%3ALOAD-SEQUENCE 1579)
	(%3Adocumentation "\"The transitive closure of the &%parent predicate. (&%ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the &%parent of ?DESCENDANT or the &%parent of the &%parent of &%DESCENDANT or etc.\"")
	(%3AisInModule [OBJECTS])
	(%3ASUO-name "ancestor"))

([ancestor_1] of IrreflexiveRelation
	(%3AidenticalTo
		"Instance(ancestor_3 of Cls(BinaryPredicate))"
		"Instance(ancestor of Cls(TransitiveRelation))"
		"Slot(ancestor_2)")
	(%3ALOAD-SEQUENCE 1579)
	(%3Adocumentation "\"The transitive closure of the &%parent predicate. (&%ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the &%parent of ?DESCENDANT or the &%parent of the &%parent of &%DESCENDANT or etc.\"")
	(%3AisInModule [OBJECTS])
	(%3ASUO-name "ancestor"))

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

([ancestor_3] of BinaryPredicate
	(%3AidenticalTo
		"Instance(ancestor of Cls(TransitiveRelation))"
		"Instance(ancestor_1 of Cls(IrreflexiveRelation))"
		"Slot(ancestor_2)")
	(%3ALOAD-SEQUENCE 1579)
	(%3Adocumentation "\"The transitive closure of the &%parent predicate. (&%ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the &%parent of ?DESCENDANT or the &%parent of the &%parent of &%DESCENDANT or etc.\"")
	(%3AisInModule [OBJECTS])
	(%3ASUO-name "ancestor"))

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

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

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

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

([AngleMeasure] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 660)
	(%3AisInModule [UNITS_OF_MEASURE]))

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

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

([Angstrom] of %3ASYN-CLASS
	(%3AidenticalTo "Instance(Angstrom_1 of Cls(UnitOfMeasure))")
	(%3ALOAD-SEQUENCE 774)
	(%3ASLOT-CONSTRAINTS [UAX-0289])
	(%3AisInModule [UNITS_OF_MEASURE]))

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

([AngularDegree] of %3ASYN-CLASS
	(%3AidenticalTo "Instance(AngularDegree_1 of Cls(UnitOfMeasure))")
	(%3ALOAD-SEQUENCE 816)
	(%3ASLOT-CONSTRAINTS
		[UAX-0305]
		[UAX-0306]
		[UAX-0307])
	(%3AisInModule [UNITS_OF_MEASURE]))

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

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

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

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

([AnimacyAttribute] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2079)
	(%3AClassPredicates "(exhaustiveAttribute AnimacyAttribute Living Dead)")
	(%3AisInModule [QUALITIES]))

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

([AnimalAnatomicalStructure] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1675)
	(%3ASLOT-CONSTRAINTS [UAX-0708])
	(disjoint [PlantAnatomicalStructure])
	(%3AisInModule [OBJECTS]))

([AnimalLanguage] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 170)
	(%3ASLOT-CONSTRAINTS [UAX-0069])
	(disjoint
		[HumanLanguage]
		[ComputerLanguage])
	(%3AisInModule [BASE_ONTOLOGY]))

([AnimalResidence] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2358)
	(%3ASLOT-CONSTRAINTS [UAX-0988])
	(%3AisInModule [MidLevel]))

([AnimalSubstance] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2526)
	(%3ASLOT-CONSTRAINTS [UAX-1062])
	(%3AisInModule [MidLevel]))

([Answering] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2171)
	(%3ASLOT-CONSTRAINTS [UAX-0912])
	(%3AisInModule [MidLevel]))

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

([Antenna] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2818)
	(%3ASLOT-CONSTRAINTS [UAX-1196])
	(%3AisInModule [MidLevel]))

([Antibody] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2537)
	(%3ASLOT-CONSTRAINTS [UAX-1066])
	(%3AisInModule [MidLevel]))

([Antigen] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2539)
	(%3AisInModule [MidLevel]))

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

([AntisymmetricRelation] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 273)
	(%3ASLOT-CONSTRAINTS [UAX-0097])
	(%3AisInModule [BASE_ONTOLOGY]))

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

([ApartmentBuilding] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2354)
	(%3ASLOT-CONSTRAINTS [UAX-0986])
	(disjoint [SingleFamilyResidence])
	(%3AisInModule [MidLevel]))

([ApartmentUnit] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2347)
	(%3ASLOT-CONSTRAINTS
		[UAX-0982]
		[UAX-0983])
	(%3AisInModule [MidLevel]))

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

([Application] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2733)
	(%3ASLOT-CONSTRAINTS [UAX-1159])
	(%3AisInModule [MidLevel]))

([April] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 959)
	(%3ASLOT-CONSTRAINTS
		[UAX-0377]
		[UAX-0378])
	(%3AisInModule [TEMPORAL_CONCEPTS]))

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

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

([ArcticRegion] of GeographicArea
	(%3ALOAD-SEQUENCE 3461)
	(%3AisInModule [MidLevel])
	(%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 BinaryPredicate
	(%3AidenticalTo
		"Slot(arcWeight_2)"
		"Instance(arcWeight_1 of Cls(SingleValuedRelation))")
	(%3ALOAD-SEQUENCE 630)
	(%3Adocumentation "\"This predicate indicates the value of a &%GraphArc in a &%Graph.  This could map to the length of a road in a road network or the flow rate of a pipe in a plumbing system.\"")
	(%3AisInModule [GRAPH_THEORY])
	(%3ASUO-name "arcWeight"))

([arcWeight_1] of SingleValuedRelation
	(%3AidenticalTo
		"Slot(arcWeight_2)"
		"Instance(arcWeight of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 630)
	(%3Adocumentation "\"This predicate indicates the value of a &%GraphArc in a &%Graph.  This could map to the length of a road in a road network or the flow rate of a pipe in a plumbing system.\"")
	(%3AisInModule [GRAPH_THEORY])
	(%3ASUO-name "arcWeight"))

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

([AreaMeasure] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 656)
	(%3AisInModule [UNITS_OF_MEASURE]))

([Arguing] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2173)
	(%3ASLOT-CONSTRAINTS [UAX-0913])
	(%3AisInModule [MidLevel]))

([Argument] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1885)
	(%3ASLOT-CONSTRAINTS
		[UAX-0798]
		[UAX-0799])
	(%3AisInModule [QUALITIES]))

([Arm] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2611)
	(%3ASLOT-CONSTRAINTS [UAX-1103])
	(%3AisInModule [MidLevel]))

([Army] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2460)
	(%3AisInModule [MidLevel]))

([Arriving] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2932)
	(%3ASLOT-CONSTRAINTS [UAX-1246])
	(%3AisInModule [MidLevel]))

([ArrowIcon] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2684)
	(%3AisInModule [MidLevel]))

([Artery] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2561)
	(%3ASLOT-CONSTRAINTS [UAX-1076])
	(%3AisInModule [MidLevel]))

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

([Article] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1751)
	(%3ASLOT-CONSTRAINTS [UAX-0742])
	(disjoint [Book])
	(%3AisInModule [OBJECTS]))

([Artifact] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1765)
	(%3ASLOT-CONSTRAINTS [UAX-0748])
	(%3AisInModule [OBJECTS]))

([ArtificialLanguage] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 172)
	(%3AisInModule [BASE_ONTOLOGY]))

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

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

([ArtPainting] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2229)
	(%3ASLOT-CONSTRAINTS [UAX-0932])
	(%3AisInModule [MidLevel]))

([ArtStudio] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2336)
	(%3ASLOT-CONSTRAINTS [UAX-0977])
	(%3AisInModule [MidLevel]))

([ArtWork] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1788)
	(%3AisInModule [OBJECTS]))

([AsexualReproduction] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1146)
	(%3ASLOT-CONSTRAINTS [UAX-0476])
	(disjoint [SexualReproduction])
	(%3AisInModule [PROCESSES]))

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

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

([Assent] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3901)
	(%3AisInModule [UBL-invoice]))

([Assertion] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3904)
	(%3AisInModule [UBL-invoice]))

([Asset] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3262)
	(%3ASLOT-CONSTRAINTS
		[UAX-1373]
		[UAX-1374])
	(%3AisInModule [MidLevel]))

([AssignmentFn] of Function
	(%3AidenticalTo
		"Instance(AssignmentFn_1 of Cls(VariableArityRelation))"
		"Slot(AssignmentFn_2)")
	(%3ALOAD-SEQUENCE 94)
	(%3Adocumentation "\"If F is a function with a value for the objects denoted by N1,..., NK, then the term (AssignmentFn F N1 ... NK) denotes the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined.\"")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "AssignmentFn"))

([AssignmentFn_1] of VariableArityRelation
	(%3AidenticalTo
		"Instance(AssignmentFn of Cls(Function))"
		"Slot(AssignmentFn_2)")
	(%3ALOAD-SEQUENCE 94)
	(%3Adocumentation "\"If F is a function with a value for the objects denoted by N1,..., NK, then the term (AssignmentFn F N1 ... NK) denotes the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined.\"")
	(%3AisInModule [STRUCTURAL_ONTOLOGY])
	(%3ASUO-name "AssignmentFn"))

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

([Assn00000] of %3AAssertion
	(%3ASUO-name "Assn00000")
	(%3ALOAD-SEQUENCE 3686)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"orbits"
		"EarthsMoon"
		"PlanetEarth")
	(%3AliteralTranscription "(orbits EarthsMoon PlanetEarth)"))

([Assn00001] of %3AAssertion
	(%3ASUO-name "Assn00001")
	(%3ALOAD-SEQUENCE 3687)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"orbits"
		"PlanetEarth"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetEarth Sol)"))

([Assn00002] of %3AAssertion
	(%3ASUO-name "Assn00002")
	(%3ALOAD-SEQUENCE 3688)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"orbits"
		"PlanetMercury"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetMercury Sol)"))

([Assn00003] of %3AAssertion
	(%3ASUO-name "Assn00003")
	(%3ALOAD-SEQUENCE 3689)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"orbits"
		"PlanetVenus"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetVenus Sol)"))

([Assn00004] of %3AAssertion
	(%3ASUO-name "Assn00004")
	(%3ALOAD-SEQUENCE 3690)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"orbits"
		"PlanetMars"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetMars Sol)"))

([Assn00005] of %3AAssertion
	(%3ASUO-name "Assn00005")
	(%3ALOAD-SEQUENCE 3691)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"orbits"
		"PlanetJupiter"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetJupiter Sol)"))

([Assn00006] of %3AAssertion
	(%3ASUO-name "Assn00006")
	(%3ALOAD-SEQUENCE 3692)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"orbits"
		"PlanetSaturn"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetSaturn Sol)"))

([Assn00007] of %3AAssertion
	(%3ASUO-name "Assn00007")
	(%3ALOAD-SEQUENCE 3693)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"orbits"
		"PlanetNeptune"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetNeptune Sol)"))

([Assn00008] of %3AAssertion
	(%3ASUO-name "Assn00008")
	(%3ALOAD-SEQUENCE 3694)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"orbits"
		"PlanetUranus"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetUranus Sol)"))

([Assn00009] of %3AAssertion
	(%3ASUO-name "Assn00009")
	(%3ALOAD-SEQUENCE 3695)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"orbits"
		"PlanetPluto"
		"Sol")
	(%3AliteralTranscription "(orbits PlanetPluto Sol)"))

([Assn00010] of %3AAssertion
	(%3ASUO-name "Assn00010")
	(%3ALOAD-SEQUENCE 3702)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"subCollection"
		"Protestantism"
		"Christianity")
	(%3AliteralTranscription "(subCollection Protestantism Christianity)"))

([Assn00011] of %3AAssertion
	(%3ASUO-name "Assn00011")
	(%3ALOAD-SEQUENCE 3703)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"subCollection"
		"RomanCatholicism"
		"Christianity")
	(%3AliteralTranscription "(subCollection RomanCatholicism Christianity)"))

([Assn00012] of %3AAssertion
	(%3ASUO-name "Assn00012")
	(%3ALOAD-SEQUENCE 3711)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"subField"
		"Physiology"
		"Biology")
	(%3AliteralTranscription "(subField Physiology Biology)"))

([Assn00013] of %3AAssertion
	(%3ASUO-name "Assn00013")
	(%3ALOAD-SEQUENCE 3712)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"subField"
		"MedicalScience"
		"Biology")
	(%3AliteralTranscription "(subField MedicalScience Biology)"))

([Assn00014] of %3AAssertion
	(%3ASUO-name "Assn00014")
	(%3ALOAD-SEQUENCE 3716)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"subField"
		"Electronics"
		"Physics")
	(%3AliteralTranscription "(subField Electronics Physics)"))

([Assn00015] of %3AAssertion
	(%3ASUO-name "Assn00015")
	(%3ALOAD-SEQUENCE 3716)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"subField"
		"Electronics"
		"Engineering")
	(%3AliteralTranscription "(subField Electronics Engineering)"))

([Assn00016] of %3AAssertion
	(%3ASUO-name "Assn00016")
	(%3ALOAD-SEQUENCE 3723)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"part"
		"RedRiver"
		"UnitedStates")
	(%3AliteralTranscription "(part RedRiver UnitedStates)"))

([Assn00017] of %3AAssertion
	(%3ASUO-name "Assn00017")
	(%3ALOAD-SEQUENCE 3724)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"meetsSpatially"
		"Mexico"
		"UnitedStates")
	(%3AliteralTranscription "(meetsSpatially Mexico UnitedStates)"))

([Assn00018] of %3AAssertion
	(%3ASUO-name "Assn00018")
	(%3ALOAD-SEQUENCE 3738)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"meetsSpatially"
		"Virginia"
		"WashingtonDC")
	(%3AliteralTranscription "(meetsSpatially Virginia WashingtonDC)"))

([Assn00019] of %3AAssertion
	(%3ASUO-name "Assn00019")
	(%3ALOAD-SEQUENCE 3740)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"part"
		"NewEngland"
		"UnitedStates")
	(%3AliteralTranscription "(part NewEngland UnitedStates)"))

([Assn00020] of %3AAssertion
	(%3ASUO-name "Assn00020")
	(%3ALOAD-SEQUENCE 3741)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"part"
		"NewYorkCity"
		"NewYorkState")
	(%3AliteralTranscription "(part NewYorkCity NewYorkState)"))

([Assn00021] of %3AAssertion
	(%3ASUO-name "Assn00021")
	(%3ALOAD-SEQUENCE 3748)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"part"
		"LosAngeles"
		"California")
	(%3AliteralTranscription "(part LosAngeles California)"))

([Assn00022] of %3AAssertion
	(%3ASUO-name "Assn00022")
	(%3ALOAD-SEQUENCE 3750)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"part"
		"SanFrancisco"
		"California")
	(%3AliteralTranscription "(part SanFrancisco California)"))

([Assn00023] of %3AAssertion
	(%3ASUO-name "Assn00023")
	(%3ALOAD-SEQUENCE 3752)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"part"
		"PuertoRico"
		"UnitedStates")
	(%3AliteralTranscription "(part PuertoRico UnitedStates)"))

([Assn00024] of %3AAssertion
	(%3ASUO-name "Assn00024")
	(%3ALOAD-SEQUENCE 3754)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"part"
		"Paris"
		"France")
	(%3AliteralTranscription "(part Paris France)"))

([Assn00025] of %3AAssertion
	(%3ASUO-name "Assn00025")
	(%3ALOAD-SEQUENCE 3758)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"part"
		"London"
		"UnitedKingdomOfGreatBritainAndNorthernIreland")
	(%3AliteralTranscription "(part London UnitedKingdomOfGreatBritainAndNorthernIreland)"))

([Assn00026] of %3AAssertion
	(%3ASUO-name "Assn00026")
	(%3ALOAD-SEQUENCE 3762)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"part"
		"Greece"
		"Europe")
	(%3AliteralTranscription "(part Greece Europe)"))

([Assn00027] of %3AAssertion
	(%3ASUO-name "Assn00027")
	(%3ALOAD-SEQUENCE 3763)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"part"
		"Germany"
		"Europe")
	(%3AliteralTranscription "(part Germany Europe)"))

([Assn00028] of %3AAssertion
	(%3ASUO-name "Assn00028")
	(%3ALOAD-SEQUENCE 3765)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"subOrganization"
		"UnitedStatesDepartmentOfState"
		"(GovernmentFn UnitedStates)")
	(%3AliteralTranscription "(subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates))"))

([Assn00029] of %3AAssertion
	(%3ASUO-name "Assn00029")
	(%3ALOAD-SEQUENCE 3766)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"subOrganization"
		"UnitedStatesDepartmentOfInterior"
		"(GovernmentFn UnitedStates)")
	(%3AliteralTranscription "(subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates))"))

([Assn00030] of %3AAssertion
	(%3ASUO-name "Assn00030")
	(%3ALOAD-SEQUENCE 3770)
	(%3AisInModule [MidLevel])
	(%3AargumentList
		"subOrganization"
		"UnitedStatesCongress"
		"(GovernmentFn UnitedStates)")
	(%3AliteralTranscription "(subOrganization UnitedStatesCongress (GovernmentFn UnitedStates))"))

([Assn00031] of %3AAssertion
	(%3ASUO-name "Assn00031")
	(%3ALOAD-SEQUENCE 3815)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"hasName"
		"JoineryInvoice-2003-00645"
		"\"IN 2003/00645\"")
	(%3AliteralTranscription "(hasName JoineryInvoice-2003-00645 \"IN 2003/00645\")"))

([Assn00032] of %3AAssertion
	(%3ASUO-name "Assn00032")
	(%3ALOAD-SEQUENCE 3815)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"date"
		"JoineryInvoice-2003-00645"
		"(DayFn 25 (MonthFn 2 (YearFn 2003)))")
	(%3AliteralTranscription "(date JoineryInvoice-2003-00645 (DayFn 25 (MonthFn 2 (YearFn 2003))))"))

([Assn00033] of %3AAssertion
	(%3ASUO-name "Assn00033")
	(%3ALOAD-SEQUENCE 3815)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"refers"
		"JoineryInvoice-2003-00645"
		"JoineryPurchase-2003-00645")
	(%3AliteralTranscription "(refers JoineryInvoice-2003-00645 JoineryPurchase-2003-00645)"))

([Assn00034] of %3AAssertion
	(%3ASUO-name "Assn00034")
	(%3ALOAD-SEQUENCE 3816)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"date"
		"JoineryPurchase-2003-00645"
		"(DayFn 3 (MonthFn 2 (YearFn 2003)))")
	(%3AliteralTranscription "(date JoineryPurchase-2003-00645 (DayFn 3 (MonthFn 2 (YearFn 2003))))"))

([Assn00035] of %3AAssertion
	(%3ASUO-name "Assn00035")
	(%3ALOAD-SEQUENCE 3816)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"quantityInEvent"
		"JoineryPurchase-2003-00645"
		"2"
		"JoineryObject-236WV")
	(%3AliteralTranscription "(quantityInEvent JoineryPurchase-2003-00645 2 JoineryObject-236WV)"))

([Assn00036] of %3AAssertion
	(%3ASUO-name "Assn00036")
	(%3ALOAD-SEQUENCE 3820)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"subProcess"
		"Buying-2003-00645"
		"JoineryPurchase-2003-00645")
	(%3AliteralTranscription "(subProcess Buying-2003-00645 JoineryPurchase-2003-00645)"))

([Assn00037] of %3AAssertion
	(%3ASUO-name "Assn00037")
	(%3ALOAD-SEQUENCE 3820)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"agent"
		"Buying-2003-00645"
		"JerryBuilderPLC")
	(%3AliteralTranscription "(agent Buying-2003-00645 JerryBuilderPLC)"))

([Assn00038] of %3AAssertion
	(%3ASUO-name "Assn00038")
	(%3ALOAD-SEQUENCE 3821)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"subProcess"
		"Selling-2003-00645"
		"JoineryPurchase-2003-00645")
	(%3AliteralTranscription "(subProcess Selling-2003-00645 JoineryPurchase-2003-00645)"))

([Assn00039] of %3AAssertion
	(%3ASUO-name "Assn00039")
	(%3ALOAD-SEQUENCE 3821)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"agent"
		"Selling-2003-00645"
		"SpecialistWindowsPLC")
	(%3AliteralTranscription "(agent Selling-2003-00645 SpecialistWindowsPLC)"))

([Assn00040] of %3AAssertion
	(%3ASUO-name "Assn00040")
	(%3ALOAD-SEQUENCE 3822)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"hasName"
		"JerryBuilderPLC"
		"\"Jerry Builder plc\"")
	(%3AliteralTranscription "(hasName JerryBuilderPLC \"Jerry Builder plc\")"))

([Assn00041] of %3AAssertion
	(%3ASUO-name "Assn00041")
	(%3ALOAD-SEQUENCE 3822)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"address"
		"JerryBuilderPLC"
		"MarshLane")
	(%3AliteralTranscription "(address JerryBuilderPLC MarshLane)"))

([Assn00042] of %3AAssertion
	(%3ASUO-name "Assn00042")
	(%3ALOAD-SEQUENCE 3822)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"foo"
		"JerryBuilderPLC"
		"MarshLane")
	(%3AliteralTranscription "(foo JerryBuilderPLC MarshLane)"))

([Assn00043] of %3AAssertion
	(%3ASUO-name "Assn00043")
	(%3ALOAD-SEQUENCE 3823)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"hasName"
		"SpecialistWindowsPLC"
		"\"Specialist Windows plc\"")
	(%3AliteralTranscription "(hasName SpecialistWindowsPLC \"Specialist Windows plc\")"))

([Assn00044] of %3AAssertion
	(%3ASUO-name "Assn00044")
	(%3ALOAD-SEQUENCE 3823)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"address"
		"SpecialistWindowsPLC"
		"SnowhillWorks")
	(%3AliteralTranscription "(address SpecialistWindowsPLC SnowhillWorks)"))

([Assn00045] of %3AAssertion
	(%3ASUO-name "Assn00045")
	(%3ALOAD-SEQUENCE 3823)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"located"
		"SpecialistWindowsPLC"
		"SnowhillWorks")
	(%3AliteralTranscription "(located SpecialistWindowsPLC SnowhillWorks)"))

([Assn00046] of %3AAssertion
	(%3ASUO-name "Assn00046")
	(%3ALOAD-SEQUENCE 3824)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"hasName"
		"MarshLane"
		"\"Marsh Lane\"")
	(%3AliteralTranscription "(hasName MarshLane \"Marsh Lane\")"))

([Assn00047] of %3AAssertion
	(%3ASUO-name "Assn00047")
	(%3ALOAD-SEQUENCE 3824)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"located"
		"MarshLane"
		"NowhereNorfolk")
	(%3AliteralTranscription "(located MarshLane NowhereNorfolk)"))

([Assn00048] of %3AAssertion
	(%3ASUO-name "Assn00048")
	(%3ALOAD-SEQUENCE 3824)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"hasPostalCode"
		"MarshLane"
		"\"NR18 4XX\"")
	(%3AliteralTranscription "(hasPostalCode MarshLane \"NR18 4XX\")"))

([Assn00049] of %3AAssertion
	(%3ASUO-name "Assn00049")
	(%3ALOAD-SEQUENCE 3825)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"located"
		"NowhereNorfolk"
		"NorfolkUK")
	(%3AliteralTranscription "(located NowhereNorfolk NorfolkUK)"))

([Assn00050] of %3AAssertion
	(%3ASUO-name "Assn00050")
	(%3ALOAD-SEQUENCE 3826)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"located"
		"NorfolkUK"
		"UnitedKingdom")
	(%3AliteralTranscription "(located NorfolkUK UnitedKingdom)"))

([Assn00051] of %3AAssertion
	(%3ASUO-name "Assn00051")
	(%3ALOAD-SEQUENCE 3827)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"hasName"
		"SnowhillWorks"
		"\"Snowhill Works\"")
	(%3AliteralTranscription "(hasName SnowhillWorks \"Snowhill Works\")"))

([Assn00052] of %3AAssertion
	(%3ASUO-name "Assn00052")
	(%3ALOAD-SEQUENCE 3827)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"located"
		"SnowhillWorks"
		"LittleSnoringWhereshire")
	(%3AliteralTranscription "(located SnowhillWorks LittleSnoringWhereshire)"))

([Assn00053] of %3AAssertion
	(%3ASUO-name "Assn00053")
	(%3ALOAD-SEQUENCE 3827)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"hasPostalCode"
		"SnowhillWorks"
		"\"SM2 3NW\"")
	(%3AliteralTranscription "(hasPostalCode SnowhillWorks \"SM2 3NW\")"))

([Assn00054] of %3AAssertion
	(%3ASUO-name "Assn00054")
	(%3ALOAD-SEQUENCE 3828)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"located"
		"LittleSnoringWhereshire"
		"WhereshireUK")
	(%3AliteralTranscription "(located LittleSnoringWhereshire WhereshireUK)"))

([Assn00055] of %3AAssertion
	(%3ASUO-name "Assn00055")
	(%3ALOAD-SEQUENCE 3829)
	(%3AisInModule [Invoices])
	(%3AargumentList
		"located"
		"WhereshireUK"
		"UnitedKingdom")
	(%3AliteralTranscription "(located WhereshireUK UnitedKingdom)"))

([Assn00056] of %3AAssertion
	(%3ASUO-name "Assn00056")
	(%3ALOAD-SEQUENCE 3970)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":synonymousTerm"
		"UBLBinObject"
		"\"Binary Object\"")
	(%3AliteralTranscription "(:synonymousTerm UBLBinObject \"Binary Object\")"))

([Assn00057] of %3AAssertion
	(%3ASUO-name "Assn00057")
	(%3ALOAD-SEQUENCE 3970)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":inLanguage"
		"UBLBinObject"
		"UBLv10")
	(%3AliteralTranscription "(:inLanguage UBLBinObject UBLv10)"))

([Assn00058] of %3AAssertion
	(%3ASUO-name "Assn00058")
	(%3ALOAD-SEQUENCE 3970)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":hasFrequency"
		"UBLBinObject"
		"1.0")
	(%3AliteralTranscription "(:hasFrequency UBLBinObject 1.0)"))

([Assn00059] of %3AAssertion
	(%3ASUO-name "Assn00059")
	(%3ALOAD-SEQUENCE 3970)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":SUO-name"
		"UBLBinObject"
		"\"Binary Object\"")
	(%3AliteralTranscription "(:SUO-name UBLBinObject \"Binary Object\")"))

([Assn00060] of %3AAssertion
	(%3ASUO-name "Assn00060")
	(%3ALOAD-SEQUENCE 3971)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":synonymousTerm"
		"UBLCode"
		"\"Code\"")
	(%3AliteralTranscription "(:synonymousTerm UBLCode \"Code\")"))

([Assn00061] of %3AAssertion
	(%3ASUO-name "Assn00061")
	(%3ALOAD-SEQUENCE 3971)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":inLanguage"
		"UBLCode"
		"UBLv10")
	(%3AliteralTranscription "(:inLanguage UBLCode UBLv10)"))

([Assn00062] of %3AAssertion
	(%3ASUO-name "Assn00062")
	(%3ALOAD-SEQUENCE 3971)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":hasFrequency"
		"UBLCode"
		"1.0")
	(%3AliteralTranscription "(:hasFrequency UBLCode 1.0)"))

([Assn00063] of %3AAssertion
	(%3ASUO-name "Assn00063")
	(%3ALOAD-SEQUENCE 3971)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":SUO-name"
		"UBLCode"
		"\"Code\"")
	(%3AliteralTranscription "(:SUO-name UBLCode \"Code\")"))

([Assn00064] of %3AAssertion
	(%3ASUO-name "Assn00064")
	(%3ALOAD-SEQUENCE 3972)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":synonymousTerm"
		"UBLQuantity"
		"\"Quantity\"")
	(%3AliteralTranscription "(:synonymousTerm UBLQuantity \"Quantity\")"))

([Assn00065] of %3AAssertion
	(%3ASUO-name "Assn00065")
	(%3ALOAD-SEQUENCE 3972)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":inLanguage"
		"UBLQuantity"
		"UBLv10")
	(%3AliteralTranscription "(:inLanguage UBLQuantity UBLv10)"))

([Assn00066] of %3AAssertion
	(%3ASUO-name "Assn00066")
	(%3ALOAD-SEQUENCE 3972)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":hasFrequency"
		"UBLQuantity"
		"1.0")
	(%3AliteralTranscription "(:hasFrequency UBLQuantity 1.0)"))

([Assn00067] of %3AAssertion
	(%3ASUO-name "Assn00067")
	(%3ALOAD-SEQUENCE 3972)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":SUO-name"
		"UBLQuantity"
		"\"Quantity\"")
	(%3AliteralTranscription "(:SUO-name UBLQuantity \"Quantity\")"))

([Assn00068] of %3AAssertion
	(%3ASUO-name "Assn00068")
	(%3ALOAD-SEQUENCE 3973)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":synonymousTerm"
		"UBLAmount"
		"\"Amount\"")
	(%3AliteralTranscription "(:synonymousTerm UBLAmount \"Amount\")"))

([Assn00069] of %3AAssertion
	(%3ASUO-name "Assn00069")
	(%3ALOAD-SEQUENCE 3973)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":inLanguage"
		"UBLAmount"
		"UBLv10")
	(%3AliteralTranscription "(:inLanguage UBLAmount UBLv10)"))

([Assn00070] of %3AAssertion
	(%3ASUO-name "Assn00070")
	(%3ALOAD-SEQUENCE 3973)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":hasFrequency"
		"UBLAmount"
		"1.0")
	(%3AliteralTranscription "(:hasFrequency UBLAmount 1.0)"))

([Assn00071] of %3AAssertion
	(%3ASUO-name "Assn00071")
	(%3ALOAD-SEQUENCE 3973)
	(%3AisInModule [UBL-invoice])
	(%3AargumentList
		":SUO-name"
		"UBLAmount"
		"\"Amount\"")
	(%3AliteralTranscription "(:SUO-name UBLAmount \"Amount\")"))

([AssociativeFunction] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 376)
	(%3ASLOT-CONSTRAINTS [UAX-0144])
	(%3AisInModule [BASE_ONTOLOGY]))

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

([AsymmetricRelation] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 271)
	(%3ASLOT-CONSTRAINTS [UAX-0096])
	(%3AisInModule [BASE_ONTOLOGY]))

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

([Atmosphere] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3407)
	(%3ASLOT-CONSTRAINTS [UAX-1426])
	(%3AisInModule [MidLevel]))

([AtmosphericRegion] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3410)
	(%3ASLOT-CONSTRAINTS [UAX-1427])
	(disjoint [OuterSpaceRegion])
	(%3AisInModule [MidLevel]))

([Atom] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 137)
	(%3ASLOT-CONSTRAINTS
		[UAX-0058]
		[UAX-0059])
	(%3AisInModule [BASE_ONTOLOGY]))

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

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

([AtomicNucleus] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 142)
	(%3ASLOT-CONSTRAINTS [UAX-0061])
	(%3AisInModule [BASE_ONTOLOGY]))

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

([atomicNumber_1] of SingleValuedRelation
	(%3AidenticalTo
		"Instance(atomicNumber_3 of Cls(TotalValuedRelation))"
		"Slot(atomicNumber)"
		"Instance(atomicNumber_2 of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 3217)
	(%3Adocumentation "\"(&%atomicNumber ?ELEMENT ?NUMBER) means that the &%ElementalSubstance ?ELEMENT has the atomic number ?NUMBER. The atomic number is the number of &%Protons in the nucleus of an &%Atom.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "atomicNumber"))

([atomicNumber_2] of BinaryPredicate
	(%3AidenticalTo
		"Instance(atomicNumber_1 of Cls(SingleValuedRelation))"
		"Instance(atomicNumber_3 of Cls(TotalValuedRelation))"
		"Slot(atomicNumber)")
	(%3ALOAD-SEQUENCE 3217)
	(%3Adocumentation "\"(&%atomicNumber ?ELEMENT ?NUMBER) means that the &%ElementalSubstance ?ELEMENT has the atomic number ?NUMBER. The atomic number is the number of &%Protons in the nucleus of an &%Atom.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "atomicNumber"))

([atomicNumber_3] of TotalValuedRelation
	(%3AidenticalTo
		"Instance(atomicNumber_1 of Cls(SingleValuedRelation))"
		"Slot(atomicNumber)"
		"Instance(atomicNumber_2 of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 3217)
	(%3Adocumentation "\"(&%atomicNumber ?ELEMENT ?NUMBER) means that the &%ElementalSubstance ?ELEMENT has the atomic number ?NUMBER. The atomic number is the number of &%Protons in the nucleus of an &%Atom.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "atomicNumber"))

([Attaching] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1352)
	(relatedInternalConcept "Putting")
	(%3ASLOT-CONSTRAINTS [UAX-0572])
	(disjoint [Detaching])
	(%3AisInModule [PROCESSES]))

([AttachingDevice] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1807)
	(%3ASLOT-CONSTRAINTS [UAX-0767])
	(%3AisInModule [OBJECTS]))

([Attack] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1472)
	(%3ASLOT-CONSTRAINTS
		[UAX-0629]
		[UAX-0630])
	(%3AisInModule [PROCESSES]))

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

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

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

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

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

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

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

([Auditorium] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2365)
	(%3ASLOT-CONSTRAINTS
		[UAX-0991]
		[UAX-0992])
	(%3AisInModule [MidLevel]))

([AuditoriumSeat] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2368)
	(%3ASLOT-CONSTRAINTS
		[UAX-0993]
		[UAX-0994])
	(%3AisInModule [MidLevel]))

([August] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 971)
	(%3ASLOT-CONSTRAINTS
		[UAX-0385]
		[UAX-0386])
	(%3AisInModule [TEMPORAL_CONCEPTS]))

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

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

([Authority] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3879)
	(%3AisInModule [Core]))

([AuthorizationOfTransaction] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3332)
	(%3ASLOT-CONSTRAINTS
		[UAX-1401]
		[UAX-1402])
	(%3AisInModule [MidLevel]))

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

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

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

([Automobile] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3583)
	(%3AisInModule [MidLevel]))

([AutonomicProcess] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1123)
	(%3ASLOT-CONSTRAINTS [UAX-0465])
	(disjoint [IntentionalProcess])
	(%3AisInModule [PROCESSES]))

([average] of BinaryPredicate
	(%3AidenticalTo
		"Instance(average_1 of Cls(PartialValuedRelation))"
		"Slot(average_3)"
		"Instance(average_2 of Cls(SingleValuedRelation))")
	(%3ALOAD-SEQUENCE 3675)
	(%3Adocumentation "\"A partial function that relates a &%List to a &%RealNumber, provided that the &%List only has list elements that are &%RealNumbers. The &%RealNumber associated with the &%List is equal to the mathematical average of the &%RealNumbers in the &%List divided by the total number of list elements.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "average"))

([average_1] of PartialValuedRelation
	(%3AidenticalTo
		"Instance(average of Cls(BinaryPredicate))"
		"Slot(average_3)"
		"Instance(average_2 of Cls(SingleValuedRelation))")
	(%3ALOAD-SEQUENCE 3675)
	(%3Adocumentation "\"A partial function that relates a &%List to a &%RealNumber, provided that the &%List only has list elements that are &%RealNumbers. The &%RealNumber associated with the &%List is equal to the mathematical average of the &%RealNumbers in the &%List divided by the total number of list elements.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "average"))

([average_2] of SingleValuedRelation
	(%3AidenticalTo
		"Instance(average of Cls(BinaryPredicate))"
		"Instance(average_1 of Cls(PartialValuedRelation))"
		"Slot(average_3)")
	(%3ALOAD-SEQUENCE 3675)
	(%3Adocumentation "\"A partial function that relates a &%List to a &%RealNumber, provided that the &%List only has list elements that are &%RealNumbers. The &%RealNumber associated with the &%List is equal to the mathematical average of the &%RealNumbers in the &%List divided by the total number of list elements.\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "average"))

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

([Avocado] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3210)
	(%3AisInModule [MidLevel]))

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

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

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

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

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

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

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

([Bacterium] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1593)
	(%3ASLOT-CONSTRAINTS
		[UAX-0679]
		[UAX-0680])
	(%3AisInModule [OBJECTS]))

([BadSituation] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3271)
	(%3ASLOT-CONSTRAINTS
		[UAX-1376]
		[UAX-1377])
	(%3AisInModule [MidLevel]))

([Ball] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2895)
	(%3AisInModule [MidLevel]))

([BankOrganization] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3247)
	(%3AisInModule [MidLevel]))

([BargainSale] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2421)
	(%3ASLOT-CONSTRAINTS [UAX-1018])
	(%3AisInModule [MidLevel]))

([Barn] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2805)
	(%3ASLOT-CONSTRAINTS [UAX-1190])
	(disjoint [ResidentialBuilding])
	(%3AisInModule [MidLevel]))

([barometricPressure] of BinaryPredicate
	(%3AidenticalTo
		"Instance(barometricPressure_1 of Cls(AsymmetricRelation))"
		"Slot(barometricPressure_2)")
	(%3ALOAD-SEQUENCE 3403)
	(%3Adocumentation "\"(&%barometricPressure ?AREA ?PRESSURE) means that the atmospheric pressure measured at ?AREA is ?PRESSURE. Barometric pressure is typically expressed in units of &%InchMercury or &%MmMercury.  For example, standard sea level pressure is 29.92 inches (760 mm) of mercury: (&%barometricPressure &%SeaLevel (&%MeasureFn 29.92 &%InchMercury)).\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "barometricPressure"))

([barometricPressure_1] of AsymmetricRelation
	(%3AidenticalTo
		"Slot(barometricPressure_2)"
		"Instance(barometricPressure of Cls(BinaryPredicate))")
	(%3ALOAD-SEQUENCE 3403)
	(%3Adocumentation "\"(&%barometricPressure ?AREA ?PRESSURE) means that the atmospheric pressure measured at ?AREA is ?PRESSURE. Barometric pressure is typically expressed in units of &%InchMercury or &%MmMercury.  For example, standard sea level pressure is 29.92 inches (760 mm) of mercury: (&%barometricPressure &%SeaLevel (&%MeasureFn 29.92 &%InchMercury)).\"")
	(%3AisInModule [MidLevel])
	(%3ASUO-name "barometricPressure"))

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

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

([Baseball] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3110)
	(%3AisInModule [MidLevel]))

([BaseballHit] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2906)
	(%3AisInModule [MidLevel]))

([BaseballInning] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3113)
	(%3ASLOT-CONSTRAINTS [UAX-1323])
	(%3AisInModule [MidLevel]))

([BaseballManeuver] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2903)
	(%3ASLOT-CONSTRAINTS [UAX-1233])
	(%3AisInModule [MidLevel]))

([BaseballRun] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2907)
	(%3AisInModule [MidLevel]))

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

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

([BaseballWalk] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2905)
	(%3AisInModule [MidLevel]))

([Basement] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2782)
	(%3ASLOT-CONSTRAINTS [UAX-1178])
	(%3AisInModule [MidLevel]))

([Battle] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1464)
	(%3ASLOT-CONSTRAINTS
		[UAX-0626]
		[UAX-0627])
	(%3AisInModule [PROCESSES]))

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

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

([Bed] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2251)
	(%3ASLOT-CONSTRAINTS [UAX-0942])
	(%3AisInModule [MidLevel]))

([Bedroom] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2789)
	(%3ASLOT-CONSTRAINTS [UAX-1182])
	(%3AisInModule [MidLevel]))

([Bee] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2623)
	(%3AisInModule [MidLevel]))

([Beer] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2552)
	(%3AisInModule [MidLevel]))

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

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

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

([before_3] of %3AUBL-SLOT
	(%3AidenticalTo
		"Instance(before_1 of Cls(IrreflexiveRelation))"
		"Instance(before_4 of Cls(BinaryPredicate))"
		"Instance(before of Cls(TemporalRelation))"
		"Instance(before_2 of Cls(TransitiveRelation))")
	(%3AAXIOMS "\n(UAX-0336)\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-0337)\n(=>\n   (result ?PROC ?OBJ)\n   (forall (?TIME)\n      (=>\n         (before ?TIME (BeginFn (WhenFn ?PROC)))\n         (not\n            (time ?OBJ ?TIME)))))\n\n(UAX-0338)\n(=>\n   (instance ?INTERVAL TimeInterval)\n   (before (BeginFn ?INTERVAL) (EndFn ?INTERVAL)))\n")
	(%3ALOAD-SEQUENCE 886)
	(relatedInternalConcept "earlier")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "before"))

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

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

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

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

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

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

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

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

([BeginFn_3] of %3AUBL-SLOT
	(%3AidenticalTo
		"Instance(BeginFn_1 of Cls(UnaryFunction))"
		"Instance(BeginFn_2 of Cls(TotalValuedRelation))"
		"Instance(BeginFn of Cls(TemporalRelation))")
	(%3AAXIOMS "\n(UAX-0330)\n(=>\n   (origin ?PROCESS ?OBJ)\n   (located (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ)))))\n\n(UAX-0331)\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")
	(%3ALOAD-SEQUENCE 876)
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(%3ADomain1Type Instance)
	(%3ASUO-name "BeginFn"))

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

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

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

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

([BeliefGroup] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1853)
	(%3ASLOT-CONSTRAINTS [UAX-0788])
	(%3AisInModule [OBJECTS]))

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

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

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

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

([Betting] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1296)
	(%3AisInModule [PROCESSES]))

([between] of SpatialRelation
	(%3AidenticalTo
		"Slot(between_2)"
		"Instance(between_1 of Cls(TernaryPredicate))")
	(%3ALOAD-SEQUENCE 448)
	(%3Adocumentation "\"(between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3.  Note that this implies that ?OBJ2 is directly between ?OBJ1 and ?OBJ3, i.e. the projections of ?OBJ1 and ?OBJ3 overlap with ?OBJ2.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "between"))

([between_1] of TernaryPredicate
	(%3AidenticalTo
		"Slot(between_2)"
		"Instance(between of Cls(SpatialRelation))")
	(%3ALOAD-SEQUENCE 448)
	(%3Adocumentation "\"(between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3.  Note that this implies that ?OBJ2 is directly between ?OBJ1 and ?OBJ3, i.e. the projections of ?OBJ1 and ?OBJ3 overlap with ?OBJ2.\"")
	(%3AisInModule [BASE_ONTOLOGY])
	(%3ASUO-name "between"))

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

([Beverage] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1664)
	(%3ASLOT-CONSTRAINTS
		[UAX-0701]
		[UAX-0702])
	(disjoint [Meat])
	(%3AisInModule [OBJECTS]))

([Bicycle] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3588)
	(%3AisInModule [MidLevel]))

([Binary] of InformationAttribute
	(%3ALOAD-SEQUENCE 3897)
	(%3Adocumentation "\"An informational entity has Binary format if it is represented as a linear string of bits, each having only one of two values,typically represented as 1 and 0.\"")
	(%3AisInModule [Core])
	(%3ASUO-name "Binary"))

([BinaryFunction] of %3ASYN-CLASS
	(%3AidenticalTo "Instance(BinaryFunction_1 of Cls(InheritableRelation))")
	(%3ALOAD-SEQUENCE 374)
	(%3ASLOT-CONSTRAINTS [UAX-0143])
	(%3AisInModule [BASE_ONTOLOGY]))

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

([BinaryNumber] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 235)
	(%3AisInModule [BASE_ONTOLOGY]))

([BinaryObject] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3919)
	(%3AClassPredicates
		"(:SYNONYMS BinaryObject UBLBinObject)"
		"(hasAttributeInstance BinaryObject Binary)")
	(%3ASYNONYMS [UBLBinObject])
	(%3AisInModule [UBL-invoice]))

([BinaryPredicate] of %3ASYN-CLASS
	(%3AidenticalTo "Instance(BinaryPredicate_1 of Cls(InheritableRelation))")
	(%3ALOAD-SEQUENCE 386)
	(%3ASLOT-CONSTRAINTS [UAX-0148])
	(%3AisInModule [BASE_ONTOLOGY]))

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

([BinaryRelation] of %3ASYN-CLASS
	(%3AidenticalTo "Instance(BinaryRelation_1 of Cls(InheritableRelation))")
	(%3ALOAD-SEQUENCE 263)
	(%3ASLOT-CONSTRAINTS [UAX-0092])
	(disjoint
		[UnaryRelation]
		[TernaryRelation]
		[QuaternaryRelation]
		[QuintaryRelation]
		[VariableArityRelation])
	(%3AisInModule
		[KIF-core]
		[BASE_ONTOLOGY])
	(%3ASUO-name "BinaryRelation"))

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

([BiologicalAttribute] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2071)
	(%3ASLOT-CONSTRAINTS [UAX-0869])
	(%3AisInModule [QUALITIES]))

([BiologicallyActiveSubstance] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1635)
	(%3AisInModule [OBJECTS]))

([BiologicalProcess] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1119)
	(%3ASLOT-CONSTRAINTS
		[UAX-0463]
		[UAX-0464])
	(%3AisInModule [PROCESSES]))

([BiologicalSpecies] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2519)
	(%3ASLOT-CONSTRAINTS [UAX-1060])
	(%3AisInModule [MidLevel]))

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

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

([Birth] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1126)
	(%3ASLOT-CONSTRAINTS [UAX-0466])
	(%3AisInModule [PROCESSES]))

([BirthControlDevice] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2194)
	(%3AisInModule [MidLevel]))

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

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

([Biting] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2309)
	(%3ASLOT-CONSTRAINTS [UAX-0968])
	(%3AisInModule [MidLevel]))

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

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

([Blanket] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2297)
	(%3ASLOT-CONSTRAINTS [UAX-0963])
	(%3AisInModule [MidLevel]))

([Bleeding] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3190)
	(%3ASLOT-CONSTRAINTS
		[UAX-1350]
		[UAX-1351]
		[UAX-1352])
	(%3AisInModule [MidLevel]))

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

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

([BloodVessel] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2559)
	(%3ASLOT-CONSTRAINTS [UAX-1075])
	(%3AisInModule [MidLevel]))

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

([Blueprint] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2677)
	(%3ASLOT-CONSTRAINTS [UAX-1134])
	(%3AisInModule [MidLevel]))

([BoardOrBlock] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2275)
	(%3ASLOT-CONSTRAINTS [UAX-0952])
	(%3AisInModule [MidLevel]))

([BodyCovering] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1687)
	(%3ASLOT-CONSTRAINTS [UAX-0712])
	(%3AisInModule [OBJECTS]))

([BodyJunction] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1689)
	(%3ASLOT-CONSTRAINTS
		[UAX-0713]
		[UAX-0714])
	(%3AisInModule [OBJECTS]))

([BodyMotion] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1210)
	(%3ASLOT-CONSTRAINTS [UAX-0507])
	(%3AisInModule [PROCESSES]))

([BodyOfWater] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3434)
	(%3AisInModule [MidLevel]))

([BodyPart] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1672)
	(%3ASLOT-CONSTRAINTS
		[UAX-0706]
		[UAX-0707])
	(disjoint [AbnormalAnatomicalStructure])
	(%3AisInModule [OBJECTS]))

([BodyPosition] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2073)
	(%3ASLOT-CONSTRAINTS [UAX-0870])
	(%3AisInModule [QUALITIES]))

([BodySubstance] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1655)
	(%3AisInModule [OBJECTS]))

([BodyVessel] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1692)
	(%3AisInModule [OBJECTS]))

([Boiling] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1507)
	(%3ASLOT-CONSTRAINTS
		[UAX-0646]
		[UAX-0647])
	(%3AisInModule [PROCESSES]))

([Bond] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3352)
	(%3ASLOT-CONSTRAINTS
		[UAX-1409]
		[UAX-1410])
	(%3AisInModule [MidLevel]))

([Bone] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1700)
	(%3ASLOT-CONSTRAINTS [UAX-0718])
	(disjoint
		[Muscle]
		[FatTissue])
	(%3AisInModule [OBJECTS]))

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

([Borrowing] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1284)
	(%3AisInModule [PROCESSES]))

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

([BotanicalTree] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3421)
	(%3ASLOT-CONSTRAINTS [UAX-1432])
	(%3AisInModule [MidLevel]))

([Bottle] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2270)
	(%3ASLOT-CONSTRAINTS
		[UAX-0949]
		[UAX-0950])
	(%3AisInModule [MidLevel]))

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

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

([Bowing] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2667)
	(%3AisInModule [MidLevel]))

([Box] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2265)
	(%3ASLOT-CONSTRAINTS [UAX-0947])
	(%3AisInModule [MidLevel]))

([Boxing] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3108)
	(%3AisInModule [MidLevel]))

([Boy] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2145)
	(%3AisInModule [MidLevel]))

([Brain] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2594)
	(%3AisInModule [MidLevel]))

([Brass] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2496)
	(%3ASLOT-CONSTRAINTS [UAX-1049])
	(%3AisInModule [MidLevel]))

([BreakabilityAttribute] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2067)
	(%3AisInModule [QUALITIES]))

([Breathing] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1131)
	(%3AisInModule [PROCESSES]))

([Bridge] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3578)
	(%3AisInModule [MidLevel]))

([BritishThermalUnit] of %3ASYN-CLASS
	(%3AidenticalTo "Instance(BritishThermalUnit_1 of Cls(UnitOfMeasure))")
	(%3ALOAD-SEQUENCE 813)
	(%3ASLOT-CONSTRAINTS [UAX-0304])
	(%3AisInModule [UNITS_OF_MEASURE]))

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

([Broadcasting] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2812)
	(%3ASLOT-CONSTRAINTS [UAX-1193])
	(%3AisInModule [MidLevel]))

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

([BroadcastProgram] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2736)
	(%3ASLOT-CONSTRAINTS [UAX-1160])
	(%3AisInModule [MidLevel]))

([BronchialDuct] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2557)
	(%3ASLOT-CONSTRAINTS [UAX-1074])
	(%3AisInModule [MidLevel]))

([Brood] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2393)
	(%3ASLOT-CONSTRAINTS
		[UAX-1006]
		[UAX-1007])
	(%3AisInModule [MidLevel]))

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

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

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

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

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

([Building] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1774)
	(%3ASLOT-CONSTRAINTS [UAX-0752])
	(disjoint [Room])
	(%3AisInModule [OBJECTS]))

([BuildingLevel] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2780)
	(%3ASLOT-CONSTRAINTS [UAX-1177])
	(%3AisInModule [MidLevel]))

([BumbleBee] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2624)
	(%3AisInModule [MidLevel]))

([BusinessAgent] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3966)
	(%3AisInModule [UBL-invoice]))

([BusinessCompetition] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3106)
	(%3ASLOT-CONSTRAINTS [UAX-1321])
	(%3AisInModule [MidLevel]))

([BusinessMessage] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3948)
	(%3AClassPredicates "(:hasRestrictedVal BusinessMessage isUsedIn BusinessProcess)")
	(%3AisInModule [UBL-invoice]))

([BusinessParty] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3967)
	(%3AisInModule [UBL-invoice]))

([BusinessProcess] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3963)
	(%3AisInModule [UBL-invoice]))

([Buying] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1297)
	(relatedInternalConcept "Selling")
	(%3ASLOT-CONSTRAINTS [UAX-0544])
	(%3AisInModule [PROCESSES]))

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

([Byte] of %3ASYN-CLASS
	(%3AidenticalTo "Instance(Byte_1 of Cls(UnitOfMeasure))")
	(%3ALOAD-SEQUENCE 831)
	(%3ASLOT-CONSTRAINTS [UAX-0310])
	(%3AisInModule [UNITS_OF_MEASURE]))

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

([Cafeteria] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2407)
	(%3AisInModule [MidLevel]))

([Calculating] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 1320)
	(%3AisInModule [PROCESSES]))

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

([Calorie] of %3ASYN-CLASS
	(%3AidenticalTo "Instance(Calorie_1 of Cls(UnitOfMeasure))")
	(%3ALOAD-SEQUENCE 811)
	(%3ASLOT-CONSTRAINTS [UAX-0303])
	(%3AisInModule [UNITS_OF_MEASURE]))

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

([Camera] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2688)
	(%3ASLOT-CONSTRAINTS [UAX-1139])
	(%3AisInModule [MidLevel]))

([Camp] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 2341)
	(%3ASLOT-CONSTRAINTS [UAX-0979])
	(%3AisInModule [MidLevel]))

([Canal] of %3ASYN-CLASS
	(%3ALOAD-SEQUENCE 3573)
	(%3AisInModule [MidLevel]))

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

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

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

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

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

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

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

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

([capacity] of BinaryPredicate
	(%3AidenticalTo "Slot(capacity_1)")
	(%3ALOAD-SEQUENCE 2318)
	(%3Adocumentation "\"(&%capacity ?OBJ ?QUANTITY) means that ?OBJ can contain something that has the &%measure of ?QUANTITY.  This predicate denotes maximal capacity, i.e. ?OBJ can hold no more than ?QUANTITY.  Note, however, that this does not mean that &%capacity is a &%SingleValuedRelation, sinc