; Thu Feb 19 12:21:06 PST 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
	(%3ASUO-name "(DayFn 25 (MonthFn 2 (YearFn 2003)))")
	(%3Adocumentation "Implied instance from SKIF assertion 32: rel = date_3 *on* JoineryInvoice-2003-00645")
	(%3ALOAD-SEQUENCE 3815)
	(%3AisInModule [Invoices]))

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

([%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)
	(%3ASUO-name "(GovernmentFn UnitedStates)")
	(%3Adocumentation "Implied instance from SKIF assertion 28: rel = subOrganization_2 *on* UnitedStatesDepartmentOfState")
	(%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
	(%3AisInModule [KIF-core])
	(%3ALOAD-SEQUENCE 0))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([%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)
	(%3AisInModule [OBJECTS])
	(disjoint [BodyPart])
	(%3ASLOT-CONSTRAINTS [UAX-0705]))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([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)
	(%3AisInModule [UBL-invoice])
	(%3AClassPredicates
		"(:hasRestrictedVal AbstractTimeText representsAbstractly RecurrentTimeInterval)"
		"(:hasRestrictedVal AbstractTimeText hasTextFormat TimeFormat)"))

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

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

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

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

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

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

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

([ActualExistence] of Attribute
	(%3ASUO-name "ActualExistence")
	(%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])
	(%3ALOAD-SEQUENCE 3844))

([AdditionFn] of BinaryFunction
	(%3ASUO-name "AdditionFn")
	(%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))")
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3ALOAD-SEQUENCE 496)
	(%3AisInModule [NUMERIC_FUNCTIONS]))

([AdditionFn_1] of AssociativeFunction
	(%3ASUO-name "AdditionFn")
	(%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))")
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3ALOAD-SEQUENCE 496)
	(%3AisInModule [NUMERIC_FUNCTIONS]))

([AdditionFn_2] of CommutativeFunction
	(%3ASUO-name "AdditionFn")
	(%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))")
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%3ALOAD-SEQUENCE 496)
	(%3AisInModule [NUMERIC_FUNCTIONS]))

([AdditionFn_3] of RelationExtendedToQuantities
	(%3ASUO-name "AdditionFn")
	(%3ALOAD-SEQUENCE 496)
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%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))"))

([AdditionFn_4] of TotalValuedRelation
	(%3ASUO-name "AdditionFn")
	(%3ALOAD-SEQUENCE 496)
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")
	(%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))"))

([AdditionFn_5] of %3ATernarySlot
	(%3ALOAD-SEQUENCE 496)
	(%3ASUO-name "AdditionFn")
	(%3AisInModule [NUMERIC_FUNCTIONS])
	(%3AAXIOMS "\n(UAX-0196)\n(equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1))\n")
	(%3ADomain2Class Quantity)
	(%3ADomain2Type Instance)
	(%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))")
	(%3ADomain1Type Instance))

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

([address] of BinaryPredicate
	(%3ASUO-name "address")
	(%3AidenticalTo "Slot(address_1)")
	(%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.\"")
	(%3ALOAD-SEQUENCE 2325)
	(%3AisInModule [MidLevel]))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([Ampere_1] of SystemeInternationalUnit
	(%3AidenticalTo "Cls(Ampere)")
	(%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.")
	(%3ALOAD-SEQUENCE 701)
	(%3AisInModule [UNITS_OF_MEASURE]))

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

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

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

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

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

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

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

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

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

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

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

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

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

([Anger] of EmotionalState
	(%3ASUO-name "Anger")
	(%3ALOAD-SEQUENCE 3060)
	(%3AisInModule [MidLevel])
	(%3Adocumentation "\"The state of being wrathful, irate or indignant.\"")
	(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))")
	(%3ADomain1Type Instance)
	(%3ASUO-name "angleOfFigure")
	(%3ALOAD-SEQUENCE 2045)
	(%3AisInModule [QUALITIES]))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([Asleep] of ConsciousnessAttribute
	(%3ASUO-name "Asleep")
	(%3ALOAD-SEQUENCE 2109)
	(%3AisInModule [QUALITIES])
	(%3Adocumentation "\"This &%Attribute applies to &%Organisms that are sleeping.\"")
	(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)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS
		[UAX-1373]
		[UAX-1374]))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([AtomGram_1] of UnitOfMeasure
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ALOAD-SEQUENCE 798)
	(%3AidenticalTo "Cls(AtomGram)")
	(%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."))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([BackFn_1] of PartialValuedRelation
	(%3ASUO-name "BackFn")
	(%3ALOAD-SEQUENCE 120)
	(%3AisInModule [BASE_ONTOLOGY])
	(%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.\"")
	(%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))"))

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

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

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

([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))")
	(%3ADomain1Type Instance)
	(%3ASUO-name "BackFn")
	(%3ALOAD-SEQUENCE 120)
	(%3AAXIOMS "\n(UAX-0052)\n(=>\n   (instance ?OBJ SelfConnectedObject)\n   (side (BackFn ?OBJ) ?OBJ))\n")
	(%3AisInModule [BASE_ONTOLOGY]))

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

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

([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)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1018]))

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

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

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

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

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

([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)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1323]))

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

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

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

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

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

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

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

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

([Becquerel_1] of SystemeInternationalUnit
	(%3AidenticalTo "Cls(Becquerel)")
	(%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).")
	(%3ALOAD-SEQUENCE 752)
	(%3AisInModule [UNITS_OF_MEASURE]))

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

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

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

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

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

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

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

([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))")
	(%3ADomain1Type Instance)
	(%3ASUO-name "before")
	(%3ALOAD-SEQUENCE 886)
	(%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")
	(%3AisInModule [TEMPORAL_CONCEPTS])
	(relatedInternalConcept "earlier"))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([Binary] of InformationAttribute
	(%3ASUO-name "Binary")
	(%3ALOAD-SEQUENCE 3897)
	(%3AisInModule [Core])
	(%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.\""))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

([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)
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS
		[UAX-0646]
		[UAX-0647]))

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

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

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

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

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

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

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

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

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

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

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

([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)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1049]))

([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
	(%3ALOAD-SEQUENCE 813)
	(%3AisInModule [UNITS_OF_MEASURE])
	(%3ASLOT-CONSTRAINTS [UAX-0304])
	(%3AidenticalTo "Instance(BritishThermalUnit_1 of Cls(UnitOfMeasure))"))

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

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

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

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

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

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

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

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

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

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

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

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

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

([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)
	(%3AisInModule [MidLevel])
	(%3ASLOT-CONSTRAINTS [UAX-1321]))

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

([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")
	(%3AisInModule [PROCESSES])
	(%3ASLOT-CONSTRAINTS [UAX-0544]))

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

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

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

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

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

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

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

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

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

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

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

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

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

([Candela_1] of SystemeInternationalUnit
	(%3AidenticalTo "Cls(Candela)")
	(%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.")
	(%3ALOAD-SEQUENCE 707)
	(%3AisInModule [UNITS_OF_MEASURE]))

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

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

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

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

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

([capacity] of BinaryPredicate
	(%3ASUO-name "capacity")
	(%3AidenticalTo "Slot(capacity_1)")
	(%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, sin