; Tue Mar 02 23:29:28 EST 2004 ; ;+ (version "1.8") ;+ (build "Build 1074") ([%22This+is+a+string%22] of %3AAbstractString (%3ASUO-name "\"This is a string\"")) ([%28AbsoluteValueFn+RealNumber%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28AbstractionFn+Class%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28AdditionFn+Quantity+Quantity%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28BackFn+SelfConnectedObject%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28BeginFn+TimeInterval%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28BeginNodeFn+GraphPath%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28CardinalityFn+%28UnionFn+SetOrClass+Collection%29%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28CeilingFn+RealNumber%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28CitizenryFn+GeopoliticalArea%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28ComplementFn+SetOrClass%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28CosineFn+PlaneAngleMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28CutSetFn+Graph%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28DayFn+25+%28MonthFn+2+%28YearFn+2003%29%29%29] of Day (%3ALOAD-SEQUENCE 3817) (%3Adocumentation "Implied instance from SKIF assertion 37: rel = date_3 *on* JoineryInvoice-2003-00645") (%3ASUO-name "(DayFn 25 (MonthFn 2 (YearFn 2003)))") (%3AisInModule [Invoices])) ([%28DayFn+3+%28MonthFn+2+%28YearFn+2003%29%29%29] of Day (%3ALOAD-SEQUENCE 3818) (%3Adocumentation "Implied instance from SKIF assertion 39: rel = date_3 *on* JoineryPurchase-2003-00645") (%3ASUO-name "(DayFn 3 (MonthFn 2 (YearFn 2003)))") (%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) (%3Adocumentation "Implied instance from SKIF assertion 33: rel = subOrganization_2 *on* UnitedStatesDepartmentOfState") (%3ASUO-name "(GovernmentFn UnitedStates)") (%3AisInModule [MidLevel])) ([%28GraphPathFn+GraphNode+GraphNode%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28HourFn+PositiveRealNumber+Day%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28ImaginaryPartFn+ComplexNumber%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28ImmediateFamilyFn+Human%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28ImmediateFutureFn+TimePosition%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28ImmediatePastFn+TimePosition%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28InitialNodeFn+GraphArc%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28IntegerSquareRootFn+RealNumber%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28IntersectionFn+SetOrClass+SetOrClass%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28IntervalFn+ConstantQuantity+ConstantQuantity%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28JudiciaryFn+GeopoliticalArea%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28KappaFn+SymbolicString+Formula%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28KiloFn+UnitOfMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28LastFn+List%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28LegislatureFn+GeopoliticalArea%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28ListConcatenateFn+List+List%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28ListLengthFn+List%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28ListOrderFn+List+PositiveInteger%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28LogFn+RealNumber+PositiveInteger%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MagnitudeFn+ConstantQuantity%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MaxFn+Quantity+Quantity%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MaximalWeightedPathFn+GraphNode+GraphNode%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MeasureFn+RealNumber+UnitOfMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MegaFn+UnitOfMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MereologicalDifferenceFn+Object+Object%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MereologicalProductFn+Object+Object%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MereologicalSumFn+Object+Object%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MicroFn+UnitOfMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MilliFn+UnitOfMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MinFn+Quantity+Quantity%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MinimalCutSetFn+Graph%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MinimalWeightedPathFn+GraphNode+GraphNode%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MinuteFn+PositiveRealNumber+Hour%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MonthFn+Month+Year%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28MultiplicationFn+Quantity+Quantity%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28NanoFn+UnitOfMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28NumeratorFn+RealNumber%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28PastFn+TimePosition%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28PathWeightFn+GraphPath%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28PerCapitaFn+Quantity+GeopoliticalArea%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28PerFn+ConstantQuantity+ConstantQuantity%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28PeriodicalIssueFn+Periodical+PositiveInteger%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28PicoFn+UnitOfMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28PopulationFn+GeopoliticalArea%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28PowerSetFn+SetOrClass%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28PredecessorFn+Integer%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28PremisesFn+Argument%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28PrincipalHostFn+Hole%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28ProbabilityFn+Formula%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28PropertyFn+Agent%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28RationalNumberFn+Number%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28RealNumberFn+Number%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28ReciprocalFn+Quantity%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28RecurrentTimeIntervalFn+TimeInterval+TimeInterval%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28RelativeComplementFn+SetOrClass+SetOrClass%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28RelativeTimeFn+TimePosition+TimeZone%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28RemainderFn+Quantity+Quantity%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28ResidentFn+GeopoliticalArea%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28RoundFn+Quantity%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28SecondFn+PositiveRealNumber+Minute%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28SeriesVolumeFn+Series+PositiveInteger%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28SignumFn+RealNumber%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28SineFn+PlaneAngleMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28SkinFn+Hole%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28SpeedFn+LengthMeasure+TimeDuration%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28SquareRootFn+RealNumber%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28SubtractionFn+Quantity+Quantity%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28SuccessorFn+Integer%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28TangentFn+PlaneAngleMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28TemporalCompositionFn+TimeInterval+TimeInterval%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28TeraFn+UnitOfMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28TerminalNodeFn+GraphArc%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28TimeIntervalFn+TimePoint+TimePoint%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28UnionFn+SetOrClass+SetOrClass%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28WealthFn+Agent%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28WhenFn+Physical%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28WhereFn+Physical+TimePoint%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28YearFn+Integer%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([0] of Entity (%3ALOAD-SEQUENCE 498) (%3AisInModule [NUMERIC_FUNCTIONS]) (%3Adocumentation "Implied instance from SKIF assertion 1: rel = identityElement_2 *on* AdditionFn") (%3ASUO-name "0")) ([1] of Entity (%3ALOAD-SEQUENCE 497) (%3AisInModule [NUMERIC_FUNCTIONS]) (%3Adocumentation "Implied instance from SKIF assertion 0: rel = identityElement_2 *on* MultiplicationFn") (%3ASUO-name "1")) ([%3AAbstractString] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3AAssertion] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3AAXIOMS] of %3AUBL-SLOT (%3AASSOCIATED-FACET [UBLinv014_00277])) ([%3AClass] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3AClassPredicates] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 0) (%3ADomain1Type Class) (%3AisInModule [KIF-core]) (%3ASUO-name ":ClassPredicates")) ([%3AClassPreds] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0)) ([%3ACodeList] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3AConstructedLanguage] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3ADomain1Type] of %3AUBL-SLOT (%3AASSOCIATED-FACET [UBLinv018_00290])) ([%3ADomain2Class] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3AASSOCIATED-FACET [SUMO148_00000])) ([%3ADomain2Type] of %3AUBL-SLOT (%3AASSOCIATED-FACET [UBLinv018_00288])) ([%3ADomain2Value] of %3AUBL-SLOT (%3AASSOCIATED-FACET [SUMO152_00100])) ([%3ADomain3Class] of %3AUBL-SLOT (%3AASSOCIATED-FACET [UBLcore_00000])) ([%3ADomain3Type] of %3AUBL-SLOT (%3AASSOCIATED-FACET [UBLinv018t_00300])) ([%3ADomain3Value] of %3AUBL-SLOT (%3AASSOCIATED-FACET [SUMO152_00102])) ([%3ADomain4Class] of %3AUBL-SLOT (%3AASSOCIATED-FACET [UBLinv018t_00302])) ([%3ADomain4Type] of %3AUBL-SLOT (%3AASSOCIATED-FACET [UBLinv018t_00306])) ([%3ADomain4Value] of %3AUBL-SLOT (%3AASSOCIATED-FACET [UBLinv018t_00304])) ([%3AEmbeddedComment] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3AFunctionTerm] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0)) ([%3AGroup] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3AhasClassValue] of %3ATernarySlot (%3AAXIOMS "(KAX-002)\n(=>\n (:hasClassValue ?CLASS ?REL ?VAL)\n (and\n (instance ?REL BinaryPredicate)\n (forall (?INST)\n (=>\n (instance ?INST ?CLASS)\n (?REL ?INST ?VAL)))))\n") (%3ALOAD-SEQUENCE 0) (%3ADomain1Type Class) (%3AisInModule [KIF-core]) (%3ADomain2Class BinaryRelation) (%3ADomain2Type Instance) (%3ASUO-name ":hasClassValue")) ([%3AhasDefaultValue] of %3ATernarySlot (%3AAXIOMS "(KAX-003)\n(=>\n (:hasDefaultValue ?CLASS ?REL ?VAL)\n (forall (?INST)\n (=>\n (and\n (instance ?INST ?CLASS)\n (not\n (exists (?CLASS2 ?VAL2)\n (and\n (instance ?INST ?CLASS2)\n (or\n (:hasClassValue ?CLASS2 ?REL ?VAL2)\n (:hasDefaultValue ?CLASS2 ?REL ?VAL2))\n (subclass ?CLASS2 ?CLASS)\n (not (equal ?CLASS2 ?CLASS))\n (not (equal ?VAL2 ?VAL)))))\n (?REL ?INST ?VAL))))\n") (%3ALOAD-SEQUENCE 0) (%3ADomain1Type Class) (%3ADomain2Class BinaryRelation) (%3ADomain2Type Instance) (%3ASUO-name ":hasDefaultValue")) ([%3AhasFrequency] of %3AUBL-SLOT (%3ASUO-name ":hasFrequency")) ([%3AhasRestrictedVal] of %3ATernarySlot (%3AAXIOMS "(KAX-004)\n(<=>\n (:hasRestrictedVal ?CLASS ?REL ?CLASS2)\n (:isRestrictedTo ?REL ?CLASS1 ?CLASS2))") (%3ALOAD-SEQUENCE 0) (%3ADomain1Type Class) (%3AisInModule [KIF-core]) (%3ADomain2Class BinaryRelation) (%3ADomain2Type Instance) (%3ASUO-name ":hasRestrictedVal")) ([%3AhasUsage] of %3AUBL-SLOT (%3ASUO-name ":hasUsage")) ([%3AhasValueClass] of %3ATernarySlot (%3AAXIOMS "(KAX-005)\n(=>\n (:hasValueClass ?VAL ?REL ?CLASS)\n (and\n (instance ?REL BinaryPredicate)\n (forall (?INST)\n (=>\n (instance ?INST ?CLASS)\n (?REL ?VAL ?INST)))))\n") (%3ALOAD-SEQUENCE 0) (%3ADomain1Type Instance) (%3AisInModule [KIF-core]) (%3ADomain2Class BinaryRelation) (%3ADomain2Type Instance) (%3ASUO-name ":hasValueClass")) ([%3AHumanLanguage] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3AinLanguage] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 0) (%3ASUO-name ":inLanguage")) ([%3AisaSynonymOf] of %3AUBL-SLOT (%3AAXIOMS "(=>\n (:isaSynonymOf ?SYN ?CONC)\n (:SYNONYMS ?CONC ?SYN))") (%3ALOAD-SEQUENCE 0) (%3ADomain1Type Instance) (%3AisInModule [KIF-core]) (%3ASUO-name ":isaSynonymOf")) ([%3AisInModule] of %3AUBL-SLOT (%3AASSOCIATED-FACET [UBLinv018t_00322])) ([%3AisRestrictedTo] of %3ATernarySlot (%3AAXIOMS "(KAX-001)\n(=>\n (:isRestrictedTo ?REL ?CLASS1 ?CLASS2)\n (forall (?ENT1 ?ENT2)\n (=>\n (and\n (?REL ?ENT1 ?ENT2)\n (instance ?ENT1 ?CLASS1))\n (instance ?ENT2 ?CLASS2))))\n\n(KAX-004)\n(<=>\n (:hasRestrictedVal ?CLASS1 ?REL ?CLASS2)\n (:isRestrictedTo ?REL ?CLASS1 ?CLASS2))") (%3ALOAD-SEQUENCE 0) (%3ADomain1Type Instance) (%3AisInModule [KIF-core]) (%3ADomain2Class Entity) (%3AASSOCIATED-FACET [SKIFcore_00400]) (%3ADomain2Type Class) (%3ASUO-name ":isRestrictedTo")) ([%3AisRestrictedTo%2482] of %3ASUMOProposition (%3Adocumentation "\"createdBy is used to assert that a particular instance of an entity was created in an action which has a particular agent as its main actor. In this relation, the event itself is unspecified.\"") (%3AliteralTranscription "(:isRestrictedTo createdBy AbstractCode StandardsAuthority)") (%3AargumentList ":isRestrictedTo" "createdBy" "AbstractCode" "StandardsAuthority") (%3AisInModule [Core]) (%3ALOAD-SEQUENCE 3862)) ([%3AisRestrictedTo%2483] of %3ASUMOProposition (%3Adocumentation "\"isMaintainedBy is used to assert that a particular instance of an entity can be modified in some way, and specifies the agent who has the authority or responsibility to do the modifying. In this relation, the method of modifying is unspecified. The entity maintained can be physical, such as a building maintained by its owner or manager, or an AbstractCode, maintained by a StandardsAuthority. In the general case, there may be more than one maintaining agent.\"") (%3AliteralTranscription "(:isRestrictedTo isMaintainedBy AbstractCode StandardsAuthority)") (%3AargumentList ":isRestrictedTo" "isMaintainedBy" "AbstractCode" "StandardsAuthority") (%3AisInModule [Core]) (%3ALOAD-SEQUENCE 3864)) ([%3AisRestrictedTo%2484] of %3ASUMOProposition (%3Adocumentation "\"isTheInformationContainedIn is the relation between a Proposition and the ContentBearingObject that represents it.\"") (%3AliteralTranscription "(:isRestrictedTo isTheInformationContainedIn TextualProposition Text)") (%3AargumentList ":isRestrictedTo" "isTheInformationContainedIn" "TextualProposition" "Text") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4128)) ([%3AisRestrictedTo%2485] of %3ASUMOProposition (%3Adocumentation "\"hasInformationalContent is the relation between a Proposition and the corresponding mental entity.\"") (%3AliteralTranscription "(:isRestrictedTo hasInformationalContent MentalText AbstractText)") (%3AargumentList ":isRestrictedTo" "hasInformationalContent" "MentalText" "AbstractText") (%3AisInModule [EXTENSIONS]) (%3ALOAD-SEQUENCE 4142)) ([%3AisRestrictedTo%2486] of %3ASUMOProposition (%3Adocumentation "\"isTheInformationalContentOf is the relation between a Proposition and the MentalEntity it corresponds to. The entity can be abstract or concrete.\"") (%3AliteralTranscription "(:isRestrictedTo isTheInformationalContentOf AbstractText MentalText)") (%3AargumentList ":isRestrictedTo" "isTheInformationalContentOf" "AbstractText" "MentalText") (%3AisInModule [EXTENSIONS]) (%3ALOAD-SEQUENCE 4143)) ([%3AisRestrictedTo%2487] of %3ASUMOProposition (%3Adocumentation "\"hasMentalRepresentation is the relation between a Physical Entity and the MentalEntity that represents it.\"") (%3AliteralTranscription "(:isRestrictedTo hasMentalRepresentation LinguisticExpression MentalLinguisticExpression)") (%3AargumentList ":isRestrictedTo" "hasMentalRepresentation" "LinguisticExpression" "MentalLinguisticExpression") (%3AisInModule [EXTENSIONS]) (%3ALOAD-SEQUENCE 4144)) ([%3AisRestrictedTo%2488] of %3ASUMOProposition (%3Adocumentation "\"hasMentalRepresentation is the relation between a MentalEntity and the Physical entity that represents it.\"") (%3AliteralTranscription "(:isRestrictedTo isTheMentalRepresentationOf MentalLinguisticExpression LinguisticExpression)") (%3AargumentList ":isRestrictedTo" "isTheMentalRepresentationOf" "MentalLinguisticExpression" "LinguisticExpression") (%3AisInModule [EXTENSIONS]) (%3ALOAD-SEQUENCE 4145)) ([%3AKIFentity] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3ALanguage] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3AList] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3AModule] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3ANaturalLanguage] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3AOrderedSet] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0)) ([%3AProtegeSymbolList] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3ArelationAllExists] of %3ATernarySlot (%3AAXIOMS "(=>\n (:relationAllExists ?REL ?CLASS1 ?CLASS2)\n (forall (?INST)\n (=>\n (instance ?INST ?CLASS1)\n (exists (?ENT)\n (and\n (instance ?ENT ?CLASS2)\n (?REL ?INST ?ENT))))))\n") (%3ALOAD-SEQUENCE 0) (%3ADomain1Type Instance) (%3AisInModule [KIF-core]) (%3ADomain2Class Entity) (%3AASSOCIATED-FACET [SKIFcore_00418]) (%3ADomain2Type Class) (%3ASUO-name ":relationAllExists")) ([%3ARow] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3ASet] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3ASetOrClass] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3ASKIFdocs] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3AStringList] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3ASUMOProposition] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3ASUO-name] of %3AUBL-SLOT (%3AASSOCIATED-FACET [KIFcore2_00373])) ([%3ASynonym] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3ASYNONYMS] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core]) (%3AASSOCIATED-FACET [SKIFcore4_00382])) ([%3AUBL-Synonym] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3966) (%3AisInModule [UBL-invoice])) ([%3AuncInstList] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 0) (%3ADomain1Type Instance) (%3ASUO-name ":uncInstList")) ([%3AUnclassifiedProposition] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3C%3D%3E] of BinaryPredicate (%3ALOAD-SEQUENCE 90) (%3AidenticalTo "Instance(<=>_1 of Cls(LogicalOperator))" "Slot(<=>_2)") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3Adocumentation "\"The truth-functional connective of bi-implication.\"") (%3ASUO-name "<=>")) ([%3C%3D%3E_1] of LogicalOperator (%3ALOAD-SEQUENCE 90) (%3AidenticalTo "Instance(<=> of Cls(BinaryPredicate))" "Slot(<=>_2)") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3Adocumentation "\"The truth-functional connective of bi-implication.\"") (%3ASUO-name "<=>")) ([%3C%3D%3E_2] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 90) (%3AidenticalTo "Instance(<=> of Cls(BinaryPredicate))" "Instance(<=>_1 of Cls(LogicalOperator))") (%3ADomain1Type Instance) (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3ASUO-name "<=>")) ([%3D%3E] of BinaryPredicate (%3ALOAD-SEQUENCE 89) (%3AidenticalTo "Instance(=>_1 of Cls(LogicalOperator))" "Slot(=>_2)") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3Adocumentation "\"The truth-functional connective of implication.\"") (%3ASUO-name "=>")) ([%3D%3E_1] of LogicalOperator (%3ALOAD-SEQUENCE 89) (%3AidenticalTo "Slot(=>_2)" "Instance(=> of Cls(BinaryPredicate))") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3Adocumentation "\"The truth-functional connective of implication.\"") (%3ASUO-name "=>")) ([%3D%3E_2] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 89) (%3AidenticalTo "Instance(=>_1 of Cls(LogicalOperator))" "Instance(=> of Cls(BinaryPredicate))") (%3ADomain1Type Instance) (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3ASUO-name "=>")) ([%3FTHING] of Entity (%3AAXIOMS "\n(UAX-0051)\n(exists (?THING) (instance ?THING Entity))\n\n(UAX-0052)\n(<=>\n (instance ?CLASS Class)\n (subclass ?CLASS Entity))\n") (%3ALOAD-SEQUENCE 115) (%3AisInModule [BASE_ONTOLOGY]) (%3ASUO-name "?THING")) ([AbnormalAnatomicalStructure] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1672) (%3AisInModule [OBJECTS]) (disjoint [BodyPart]) (%3ASLOT-CONSTRAINTS [UAX-0706])) ([Above] of PositionalAttribute (%3ALOAD-SEQUENCE 1929) (%3AAXIOMS "\n(UAX-0815)\n(=>\n (orientation ?OBJ1 ?OBJ2 Above)\n (not\n (connected ?OBJ1 ?OBJ2)))\n") (contraryAttribute_2 [Below]) (%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.\"") (%3ASUO-name "Above")) ([AbsoluteMonarchy] of FormOfGovernment (%3ALOAD-SEQUENCE 3475) (%3AisInModule [MidLevel]) (subAttribute_2 [Monarchy] [AuthoritarianRegime]) (%3Adocumentation "\"A monarchy in which the supreme power is held by the monarch, in contrast to ConstitutionalMonarchy, where the monarch's power is limited.\"") (%3ASUO-name "AbsoluteMonarchy")) ([AbsoluteValueFn] of UnaryFunction (%3ALOAD-SEQUENCE 504) (%3Adocumentation "\"The value of (&%AbsoluteValueFn ?NUMBER) is the absolute value of the &%RealNumber ?NUMBER.\"") (%3ASUO-name "AbsoluteValueFn") (%3AidenticalTo "Instance(AbsoluteValueFn_1 of Cls(TotalValuedRelation))" "Slot(AbsoluteValueFn_2)") (%3AisInModule [NUMERIC_FUNCTIONS])) ([AbsoluteValueFn_1] of TotalValuedRelation (%3ALOAD-SEQUENCE 504) (%3AidenticalTo "Slot(AbsoluteValueFn_2)" "Instance(AbsoluteValueFn of Cls(UnaryFunction))") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3Adocumentation "\"The value of (&%AbsoluteValueFn ?NUMBER) is the absolute value of the &%RealNumber ?NUMBER.\"") (%3ASUO-name "AbsoluteValueFn")) ([AbsoluteValueFn_2] of %3AUBL-SLOT (%3AAXIOMS "\n(UAX-0200)\n(<=>\n (and\n (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2)\n (instance ?NUMBER1 RealNumber)\n (instance ?NUMBER2 RealNumber))\n (or\n (and\n (instance ?NUMBER1 NonnegativeRealNumber)\n (equal ?NUMBER1 ?NUMBER2))\n (and\n (instance ?NUMBER1 NegativeRealNumber)\n (equal ?NUMBER2 (SubtractionFn 0 ?NUMBER1)))))\n") (%3ALOAD-SEQUENCE 504) (%3AidenticalTo "Instance(AbsoluteValueFn_1 of Cls(TotalValuedRelation))" "Instance(AbsoluteValueFn of Cls(UnaryFunction))") (%3ADomain1Type Instance) (%3AisInModule [NUMERIC_FUNCTIONS]) (%3ASUO-name "AbsoluteValueFn")) ([Abstract] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 199) (disjointDecomposition [Quantity] [Attribute] [SetOrClass] [Relation] [Proposition] [Graph] [GraphElement]) (%3AisInModule [BASE_ONTOLOGY]) (disjoint [Physical]) (%3ASLOT-CONSTRAINTS [UAX-0080])) ([AbstractCharacter] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3979) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractCharacter isRepresentedBy Character)")) ([AbstractCode] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4056) (%3AisInModule [STANDARDS]) (%3AClassPredicates "(:hasRestrictedVal AbstractCode createdBy StandardsAuthority)")) ([AbstractCodeList] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4036) (%3AisInModule [STANDARDS]) (%3AClassPredicates "(:hasRestrictedVal AbstractCodeList hasListElement CodeDefinition)" "(hasListElement AbstractCodeList CodeDefinition)")) ([AbstractCodeString] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4057) (%3AisInModule [STANDARDS]) (%3ASYNONYMS [UBLCodeContent])) ([AbstractDateText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3935) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractDateText represents TimeInterval)" "(:hasRestrictedVal AbstractDateText hasReferent TimeInterval)" "(:hasRestrictedVal AbstractDateText hasTextFormat DateFormat)" "(:hasRestrictedVal AbstractDateText isAbstractContentOf SymbolicString)")) ([AbstractDateTimeText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3931) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(necessarily AbstractDateTimeText hasaTextComponent AbstractDateText)" "(:hasRestrictedVal AbstractDateTimeText hasComponentList DateAndTimeList)" "(:hasRestrictedVal AbstractDateTimeText hasReferent TimePosition)" "(:hasRestrictedVal AbstractDateTimeText hasTextFormat DateTimeFormat)" "(:hasRestrictedVal AbstractDateTimeText isAbstractContentOf SymbolicString)") (%3ASYNONYMS [UblDateTime])) ([AbstractDespatchAdvice] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3956) (%3AisInModule [UBL-invoice])) ([AbstractDigit] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3980) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractDigit isRepresentedBy DigitCharacter)")) ([AbstractDocument] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3940) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractDocument hasPropositionalContent DocumentalProposition)" "(:hasRestrictedVal AbstractDocument hasReferent DocumentalProposition)")) ([AbstractFormattedText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3928) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(minCardinalityAtClasses AbstractFormattedText hasaTextComponent 2 AbstractText)")) ([AbstractInformationalEntity] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3882) (%3AisInModule [Core])) ([AbstractInvoice] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3950) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedval AbstractInvoice isRepresentedBy Invoice)" "(:hasRestrictedVal AbstractInvoice isAbstractContentOf Invoice)" "(necessarily AbstractInvoice hasaTextComponent InvoiceLine)" "(necessarily AbstractInvoice hasaTextComponent LegalTotalsText)")) ([AbstractionFn] of UnaryFunction (%3ALOAD-SEQUENCE 207) (%3Adocumentation "\"A &%UnaryFunction that maps a &%Class into the instance of &%Attribute that specifies the condition(s) for membership in the &%Class.\"") (%3ASUO-name "AbstractionFn") (%3AidenticalTo "Slot(AbstractionFn_2)" "Instance(AbstractionFn_1 of Cls(PartialValuedRelation))") (%3AisInModule [BASE_ONTOLOGY])) ([AbstractionFn_1] of PartialValuedRelation (%3ALOAD-SEQUENCE 207) (%3AidenticalTo "Instance(AbstractionFn of Cls(UnaryFunction))" "Slot(AbstractionFn_2)") (%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.\"") (%3ASUO-name "AbstractionFn")) ([AbstractionFn_2] of %3AUBL-SLOT (%3AAXIOMS "\n(UAX-0081)\n(<=>\n (equal (AbstractionFn ?CLASS) ?ATTR)\n (forall (?INST)\n (<=>\n (instance ?INST ?CLASS)\n (property ?INST ?ATTR))))\n") (%3ALOAD-SEQUENCE 207) (%3AidenticalTo "Instance(AbstractionFn of Cls(UnaryFunction))" "Instance(AbstractionFn_1 of Cls(PartialValuedRelation))") (%3ADomain1Type Instance) (%3AisInModule [BASE_ONTOLOGY]) (%3ASUO-name "AbstractionFn")) ([AbstractLanguage] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3905) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractLanguage isAbstractContentOf Language)" "(:hasRestrictedVal AbstractLanguage isRepresentedBy Language)" "(necessarily AbstractLanguage isAbstractContentOf Language)") (%3ASYNONYMS [UblLanguage])) ([AbstractLinguisticExpression] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3909) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractLinguisticExpression isAbstractContentOf LinguisticExpression)")) ([AbstractNumericString] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3977) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(necessarily AbstractNumericString hasTextFormat NumericFormat)" "(:hasRestrictedVal AbstractNumericString hasTextFormat NumericFormat)" "(:hasRestrictedVal AbstractNumericString hasReferent Number)" "(:hasRestrictedVal AbstractNumericString isRepresentedBy NumericString)") (%3ASYNONYMS [UblNumeric] [UblNumericContent])) ([AbstractObject] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3991) (%3AisInModule [UBL-invoice])) ([AbstractOrder] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3949) (%3AisInModule [UBL-invoice])) ([AbstractOrderCancellation] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3955) (%3AisInModule [UBL-invoice])) ([AbstractOrderChange] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3952) (%3AisInModule [UBL-invoice])) ([AbstractOrderResponse] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3954) (%3AisInModule [UBL-invoice])) ([AbstractOrderResponseSimple] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3953) (%3AisInModule [UBL-invoice])) ([AbstractReceiptAdvice] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3957) (%3AisInModule [UBL-invoice])) ([AbstractString] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4024) (%3AisInModule [STANDARDS]) (%3AClassPredicates "(:hasRestrictedval AbstractString isAbstractContentOf SymbolicString)" "(:hasRestrictedval AbstractString hasProperPart (UnionFn AbstractCharacter AbstractString))" "(hasNecessaryPart AbstractString AbstractCharacter)")) ([AbstractSymbol] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4055) (%3AisInModule [STANDARDS])) ([AbstractText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3924) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedval AbstractText isAbstractContentOf Text)")) ([AbstractTimeText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3936) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractTimeText hasTextFormat TimeFormat)" "(:hasRestrictedVal AbstractTimeText isAbstractContentOf SymbolicString)" "(:hasRestrictedVal AbstractTimeText hasReferent TimePosition)")) ([AbstractYearNumberText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3934) (%3AisInModule [UBL-invoice])) ([AbstractYearText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3933) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(necessarily AbstractYearText hasaTextComponent AbstractYearNumberText)")) ([AcademicDegree] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2866) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1218])) ([Accelerating] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2920) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1239])) ([accountHolder] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 3285) (%3AidenticalTo "Instance(accountHolder_1 of Cls(TotalValuedRelation))" "Instance(accountHolder_2 of Cls(BinaryPredicate))") (%3ADomain1Type Instance) (%3AisInModule [MidLevel]) (%3ASUO-name "accountHolder")) ([accountHolder_1] of TotalValuedRelation (%3ALOAD-SEQUENCE 3285) (%3AidenticalTo "Slot(accountHolder)" "Instance(accountHolder_2 of Cls(BinaryPredicate))") (%3AisInModule [MidLevel]) (%3Adocumentation "\"(&%accountHolder ?Account ?Agent) means that ?Agent is the account holder of the &%FinancialAccount ?Account.\"") (%3ASUO-name "accountHolder")) ([accountHolder_2] of BinaryPredicate (%3ALOAD-SEQUENCE 3285) (%3AidenticalTo "Slot(accountHolder)" "Instance(accountHolder_1 of Cls(TotalValuedRelation))") (%3AisInModule [MidLevel]) (%3Adocumentation "\"(&%accountHolder ?Account ?Agent) means that ?Agent is the account holder of the &%FinancialAccount ?Account.\"") (%3ASUO-name "accountHolder")) ([Acre] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2699) (%3AidenticalTo "Instance(Acre_1 of Cls(UnitOfMeasure))") (%3AisInModule [MidLevel])) ([Acre_1] of UnitOfMeasure (%3ALOAD-SEQUENCE 2699) (%3Adocumentation "A &%UnitOfMeasure equal to 4840 square yards.") (%3AidenticalTo "Cls(Acre)") (%3AisInModule [MidLevel])) ([ActualExistence] of Attribute (%3ALOAD-SEQUENCE 4156) (%3AisInModule [EXTENSIONS]) (%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.\"") (%3ASUO-name "ActualExistence")) ([AdditionFn] of BinaryFunction (%3ALOAD-SEQUENCE 498) (%3AidenticalTo "Instance(AdditionFn_1 of Cls(AssociativeFunction))" "Slot(AdditionFn_5)" "Instance(AdditionFn_4 of Cls(TotalValuedRelation))" "Instance(AdditionFn_2 of Cls(CommutativeFunction))" "Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))") (identityElement_2 [0]) (%3AisInModule [NUMERIC_FUNCTIONS]) (%3AInstanceAssertions [Assn00001]) (%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"") (%3ASUO-name "AdditionFn")) ([AdditionFn_1] of AssociativeFunction (%3ALOAD-SEQUENCE 498) (%3AidenticalTo "Instance(AdditionFn of Cls(BinaryFunction))" "Slot(AdditionFn_5)" "Instance(AdditionFn_4 of Cls(TotalValuedRelation))" "Instance(AdditionFn_2 of Cls(CommutativeFunction))" "Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"") (%3ASUO-name "AdditionFn")) ([AdditionFn_2] of CommutativeFunction (%3ALOAD-SEQUENCE 498) (%3AidenticalTo "Instance(AdditionFn of Cls(BinaryFunction))" "Instance(AdditionFn_1 of Cls(AssociativeFunction))" "Slot(AdditionFn_5)" "Instance(AdditionFn_4 of Cls(TotalValuedRelation))" "Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"") (%3ASUO-name "AdditionFn")) ([AdditionFn_3] of RelationExtendedToQuantities (%3ALOAD-SEQUENCE 498) (%3AidenticalTo "Instance(AdditionFn of Cls(BinaryFunction))" "Instance(AdditionFn_1 of Cls(AssociativeFunction))" "Slot(AdditionFn_5)" "Instance(AdditionFn_4 of Cls(TotalValuedRelation))" "Instance(AdditionFn_2 of Cls(CommutativeFunction))") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"") (%3ASUO-name "AdditionFn")) ([AdditionFn_4] of TotalValuedRelation (%3ALOAD-SEQUENCE 498) (%3AidenticalTo "Instance(AdditionFn of Cls(BinaryFunction))" "Instance(AdditionFn_1 of Cls(AssociativeFunction))" "Slot(AdditionFn_5)" "Instance(AdditionFn_2 of Cls(CommutativeFunction))" "Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"") (%3ASUO-name "AdditionFn")) ([AdditionFn_5] of %3ATernarySlot (%3AAXIOMS "\n(UAX-0197)\n(equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1))\n") (%3ALOAD-SEQUENCE 498) (%3AidenticalTo "Instance(AdditionFn of Cls(BinaryFunction))" "Instance(AdditionFn_1 of Cls(AssociativeFunction))" "Instance(AdditionFn_4 of Cls(TotalValuedRelation))" "Instance(AdditionFn_2 of Cls(CommutativeFunction))" "Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))") (%3ADomain1Type Instance) (%3AisInModule [NUMERIC_FUNCTIONS]) (%3ADomain2Class Quantity) (%3ADomain2Type Instance) (%3ASUO-name "AdditionFn")) ([address] of BinaryPredicate (%3ALOAD-SEQUENCE 2327) (%3AidenticalTo "Slot(address_1)") (%3AisInModule [MidLevel]) (%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.\"") (%3ASUO-name "address")) ([Address] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2328) (%3AisInModule [MidLevel])) ([address_1] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 2327) (%3AidenticalTo "Instance(address of Cls(BinaryPredicate))") (%3ADomain1Type Instance) (%3AisInModule [MidLevel]) (%3ASUO-name "address") (relatedInternalConcept "telephoneNumber")) ([Addressees] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3794) (%3AisInModule [Invoices])) ([Adjacent] of PositionalAttribute (%3ALOAD-SEQUENCE 1933) (%3AAXIOMS "\n(UAX-0817)\n(<=>\n (orientation ?OBJ1 ?OBJ2 Adjacent)\n (or\n (orientation ?OBJ1 ?OBJ2 Near)\n (connected ?OBJ1 ?OBJ2)))\n") (%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.\"") (%3ASUO-name "Adjacent")) ([Adjective] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1708) (%3AisInModule [OBJECTS]) (disjoint [Noun] [Verb] [Adverb] [Particle])) ([administrativeCenter] of BinaryPredicate (%3ALOAD-SEQUENCE 3518) (%3AidenticalTo "Slot(administrativeCenter_1)" "Instance(administrativeCenter_2 of Cls(SpatialRelation))") (%3AisInModule [MidLevel]) (%3Adocumentation "\"(&%administrativeCenter ?CENTER ?REGION) means that ?CENTER is the &%City (or other area) from which the larger &%GeopoliticalArea ?REGION is administered.\"") (%3ASUO-name "administrativeCenter")) ([administrativeCenter_1] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 3518) (%3AidenticalTo "Instance(administrativeCenter_2 of Cls(SpatialRelation))" "Instance(administrativeCenter of Cls(BinaryPredicate))") (%3ADomain1Type Instance) (%3AisInModule [MidLevel]) (%3ASUO-name "administrativeCenter")) ([administrativeCenter_2] of SpatialRelation (%3ALOAD-SEQUENCE 3518) (%3AidenticalTo "Slot(administrativeCenter_1)" "Instance(administrativeCenter of Cls(BinaryPredicate))") (%3AisInModule [MidLevel]) (%3Adocumentation "\"(&%administrativeCenter ?CENTER ?REGION) means that ?CENTER is the &%City (or other area) from which the larger &%GeopoliticalArea ?REGION is administered.\"") (%3ASUO-name "administrativeCenter")) ([Adverb] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1709) (%3AisInModule [OBJECTS]) (disjoint [Noun] [Verb] [Adjective] [Particle])) ([Advertising] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1427) (%3AisInModule [PROCESSES]) (%3ASLOT-CONSTRAINTS [UAX-0609])) ([Aerator] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2200) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0923])) ([Africa] of Continent (%3ALOAD-SEQUENCE 3452) (%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"") (%3ASUO-name "Africa") (%3AisInModule [MidLevel])) ([Afternoon] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3034) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1292])) ([age] of SingleValuedRelation (%3ALOAD-SEQUENCE 841) (%3AidenticalTo "Instance(age_2 of Cls(BinaryPredicate))" "Slot(age_1)") (%3AisInModule [UNITS_OF_MEASURE]) (%3Adocumentation "\"Simply relates an &%Object to a &%ConstantQuantity specifying the age of the &%Object.\"") (%3ASUO-name "age")) ([age_1] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 841) (%3AidenticalTo "Instance(age_2 of Cls(BinaryPredicate))" "Instance(age of Cls(SingleValuedRelation))") (%3ADomain1Type Instance) (%3AisInModule [UNITS_OF_MEASURE]) (%3ASUO-name "age")) ([age_2] of BinaryPredicate (%3ALOAD-SEQUENCE 841) (%3AidenticalTo "Slot(age_1)" "Instance(age of Cls(SingleValuedRelation))") (%3AisInModule [UNITS_OF_MEASURE]) (%3Adocumentation "\"Simply relates an &%Object to a &%ConstantQuantity specifying the age of the &%Object.\"") (%3ASUO-name "age")) ([AgeGroup] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1839) (%3AisInModule [OBJECTS]) (%3ASLOT-CONSTRAINTS [UAX-0783])) ([agent] of CaseRole (%3ALOAD-SEQUENCE 290) (%3AidenticalTo "Slot(agent_1)") (%3AisInModule [BASE_ONTOLOGY]) (%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.\"") (%3ASUO-name "agent")) ([Agent] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 189) (%3AisInModule [BASE_ONTOLOGY]) (%3ASLOT-CONSTRAINTS [UAX-0076])) ([agent_1] of %3AUBL-SLOT (%3AAXIOMS "\n(UAX-0105)\n(=>\n (instance ?PROCESS Process)\n (exists (?CAUSE)\n (agent ?PROCESS ?CAUSE)))\n") (%3ALOAD-SEQUENCE 290) (%3AidenticalTo "Instance(agent of Cls(CaseRole))") (%3ADomain1Type Instance) (%3AisInModule [BASE_ONTOLOGY]) (%3ASUO-name "agent")) ([AgentGroup] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3790) (%3AisInModule [Invoices])) ([AgentNameString] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4028) (%3AisInModule [STANDARDS]) (%3AClassPredicates "(necessarily AgentNameString isaNameOf Agent)" "(:hasRestrictedVal AgentNameString isaNameOf Agent)")) ([Agreement] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3896) (%3AisInModule [UBL-invoice])) ([agreementMember] of BinaryPredicate (%3ALOAD-SEQUENCE 3254) (%3AidenticalTo "Instance(agreementMember_1 of Cls(TotalValuedRelation))" "Slot(agreementMember_2)") (%3AisInModule [MidLevel]) (%3Adocumentation "\"(&%agreementMember ?Agreement ?Agent) means that ?Agent is one of the participants of the &%Contract ?Agreement.\"") (%3ASUO-name "agreementMember")) ([agreementMember_1] of TotalValuedRelation (%3ALOAD-SEQUENCE 3254) (%3AidenticalTo "Instance(agreementMember of Cls(BinaryPredicate))" "Slot(agreementMember_2)") (%3AisInModule [MidLevel]) (%3Adocumentation "\"(&%agreementMember ?Agreement ?Agent) means that ?Agent is one of the participants of the &%Contract ?Agreement.\"") (%3ASUO-name "agreementMember")) ([agreementMember_2] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 3254) (%3AidenticalTo "Instance(agreementMember of Cls(BinaryPredicate))" "Instance(agreementMember_1 of Cls(TotalValuedRelation))") (%3ADomain1Type Instance) (%3AisInModule [MidLevel]) (%3ASUO-name "agreementMember")) ([Agriculture] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3425) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1434])) ([Air] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1651) (%3AisInModule [OBJECTS]) (%3ASLOT-CONSTRAINTS [UAX-0693] [UAX-0694] [UAX-0695] [UAX-0696] [UAX-0697])) ([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-1473])) ([AirStream] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3412) (%3AisInModule [MidLevel])) ([AirTransportation] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2959) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1258] [UAX-1259])) ([Alaska] of AmericanState (%3AAXIOMS "\n(UAX-1502)\n(=>\n (and\n (subclass ?UNIT AreaMeasure)\n (measure Alaska (MeasureFn ?NUMBER1 ?UNIT))\n (measure ?STATE (MeasureFn ?NUMBER2 ?UNIT))\n (instance ?STATE AmericanState)\n (not (equal Alaska ?STATE)))\n (lessThan ?NUMBER2 ?NUMBER1))\n") (%3ALOAD-SEQUENCE 3731) (%3Adocumentation "\"The largest state in the &%UnitedStates.\"") (%3ASUO-name "Alaska") (%3AisInModule [MidLevel])) ([Alcohol] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2482) (%3AisInModule [MidLevel])) ([AlcoholicBeverage] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2550) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1071])) ([AlethicAttribute] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1975) (%3AisInModule [QUALITIES])) ([Alga] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1587) (%3AisInModule [OBJECTS]) (disjoint [Fern] [Fungus] [Moss]) (%3ASLOT-CONSTRAINTS [UAX-0678])) ([altitude] of SingleValuedRelation (%3ALOAD-SEQUENCE 846) (%3AidenticalTo "Instance(altitude_2 of Cls(SpatialRelation))" "Instance(altitude_3 of Cls(TernaryPredicate))" "Slot(altitude_1)") (%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.\"") (%3ASUO-name "altitude")) ([altitude_1] of %3ATernarySlot (%3AAXIOMS "\n(UAX-0315)\n(=>\n (altitude ?OBJ1 ?OBJ2 ?HEIGHT)\n (orientation ?OBJ1 ?OBJ2 Above))\n\n(UAX-0316)\n(=>\n (altitude ?OBJ1 ?OBJ2 ?HEIGHT)\n (exists (?TOP)\n (and\n (top ?TOP ?OBJ1)\n (distance ?TOP ?OBJ2 ?HEIGHT))))\n") (%3ALOAD-SEQUENCE 846) (%3AidenticalTo "Instance(altitude_2 of Cls(SpatialRelation))" "Instance(altitude_3 of Cls(TernaryPredicate))" "Instance(altitude of Cls(SingleValuedRelation))") (%3ADomain1Type Instance) (%3AisInModule [UNITS_OF_MEASURE]) (%3ADomain2Class Physical) (%3ADomain2Type Instance) (%3ASUO-name "altitude")) ([altitude_2] of SpatialRelation (%3ALOAD-SEQUENCE 846) (%3AidenticalTo "Instance(altitude_3 of Cls(TernaryPredicate))" "Instance(altitude of Cls(SingleValuedRelation))" "Slot(altitude_1)") (%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.\"") (%3ASUO-name "altitude")) ([altitude_3] of TernaryPredicate (%3ALOAD-SEQUENCE 846) (%3AidenticalTo "Instance(altitude_2 of Cls(SpatialRelation))" "Instance(altitude of Cls(SingleValuedRelation))" "Slot(altitude_1)") (%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.\"") (%3ASUO-name "altitude")) ([Ambulating] of %3ASYN-CLASS (partition [Walking] [Running]) (%3ALOAD-SEQUENCE 1219) (%3AisInModule [PROCESSES])) ([AmericanCity] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2455) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1033])) ([AmericanState] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2453) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1032])) ([AmerindianEthnicity] of EthnicGroup (%3ALOAD-SEQUENCE 3699) (%3Adocumentation "\"A broad ethnic group encompassing any of the North, Central, or South American tribal peoples.\"") (%3ASUO-name "AmerindianEthnicity") (%3AisInModule [MidLevel])) ([AmountContent] of %3AUBL-Synonym (%3AhasFrequency 1.0) (%3Adocumentation "\"The UBL equivalent of SMINK RealNumberString, restricted to use with Monetary units. UBL: A number of monetary units specified in a currency where the unit of currency is explicit or implied.\"") (%3ASUO-name "AmountContent") (%3AsynonymousTerm "Amount Content") (%3AinLanguage [UBLv10]) (%3AisaSynonymOf [RealNumberString])) ([AmountCurrencyType] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4011) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AmountCurrencyType hasReferent UnitOfCurrency)") (%3ASYNONYMS [UBLCurrencyType])) ([amountDue] of TernaryPredicate (%3ALOAD-SEQUENCE 3365) (%3AidenticalTo "Slot(amountDue_1)") (%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\"") (%3ASUO-name "amountDue")) ([AmountDue] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4009) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AmountDue hasLocation LegalTotalsText)") (%3ASYNONYMS [UblToBePaid])) ([amountDue_1] of %3ATernarySlot (%3AAXIOMS "\n(UAX-1413)\n(=>\n (and\n (amountDue ?Account ?Amount ?DueDate)\n (accountHolder ?Account ?Agent))\n (holdsObligation (exists (?Payment ?Date)\n (and\n (instance ?Payment Payment)\n (transactionAmount ?Payment ?Amount)\n (agent ?Payment ?Agent)\n (origin ?Payment ?Account)\n (date ?Payment ?Date)\n (beforeOrEqual (EndFn ?Date) (EndFn ?DueDate)))) ?Agent))\n") (%3ALOAD-SEQUENCE 3365) (%3AidenticalTo "Instance(amountDue of Cls(TernaryPredicate))") (%3ADomain1Type Instance) (%3AisInModule [MidLevel]) (%3ADomain2Class CurrencyMeasure) (%3ADomain2Type Instance) (%3ASUO-name "amountDue")) ([AmountType] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4003) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AmountType hasReferent CurrencyMeasure)") (%3ASYNONYMS [UBLAmount])) ([Ampere] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 703) (%3AidenticalTo "Instance(Ampere_1 of Cls(SystemeInternationalUnit))") (%3AisInModule [UNITS_OF_MEASURE])) ([Ampere_1] of SystemeInternationalUnit (%3ALOAD-SEQUENCE 703) (%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.") (%3AidenticalTo "Cls(Ampere)") (%3AisInModule [UNITS_OF_MEASURE])) ([Amphibian] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1613) (%3AisInModule [OBJECTS]) (disjoint [Fish] [Reptile])) ([Amu] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 771) (%3AidenticalTo "Instance(Amu_1 of Cls(UnitOfMeasure))") (%3AisInModule [UNITS_OF_MEASURE]) (%3ASLOT-CONSTRAINTS [UAX-0288])) ([Amu_1] of UnitOfMeasure (%3ALOAD-SEQUENCE 771) (%3Adocumentation "Atomic mass unit. Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope.") (%3AidenticalTo "Cls(Amu)") (%3AisInModule [UNITS_OF_MEASURE])) ([Anaconda] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2625) (%3AisInModule [MidLevel])) ([Anarchy] of FormOfGovernment (%3ALOAD-SEQUENCE 3501) (%3AisInModule [MidLevel]) (%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"") (%3ASUO-name "Anarchy")) ([AnatomicalStructure] of %3ASYN-CLASS (partition [BodyPart] [AbnormalAnatomicalStructure]) (%3ALOAD-SEQUENCE 1669) (%3AisInModule [OBJECTS]) (partition2 [AnimalAnatomicalStructure] [PlantAnatomicalStructure]) (disjoint [Organism]) (%3ASLOT-CONSTRAINTS [UAX-0704] [UAX-0705])) ([ancestor] of TransitiveRelation (%3ALOAD-SEQUENCE 1581) (%3AidenticalTo "Instance(ancestor_1 of Cls(IrreflexiveRelation))" "Slot(ancestor_2)" "Instance(ancestor_3 of Cls(BinaryPredicate))") (%3AisInModule [OBJECTS]) (%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.\"") (%3ASUO-name "ancestor")) ([ancestor_1] of IrreflexiveRelation (%3ALOAD-SEQUENCE 1581) (%3AidenticalTo "Slot(ancestor_2)" "Instance(ancestor_3 of Cls(BinaryPredicate))" "Instance(ancestor of Cls(TransitiveRelation))") (%3AisInModule [OBJECTS]) (%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.\"") (%3ASUO-name "ancestor")) ([ancestor_2] of %3AUBL-SLOT (%3AAXIOMS "\n(UAX-0677)\n(=>\n (parent ?PARENT ?CHILD)\n (ancestor ?PARENT ?CHILD))\n") (%3ALOAD-SEQUENCE 1581) (%3AidenticalTo "Instance(ancestor_1 of Cls(IrreflexiveRelation))" "Instance(ancestor_3 of Cls(BinaryPredicate))" "Instance(ancestor of Cls(TransitiveRelation))") (%3ADomain1Type Instance) (%3AisInModule [OBJECTS]) (%3ASUO-name "ancestor")) ([ancestor_3] of BinaryPredicate (%3ALOAD-SEQUENCE 1581) (%3AidenticalTo "Instance(ancestor_1 of Cls(IrreflexiveRelation))" "Slot(ancestor_2)" "Instance(ancestor of Cls(TransitiveRelation))") (%3AisInModule [OBJECTS]) (%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.\"") (%3ASUO-name "ancestor")) ([and] of VariableArityRelation (%3ALOAD-SEQUENCE 87) (%3AidenticalTo "Slot(and_2)" "Instance(and_1 of Cls(LogicalOperator))") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3Adocumentation "\"The truth-functional connective of conjunction.\"") (%3ASUO-name "and")) ([and_1] of LogicalOperator (%3ALOAD-SEQUENCE 87) (%3AidenticalTo "Instance(and of Cls(VariableArityRelation))" "Slot(and_2)") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3Adocumentation "\"The truth-functional connective of conjunction.\"") (%3ASUO-name "and")) ([and_2] of %3AVariableAritySlot (%3ALOAD-SEQUENCE 87) (%3AidenticalTo "Instance(and of Cls(VariableArityRelation))" "Instance(and_1 of Cls(LogicalOperator))") (%3ADomain1Type Instance) (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3ASUO-name "and")) ([Anger] of EmotionalState (%3ALOAD-SEQUENCE 3063) (%3AisInModule [MidLevel]) (subAttribute_2 [Unhappiness]) (%3Adocumentation "\"The state of being wrathful, irate or indignant.\"") (%3ASUO-name "Anger")) ([AngleMeasure] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 662) (%3AisInModule [UNITS_OF_MEASURE])) ([angleOfFigure] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 2047) (%3AidenticalTo "Instance(angleOfFigure_1 of Cls(BinaryPredicate))") (%3ADomain1Type Instance) (%3AisInModule [QUALITIES]) (%3ASUO-name "angleOfFigure")) ([angleOfFigure_1] of BinaryPredicate (%3ALOAD-SEQUENCE 2047) (%3AidenticalTo "Slot(angleOfFigure)") (%3AisInModule [QUALITIES]) (%3Adocumentation "\"(&%angleOfFigure ?ANGLE ?FIGURE) means that the &%TwoDimensionalAngle ?ANGLE is part of the &%GeometricFigure ?FIGURE.\"") (%3ASUO-name "angleOfFigure")) ([Angstrom] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 776) (%3AidenticalTo "Instance(Angstrom_1 of Cls(UnitOfMeasure))") (%3AisInModule [UNITS_OF_MEASURE]) (%3ASLOT-CONSTRAINTS [UAX-0290])) ([Angstrom_1] of UnitOfMeasure (%3ALOAD-SEQUENCE 776) (%3Adocumentation "The &%Angstrom is a &%LengthMeasure. 1 &%Angstrom = 10^(-10) m") (%3AidenticalTo "Cls(Angstrom)") (%3AisInModule [UNITS_OF_MEASURE])) ([AngularDegree] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 818) (%3AidenticalTo "Instance(AngularDegree_1 of Cls(UnitOfMeasure))") (%3AisInModule [UNITS_OF_MEASURE]) (%3ASLOT-CONSTRAINTS [UAX-0306] [UAX-0307] [UAX-0308])) ([AngularDegree_1] of UnitOfMeasure (%3ALOAD-SEQUENCE 818) (%3Adocumentation "A plane angle measure.") (%3AidenticalTo "Cls(AngularDegree)") (%3AisInModule [UNITS_OF_MEASURE])) ([angularMeasure] of BinaryPredicate (%3ALOAD-SEQUENCE 2052) (%3AidenticalTo "Slot(angularMeasure_2)" "Instance(angularMeasure_1 of Cls(TotalValuedRelation))") (%3AisInModule [QUALITIES]) (%3Adocumentation "\"(&%angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the &%PlaneAngleMeasure of ?MEASURE.\"") (%3ASUO-name "angularMeasure")) ([angularMeasure_1] of TotalValuedRelation (%3ALOAD-SEQUENCE 2052) (%3AidenticalTo "Instance(angularMeasure of Cls(BinaryPredicate))" "Slot(angularMeasure_2)") (%3AisInModule [QUALITIES]) (%3Adocumentation "\"(&%angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the &%PlaneAngleMeasure of ?MEASURE.\"") (%3ASUO-name "angularMeasure")) ([angularMeasure_2] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 2052) (%3AidenticalTo "Instance(angularMeasure of Cls(BinaryPredicate))" "Instance(angularMeasure_1 of Cls(TotalValuedRelation))") (%3ADomain1Type Instance) (%3AisInModule [QUALITIES]) (%3ASUO-name "angularMeasure")) ([AnimacyAttribute] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2081) (%3AisInModule [QUALITIES]) (%3AClassPredicates "(exhaustiveAttribute AnimacyAttribute Living Dead)")) ([Animal] of %3ASYN-CLASS (partition [Vertebrate] [Invertebrate]) (%3ALOAD-SEQUENCE 1593) (%3AisInModule [OBJECTS]) (disjoint [Plant] [Microorganism])) ([AnimalAnatomicalStructure] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1677) (%3AisInModule [OBJECTS]) (disjoint [PlantAnatomicalStructure]) (%3ASLOT-CONSTRAINTS [UAX-0709])) ([AnimalLanguage] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 174) (%3AisInModule [BASE_ONTOLOGY]) (disjoint [HumanLanguage] [ComputerLanguage]) (%3ASLOT-CONSTRAINTS [UAX-0072])) ([AnimalResidence] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2360) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0989])) ([AnimalSubstance] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2529) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1063])) ([Answering] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2173) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0913])) ([Antarctica] of Continent (%3ALOAD-SEQUENCE 3455) (%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"") (%3ASUO-name "Antarctica") (%3AisInModule [MidLevel])) ([Antenna] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2821) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1197])) ([Antibody] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2540) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1067])) ([Antigen] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2542) (%3AisInModule [MidLevel])) ([Antisemitism] of BeliefGroup (%3AAXIOMS "\n(UAX-1004)\n(=>\n (member ?MEMBER Antisemitism)\n (dislikes ?MEMBER Judaism))\n") (%3ALOAD-SEQUENCE 2389) (%3Adocumentation "\"The &%BeliefGroup that is characterized by a dislike for &%Judaism.\"") (%3ASUO-name "Antisemitism") (%3AisInModule [MidLevel])) ([AntisymmetricRelation] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 277) (%3AisInModule [BASE_ONTOLOGY]) (%3ASLOT-CONSTRAINTS [UAX-0100])) ([Anxiety] of EmotionalState (%3ALOAD-SEQUENCE 3061) (%3AAXIOMS "\n(UAX-1305)\n(=>\n (attribute ?PERSON Anxiety)\n (exists (?PROP)\n (fears ?PERSON ?PROP)))\n\n(UAX-1306)\n(=>\n (attribute ?PERSON Anger)\n (exists (?PROP)\n (disapproves ?PERSON ?PROP)))\n") (contraryAttribute_2 [Tranquility]) (%3AisInModule [MidLevel]) (subAttribute_2 [Unhappiness]) (%3Adocumentation "\"The state of being worried, troubled or uneasy.\"") (%3ASUO-name "Anxiety")) ([ApartmentBuilding] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2356) (%3AisInModule [MidLevel]) (disjoint [SingleFamilyResidence]) (%3ASLOT-CONSTRAINTS [UAX-0987])) ([ApartmentUnit] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2349) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0983] [UAX-0984])) ([Ape] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1627) (%3AisInModule [OBJECTS]) (disjoint [Monkey] [Hominid])) ([Application] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2736) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1160])) ([April] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 961) (%3AisInModule [TEMPORAL_CONCEPTS]) (%3ASLOT-CONSTRAINTS [UAX-0378] [UAX-0379])) ([AquaticMammal] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1618) (%3AisInModule [OBJECTS]) (disjoint [HoofedMammal] [Marsupial] [Rodent] [Primate])) ([Arachnid] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1607) (%3AisInModule [OBJECTS]) (disjoint [Myriapod] [Insect] [Crustacean])) ([ArcticRegion] of GeographicArea (%3ALOAD-SEQUENCE 3459) (%3Adocumentation "\"The &%ArcticRegion is the region of &%PlanetEarth that lies north of the Arctic Circle (approximately 66 and one half degrees &%North latitude) or beyond the northern treeline: 'The Arctic'. See also &%ArcticArea.\"") (%3ASUO-name "ArcticRegion") (%3AisInModule [MidLevel])) ([arcWeight] of BinaryPredicate (%3ALOAD-SEQUENCE 632) (%3AidenticalTo "Instance(arcWeight_1 of Cls(SingleValuedRelation))" "Slot(arcWeight_2)") (%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.\"") (%3ASUO-name "arcWeight")) ([arcWeight_1] of SingleValuedRelation (%3ALOAD-SEQUENCE 632) (%3AidenticalTo "Slot(arcWeight_2)" "Instance(arcWeight of Cls(BinaryPredicate))") (%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.\"") (%3ASUO-name "arcWeight")) ([arcWeight_2] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 632) (%3AidenticalTo "Instance(arcWeight_1 of Cls(SingleValuedRelation))" "Instance(arcWeight of Cls(BinaryPredicate))") (%3ADomain1Type Instance) (%3AisInModule [GRAPH_THEORY]) (%3ASUO-name "arcWeight")) ([AreaMeasure] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 658) (%3AisInModule [UNITS_OF_MEASURE])) ([Arguing] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2175) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0914])) ([Argument] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1887) (%3AisInModule [QUALITIES]) (%3ASLOT-CONSTRAINTS [UAX-0799] [UAX-0800])) ([Arm] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2614) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1104])) ([Army] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2463) (%3AisInModule [MidLevel])) ([Arriving] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2935) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1247])) ([ArrowIcon] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2687) (%3AisInModule [MidLevel])) ([Artery] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2564) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1077])) ([Arthropod] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1606) (disjointDecomposition [Arachnid] [Myriapod] [Insect] [Crustacean]) (%3AisInModule [OBJECTS]) (disjoint [Worm] [Mollusk])) ([Article] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1753) (%3AisInModule [OBJECTS]) (disjoint [Book]) (%3ASLOT-CONSTRAINTS [UAX-0743])) ([Artifact] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1767) (%3AisInModule [OBJECTS]) (%3ASLOT-CONSTRAINTS [UAX-0749])) ([ArtificialLanguage] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 176) (%3AisInModule [BASE_ONTOLOGY])) ([ArtificialSatellite] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3614) (%3AisInModule [MidLevel]) (disjoint [NaturalSatellite])) ([ArtilleryGun] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2191) (%3AisInModule [MidLevel]) (disjoint [Firearm])) ([ArtPainting] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2231) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0933])) ([ArtStudio] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2338) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0978])) ([ArtWork] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1790) (%3AisInModule [OBJECTS])) ([AsexualReproduction] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1148) (%3AisInModule [PROCESSES]) (disjoint [SexualReproduction]) (%3ASLOT-CONSTRAINTS [UAX-0477])) ([Asia] of Continent (%3ALOAD-SEQUENCE 3457) (%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"") (%3ASUO-name "Asia") (%3AisInModule [MidLevel])) ([Asleep] of ConsciousnessAttribute (%3ALOAD-SEQUENCE 2111) (%3AisInModule [QUALITIES]) (subAttribute_2 [Unconscious]) (%3Adocumentation "\"This &%Attribute applies to &%Organisms that are sleeping.\"") (%3ASUO-name "Asleep")) ([Assent] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3897) (%3AisInModule [UBL-invoice])) ([Assertion] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3899) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal Assertion isRepresentedBy Statement)")) ([Asset] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3265) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1374] [UAX-1375])) ([AssignmentFn] of Function (%3ALOAD-SEQUENCE 97) (%3AidenticalTo "Slot(AssignmentFn_2)" "Instance(AssignmentFn_1 of Cls(VariableArityRelation))") (%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.\"") (%3ASUO-name "AssignmentFn")) ([AssignmentFn_1] of VariableArityRelation (%3ALOAD-SEQUENCE 97) (%3AidenticalTo "Slot(AssignmentFn_2)" "Instance(AssignmentFn of Cls(Function))") (%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.\"") (%3ASUO-name "AssignmentFn")) ([AssignmentFn_2] of %3AVariableAritySlot (%3ALOAD-SEQUENCE 97) (%3AidenticalTo "Instance(AssignmentFn_1 of Cls(VariableArityRelation))" "Instance(AssignmentFn of Cls(Function))") (%3ADomain1Type Instance) (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3ASUO-name "AssignmentFn")) ([Assn00000] of %3AAssertion (%3ASUO-name "Assn00000") (%3AliteralTranscription "(identityElement MultiplicationFn 1)") (%3AargumentList "identityElement" "MultiplicationFn" "1") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3ALOAD-SEQUENCE 497)) ([Assn00001] of %3AAssertion (%3ASUO-name "Assn00001") (%3AliteralTranscription "(identityElement AdditionFn 0)") (%3AargumentList "identityElement" "AdditionFn" "0") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3ALOAD-SEQUENCE 498)) ([Assn00002] of %3AAssertion (%3ASUO-name "Assn00002") (%3AliteralTranscription "(identityElement SubtractionFn 0)") (%3AargumentList "identityElement" "SubtractionFn" "0") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3ALOAD-SEQUENCE 500)) ([Assn00003] of %3AAssertion (%3ASUO-name "Assn00003") (%3AliteralTranscription "(identityElement DivisionFn 1)") (%3AargumentList "identityElement" "DivisionFn" "1") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3ALOAD-SEQUENCE 502)) ([Assn00004] of %3AAssertion (%3ASUO-name "Assn00004") (%3AliteralTranscription "(:hasValueClass President isUniqueFor Nation)") (%3AargumentList ":hasValueClass" "President" "isUniqueFor" "Nation") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3529)) ([Assn00005] of %3AAssertion (%3ASUO-name "Assn00005") (%3AliteralTranscription "(orbits EarthsMoon PlanetEarth)") (%3AargumentList "orbits" "EarthsMoon" "PlanetEarth") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3686)) ([Assn00006] of %3AAssertion (%3ASUO-name "Assn00006") (%3AliteralTranscription "(orbits PlanetEarth Sol)") (%3AargumentList "orbits" "PlanetEarth" "Sol") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3687)) ([Assn00007] of %3AAssertion (%3ASUO-name "Assn00007") (%3AliteralTranscription "(orbits PlanetMercury Sol)") (%3AargumentList "orbits" "PlanetMercury" "Sol") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3688)) ([Assn00008] of %3AAssertion (%3ASUO-name "Assn00008") (%3AliteralTranscription "(orbits PlanetVenus Sol)") (%3AargumentList "orbits" "PlanetVenus" "Sol") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3689)) ([Assn00009] of %3AAssertion (%3ASUO-name "Assn00009") (%3AliteralTranscription "(orbits PlanetMars Sol)") (%3AargumentList "orbits" "PlanetMars" "Sol") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3690)) ([Assn00010] of %3AAssertion (%3ASUO-name "Assn00010") (%3AliteralTranscription "(orbits PlanetJupiter Sol)") (%3AargumentList "orbits" "PlanetJupiter" "Sol") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3691)) ([Assn00011] of %3AAssertion (%3ASUO-name "Assn00011") (%3AliteralTranscription "(orbits PlanetSaturn Sol)") (%3AargumentList "orbits" "PlanetSaturn" "Sol") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3692)) ([Assn00012] of %3AAssertion (%3ASUO-name "Assn00012") (%3AliteralTranscription "(orbits PlanetNeptune Sol)") (%3AargumentList "orbits" "PlanetNeptune" "Sol") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3693)) ([Assn00013] of %3AAssertion (%3ASUO-name "Assn00013") (%3AliteralTranscription "(orbits PlanetUranus Sol)") (%3AargumentList "orbits" "PlanetUranus" "Sol") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3694)) ([Assn00014] of %3AAssertion (%3ASUO-name "Assn00014") (%3AliteralTranscription "(orbits PlanetPluto Sol)") (%3AargumentList "orbits" "PlanetPluto" "Sol") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3695)) ([Assn00015] of %3AAssertion (%3ASUO-name "Assn00015") (%3AliteralTranscription "(subCollection Protestantism Christianity)") (%3AargumentList "subCollection" "Protestantism" "Christianity") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3702)) ([Assn00016] of %3AAssertion (%3ASUO-name "Assn00016") (%3AliteralTranscription "(subCollection RomanCatholicism Christianity)") (%3AargumentList "subCollection" "RomanCatholicism" "Christianity") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3703)) ([Assn00017] of %3AAssertion (%3ASUO-name "Assn00017") (%3AliteralTranscription "(subField Physiology Biology)") (%3AargumentList "subField" "Physiology" "Biology") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3711)) ([Assn00018] of %3AAssertion (%3ASUO-name "Assn00018") (%3AliteralTranscription "(subField MedicalScience Biology)") (%3AargumentList "subField" "MedicalScience" "Biology") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3712)) ([Assn00019] of %3AAssertion (%3ASUO-name "Assn00019") (%3AliteralTranscription "(subField Electronics Physics)") (%3AargumentList "subField" "Electronics" "Physics") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3716)) ([Assn00020] of %3AAssertion (%3ASUO-name "Assn00020") (%3AliteralTranscription "(subField Electronics Engineering)") (%3AargumentList "subField" "Electronics" "Engineering") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3716)) ([Assn00021] of %3AAssertion (%3ASUO-name "Assn00021") (%3AliteralTranscription "(part RedRiver UnitedStates)") (%3AargumentList "part" "RedRiver" "UnitedStates") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3723)) ([Assn00022] of %3AAssertion (%3ASUO-name "Assn00022") (%3AliteralTranscription "(meetsSpatially Mexico UnitedStates)") (%3AargumentList "meetsSpatially" "Mexico" "UnitedStates") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3724)) ([Assn00023] of %3AAssertion (%3ASUO-name "Assn00023") (%3AliteralTranscription "(meetsSpatially Virginia WashingtonDC)") (%3AargumentList "meetsSpatially" "Virginia" "WashingtonDC") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3738)) ([Assn00024] of %3AAssertion (%3ASUO-name "Assn00024") (%3AliteralTranscription "(part NewEngland UnitedStates)") (%3AargumentList "part" "NewEngland" "UnitedStates") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3740)) ([Assn00025] of %3AAssertion (%3ASUO-name "Assn00025") (%3AliteralTranscription "(part NewYorkCity NewYorkState)") (%3AargumentList "part" "NewYorkCity" "NewYorkState") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3741)) ([Assn00026] of %3AAssertion (%3ASUO-name "Assn00026") (%3AliteralTranscription "(part LosAngeles California)") (%3AargumentList "part" "LosAngeles" "California") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3748)) ([Assn00027] of %3AAssertion (%3ASUO-name "Assn00027") (%3AliteralTranscription "(part SanFrancisco California)") (%3AargumentList "part" "SanFrancisco" "California") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3750)) ([Assn00028] of %3AAssertion (%3ASUO-name "Assn00028") (%3AliteralTranscription "(part PuertoRico UnitedStates)") (%3AargumentList "part" "PuertoRico" "UnitedStates") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3752)) ([Assn00029] of %3AAssertion (%3ASUO-name "Assn00029") (%3AliteralTranscription "(part Paris France)") (%3AargumentList "part" "Paris" "France") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3754)) ([Assn00030] of %3AAssertion (%3ASUO-name "Assn00030") (%3AliteralTranscription "(part London UnitedKingdomOfGreatBritainAndNorthernIreland)") (%3AargumentList "part" "London" "UnitedKingdomOfGreatBritainAndNorthernIreland") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3758)) ([Assn00031] of %3AAssertion (%3ASUO-name "Assn00031") (%3AliteralTranscription "(part Greece Europe)") (%3AargumentList "part" "Greece" "Europe") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3762)) ([Assn00032] of %3AAssertion (%3ASUO-name "Assn00032") (%3AliteralTranscription "(part Germany Europe)") (%3AargumentList "part" "Germany" "Europe") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3763)) ([Assn00033] of %3AAssertion (%3ASUO-name "Assn00033") (%3AliteralTranscription "(subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates))") (%3AargumentList "subOrganization" "UnitedStatesDepartmentOfState" "(GovernmentFn UnitedStates)") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3765)) ([Assn00034] of %3AAssertion (%3ASUO-name "Assn00034") (%3AliteralTranscription "(subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates))") (%3AargumentList "subOrganization" "UnitedStatesDepartmentOfInterior" "(GovernmentFn UnitedStates)") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3766)) ([Assn00035] of %3AAssertion (%3ASUO-name "Assn00035") (%3AliteralTranscription "(subOrganization UnitedStatesCongress (GovernmentFn UnitedStates))") (%3AargumentList "subOrganization" "UnitedStatesCongress" "(GovernmentFn UnitedStates)") (%3AisInModule [MidLevel]) (%3ALOAD-SEQUENCE 3770)) ([Assn00036] of %3AAssertion (%3ASUO-name "Assn00036") (%3AliteralTranscription "(hasName JoineryInvoice-2003-00645 \"IN 2003/00645\")") (%3AargumentList "hasName" "JoineryInvoice-2003-00645" "\"IN 2003/00645\"") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3817)) ([Assn00037] of %3AAssertion (%3ASUO-name "Assn00037") (%3AliteralTranscription "(date JoineryInvoice-2003-00645 (DayFn 25 (MonthFn 2 (YearFn 2003))))") (%3AargumentList "date" "JoineryInvoice-2003-00645" "(DayFn 25 (MonthFn 2 (YearFn 2003)))") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3817)) ([Assn00038] of %3AAssertion (%3ASUO-name "Assn00038") (%3AliteralTranscription "(refers JoineryInvoice-2003-00645 JoineryPurchase-2003-00645)") (%3AargumentList "refers" "JoineryInvoice-2003-00645" "JoineryPurchase-2003-00645") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3817)) ([Assn00039] of %3AAssertion (%3ASUO-name "Assn00039") (%3AliteralTranscription "(date JoineryPurchase-2003-00645 (DayFn 3 (MonthFn 2 (YearFn 2003))))") (%3AargumentList "date" "JoineryPurchase-2003-00645" "(DayFn 3 (MonthFn 2 (YearFn 2003)))") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3818)) ([Assn00040] of %3AAssertion (%3ASUO-name "Assn00040") (%3AliteralTranscription "(quantityInEvent JoineryPurchase-2003-00645 2 JoineryObject-236WV)") (%3AargumentList "quantityInEvent" "JoineryPurchase-2003-00645" "2" "JoineryObject-236WV") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3818)) ([Assn00041] of %3AAssertion (%3ASUO-name "Assn00041") (%3AliteralTranscription "(subProcess Buying-2003-00645 JoineryPurchase-2003-00645)") (%3AargumentList "subProcess" "Buying-2003-00645" "JoineryPurchase-2003-00645") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3822)) ([Assn00042] of %3AAssertion (%3ASUO-name "Assn00042") (%3AliteralTranscription "(agent Buying-2003-00645 JerryBuilderPLC)") (%3AargumentList "agent" "Buying-2003-00645" "JerryBuilderPLC") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3822)) ([Assn00043] of %3AAssertion (%3ASUO-name "Assn00043") (%3AliteralTranscription "(subProcess Selling-2003-00645 JoineryPurchase-2003-00645)") (%3AargumentList "subProcess" "Selling-2003-00645" "JoineryPurchase-2003-00645") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3823)) ([Assn00044] of %3AAssertion (%3ASUO-name "Assn00044") (%3AliteralTranscription "(agent Selling-2003-00645 SpecialistWindowsPLC)") (%3AargumentList "agent" "Selling-2003-00645" "SpecialistWindowsPLC") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3823)) ([Assn00045] of %3AAssertion (%3ASUO-name "Assn00045") (%3AliteralTranscription "(hasName JerryBuilderPLC \"Jerry Builder plc\")") (%3AargumentList "hasName" "JerryBuilderPLC" "\"Jerry Builder plc\"") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3824)) ([Assn00046] of %3AAssertion (%3ASUO-name "Assn00046") (%3AliteralTranscription "(address JerryBuilderPLC MarshLane)") (%3AargumentList "address" "JerryBuilderPLC" "MarshLane") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3824)) ([Assn00047] of %3AAssertion (%3ASUO-name "Assn00047") (%3AliteralTranscription "(foo JerryBuilderPLC MarshLane)") (%3AargumentList "foo" "JerryBuilderPLC" "MarshLane") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3824)) ([Assn00048] of %3AAssertion (%3ASUO-name "Assn00048") (%3AliteralTranscription "(hasName SpecialistWindowsPLC \"Specialist Windows plc\")") (%3AargumentList "hasName" "SpecialistWindowsPLC" "\"Specialist Windows plc\"") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3825)) ([Assn00049] of %3AAssertion (%3ASUO-name "Assn00049") (%3AliteralTranscription "(address SpecialistWindowsPLC SnowhillWorks)") (%3AargumentList "address" "SpecialistWindowsPLC" "SnowhillWorks") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3825)) ([Assn00050] of %3AAssertion (%3ASUO-name "Assn00050") (%3AliteralTranscription "(located SpecialistWindowsPLC SnowhillWorks)") (%3AargumentList "located" "SpecialistWindowsPLC" "SnowhillWorks") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3825)) ([Assn00051] of %3AAssertion (%3ASUO-name "Assn00051") (%3AliteralTranscription "(hasName MarshLane \"Marsh Lane\")") (%3AargumentList "hasName" "MarshLane" "\"Marsh Lane\"") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3826)) ([Assn00052] of %3AAssertion (%3ASUO-name "Assn00052") (%3AliteralTranscription "(located MarshLane NowhereNorfolk)") (%3AargumentList "located" "MarshLane" "NowhereNorfolk") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3826)) ([Assn00053] of %3AAssertion (%3ASUO-name "Assn00053") (%3AliteralTranscription "(hasPostalCode MarshLane \"NR18 4XX\")") (%3AargumentList "hasPostalCode" "MarshLane" "\"NR18 4XX\"") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3826)) ([Assn00054] of %3AAssertion (%3ASUO-name "Assn00054") (%3AliteralTranscription "(located NowhereNorfolk NorfolkUK)") (%3AargumentList "located" "NowhereNorfolk" "NorfolkUK") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3827)) ([Assn00055] of %3AAssertion (%3ASUO-name "Assn00055") (%3AliteralTranscription "(located NorfolkUK UnitedKingdom)") (%3AargumentList "located" "NorfolkUK" "UnitedKingdom") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3828)) ([Assn00056] of %3AAssertion (%3ASUO-name "Assn00056") (%3AliteralTranscription "(hasName SnowhillWorks \"Snowhill Works\")") (%3AargumentList "hasName" "SnowhillWorks" "\"Snowhill Works\"") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3829)) ([Assn00057] of %3AAssertion (%3ASUO-name "Assn00057") (%3AliteralTranscription "(located SnowhillWorks LittleSnoringWhereshire)") (%3AargumentList "located" "SnowhillWorks" "LittleSnoringWhereshire") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3829)) ([Assn00058] of %3AAssertion (%3ASUO-name "Assn00058") (%3AliteralTranscription "(hasPostalCode SnowhillWorks \"SM2 3NW\")") (%3AargumentList "hasPostalCode" "SnowhillWorks" "\"SM2 3NW\"") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3829)) ([Assn00059] of %3AAssertion (%3ASUO-name "Assn00059") (%3AliteralTranscription "(located LittleSnoringWhereshire WhereshireUK)") (%3AargumentList "located" "LittleSnoringWhereshire" "WhereshireUK") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3830)) ([Assn00060] of %3AAssertion (%3ASUO-name "Assn00060") (%3AliteralTranscription "(located WhereshireUK UnitedKingdom)") (%3AargumentList "located" "WhereshireUK" "UnitedKingdom") (%3AisInModule [Invoices]) (%3ALOAD-SEQUENCE 3831)) ([Assn00061] of %3AAssertion (%3ASUO-name "Assn00061") (%3AliteralTranscription "(:synonymousTerm IndicatorContent \"Indicator Content\")") (%3AargumentList ":synonymousTerm" "IndicatorContent" "\"Indicator Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4087)) ([Assn00062] of %3AAssertion (%3ASUO-name "Assn00062") (%3AliteralTranscription "(:inLanguage IndicatorContent UBLv10)") (%3AargumentList ":inLanguage" "IndicatorContent" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4087)) ([Assn00063] of %3AAssertion (%3ASUO-name "Assn00063") (%3AliteralTranscription "(:hasFrequency IndicatorContent 1.0)") (%3AargumentList ":hasFrequency" "IndicatorContent" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4087)) ([Assn00064] of %3AAssertion (%3ASUO-name "Assn00064") (%3AliteralTranscription "(:SUO-name IndicatorContent \"Indicator Content\")") (%3AargumentList ":SUO-name" "IndicatorContent" "\"Indicator Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4087)) ([Assn00065] of %3AAssertion (%3ASUO-name "Assn00065") (%3AliteralTranscription "(:isaSynonymOf IndicatorContent AttributeValueString)") (%3AargumentList ":isaSynonymOf" "IndicatorContent" "AttributeValueString") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4087)) ([Assn00066] of %3AAssertion (%3ASUO-name "Assn00066") (%3AliteralTranscription "(:synonymousTerm UblIndicator \"Indicator Type\")") (%3AargumentList ":synonymousTerm" "UblIndicator" "\"Indicator Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4088)) ([Assn00067] of %3AAssertion (%3ASUO-name "Assn00067") (%3AliteralTranscription "(:inLanguage UblIndicator UBLv10)") (%3AargumentList ":inLanguage" "UblIndicator" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4088)) ([Assn00068] of %3AAssertion (%3ASUO-name "Assn00068") (%3AliteralTranscription "(:hasFrequency UblIndicator 1.0)") (%3AargumentList ":hasFrequency" "UblIndicator" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4088)) ([Assn00069] of %3AAssertion (%3ASUO-name "Assn00069") (%3AliteralTranscription "(:SUO-name UblIndicator \"Indicator Type\")") (%3AargumentList ":SUO-name" "UblIndicator" "\"Indicator Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4088)) ([Assn00070] of %3AAssertion (%3ASUO-name "Assn00070") (%3AliteralTranscription "(:isaSynonymOf UblIndicator IndicatorList)") (%3AargumentList ":isaSynonymOf" "UblIndicator" "IndicatorList") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4088)) ([Assn00071] of %3AAssertion (%3ASUO-name "Assn00071") (%3AliteralTranscription "(:synonymousTerm UblLanguage \"Language Type\")") (%3AargumentList ":synonymousTerm" "UblLanguage" "\"Language Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4089)) ([Assn00072] of %3AAssertion (%3ASUO-name "Assn00072") (%3AliteralTranscription "(:inLanguage UblLanguage UBLv10)") (%3AargumentList ":inLanguage" "UblLanguage" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4089)) ([Assn00073] of %3AAssertion (%3ASUO-name "Assn00073") (%3AliteralTranscription "(:hasFrequency UblLanguage 1.0)") (%3AargumentList ":hasFrequency" "UblLanguage" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4089)) ([Assn00074] of %3AAssertion (%3ASUO-name "Assn00074") (%3AliteralTranscription "(:SUO-name UblLanguage \"Language Type\")") (%3AargumentList ":SUO-name" "UblLanguage" "\"Language Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4089)) ([Assn00075] of %3AAssertion (%3ASUO-name "Assn00075") (%3AliteralTranscription "(:isaSynonymOf UblLanguage AbstractLanguage)") (%3AargumentList ":isaSynonymOf" "UblLanguage" "AbstractLanguage") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4089)) ([Assn00076] of %3AAssertion (%3ASUO-name "Assn00076") (%3AliteralTranscription "(:synonymousTerm CodeListAgencyName \"CodeList Agency Name Text\")") (%3AargumentList ":synonymousTerm" "CodeListAgencyName" "\"CodeList Agency Name Text\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4090)) ([Assn00077] of %3AAssertion (%3ASUO-name "Assn00077") (%3AliteralTranscription "(:inLanguage CodeListAgencyName UBLv10)") (%3AargumentList ":inLanguage" "CodeListAgencyName" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4090)) ([Assn00078] of %3AAssertion (%3ASUO-name "Assn00078") (%3AliteralTranscription "(:hasFrequency CodeListAgencyName 1.0)") (%3AargumentList ":hasFrequency" "CodeListAgencyName" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4090)) ([Assn00079] of %3AAssertion (%3ASUO-name "Assn00079") (%3AliteralTranscription "(:SUO-name CodeListAgencyName \"CodeList Agency Name Text\")") (%3AargumentList ":SUO-name" "CodeListAgencyName" "\"CodeList Agency Name Text\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4090)) ([Assn00080] of %3AAssertion (%3ASUO-name "Assn00080") (%3AliteralTranscription "(:isaSynonymOf CodeListAgencyName CodeListAgencyNameString)") (%3AargumentList ":isaSynonymOf" "CodeListAgencyName" "CodeListAgencyNameString") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4090)) ([Assn00081] of %3AAssertion (%3ASUO-name "Assn00081") (%3AliteralTranscription "(:synonymousTerm IdentificationSchemeData \"Identification Scheme Data Type\")") (%3AargumentList ":synonymousTerm" "IdentificationSchemeData" "\"Identification Scheme Data Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4091)) ([Assn00082] of %3AAssertion (%3ASUO-name "Assn00082") (%3AliteralTranscription "(:inLanguage IdentificationSchemeData UBLv10)") (%3AargumentList ":inLanguage" "IdentificationSchemeData" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4091)) ([Assn00083] of %3AAssertion (%3ASUO-name "Assn00083") (%3AliteralTranscription "(:hasFrequency IdentificationSchemeData 1.0)") (%3AargumentList ":hasFrequency" "IdentificationSchemeData" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4091)) ([Assn00084] of %3AAssertion (%3ASUO-name "Assn00084") (%3AliteralTranscription "(:SUO-name IdentificationSchemeData \"Identification Scheme Data Type\")") (%3AargumentList ":SUO-name" "IdentificationSchemeData" "\"Identification Scheme Data Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4091)) ([Assn00085] of %3AAssertion (%3ASUO-name "Assn00085") (%3AliteralTranscription "(:isaSynonymOf IdentificationSchemeData IdentifierListText)") (%3AargumentList ":isaSynonymOf" "IdentificationSchemeData" "IdentifierListText") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4091)) ([Assn00086] of %3AAssertion (%3ASUO-name "Assn00086") (%3AliteralTranscription "(:synonymousTerm IdentificationSchemeType \"Identification Scheme Type\")") (%3AargumentList ":synonymousTerm" "IdentificationSchemeType" "\"Identification Scheme Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4092)) ([Assn00087] of %3AAssertion (%3ASUO-name "Assn00087") (%3AliteralTranscription "(:inLanguage IdentificationSchemeType UBLv10)") (%3AargumentList ":inLanguage" "IdentificationSchemeType" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4092)) ([Assn00088] of %3AAssertion (%3ASUO-name "Assn00088") (%3AliteralTranscription "(:hasFrequency IdentificationSchemeType 1.0)") (%3AargumentList ":hasFrequency" "IdentificationSchemeType" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4092)) ([Assn00089] of %3AAssertion (%3ASUO-name "Assn00089") (%3AliteralTranscription "(:SUO-name IdentificationSchemeType \"Identification Scheme Type\")") (%3AargumentList ":SUO-name" "IdentificationSchemeType" "\"Identification Scheme Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4092)) ([Assn00090] of %3AAssertion (%3ASUO-name "Assn00090") (%3AliteralTranscription "(:isaSynonymOf IdentificationSchemeType IdentificationScheme)") (%3AargumentList ":isaSynonymOf" "IdentificationSchemeType" "IdentificationScheme") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4092)) ([Assn00091] of %3AAssertion (%3ASUO-name "Assn00091") (%3AliteralTranscription "(:synonymousTerm CodeListScheme \"Code List Scheme\")") (%3AargumentList ":synonymousTerm" "CodeListScheme" "\"Code List Scheme\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4093)) ([Assn00092] of %3AAssertion (%3ASUO-name "Assn00092") (%3AliteralTranscription "(:inLanguage CodeListScheme UBLv10)") (%3AargumentList ":inLanguage" "CodeListScheme" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4093)) ([Assn00093] of %3AAssertion (%3ASUO-name "Assn00093") (%3AliteralTranscription "(:hasFrequency CodeListScheme 1.0)") (%3AargumentList ":hasFrequency" "CodeListScheme" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4093)) ([Assn00094] of %3AAssertion (%3ASUO-name "Assn00094") (%3AliteralTranscription "(:SUO-name CodeListScheme \"Code List Scheme\")") (%3AargumentList ":SUO-name" "CodeListScheme" "\"Code List Scheme\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4093)) ([Assn00095] of %3AAssertion (%3ASUO-name "Assn00095") (%3AliteralTranscription "(:isaSynonymOf CodeListScheme CodeStandardText)") (%3AargumentList ":isaSynonymOf" "CodeListScheme" "CodeStandardText") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4093)) ([Assn00096] of %3AAssertion (%3ASUO-name "Assn00096") (%3AliteralTranscription "(:synonymousTerm UblLegalTotals \"Legal Totals Details\")") (%3AargumentList ":synonymousTerm" "UblLegalTotals" "\"Legal Totals Details\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4094)) ([Assn00097] of %3AAssertion (%3ASUO-name "Assn00097") (%3AliteralTranscription "(:inLanguage UblLegalTotals UBLv10)") (%3AargumentList ":inLanguage" "UblLegalTotals" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4094)) ([Assn00098] of %3AAssertion (%3ASUO-name "Assn00098") (%3AliteralTranscription "(:hasFrequency UblLegalTotals 1.0)") (%3AargumentList ":hasFrequency" "UblLegalTotals" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4094)) ([Assn00099] of %3AAssertion (%3ASUO-name "Assn00099") (%3AliteralTranscription "(:SUO-name UblLegalTotals \"Legal Totals Details\")") (%3AargumentList ":SUO-name" "UblLegalTotals" "\"Legal Totals Details\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4094)) ([Assn00100] of %3AAssertion (%3ASUO-name "Assn00100") (%3AliteralTranscription "(:isaSynonymOf UblLegalTotals LegalTotalsText)") (%3AargumentList ":isaSynonymOf" "UblLegalTotals" "LegalTotalsText") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4094)) ([Assn00101] of %3AAssertion (%3ASUO-name "Assn00101") (%3AliteralTranscription "(:synonymousTerm UblExtensionTotal \"Extension Total\")") (%3AargumentList ":synonymousTerm" "UblExtensionTotal" "\"Extension Total\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4095)) ([Assn00102] of %3AAssertion (%3ASUO-name "Assn00102") (%3AliteralTranscription "(:inLanguage UblExtensionTotal UBLv10)") (%3AargumentList ":inLanguage" "UblExtensionTotal" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4095)) ([Assn00103] of %3AAssertion (%3ASUO-name "Assn00103") (%3AliteralTranscription "(:hasFrequency UblExtensionTotal 1.0)") (%3AargumentList ":hasFrequency" "UblExtensionTotal" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4095)) ([Assn00104] of %3AAssertion (%3ASUO-name "Assn00104") (%3AliteralTranscription "(:SUO-name UblExtensionTotal \"Extension Total\")") (%3AargumentList ":SUO-name" "UblExtensionTotal" "\"Extension Total\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4095)) ([Assn00105] of %3AAssertion (%3ASUO-name "Assn00105") (%3AliteralTranscription "(:isaSynonymOf UblExtensionTotal LineExtensionTotal)") (%3AargumentList ":isaSynonymOf" "UblExtensionTotal" "LineExtensionTotal") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4095)) ([Assn00106] of %3AAssertion (%3ASUO-name "Assn00106") (%3AliteralTranscription "(:synonymousTerm UblToBePaid \"To Be Paid\")") (%3AargumentList ":synonymousTerm" "UblToBePaid" "\"To Be Paid\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4096)) ([Assn00107] of %3AAssertion (%3ASUO-name "Assn00107") (%3AliteralTranscription "(:inLanguage UblToBePaid UBLv10)") (%3AargumentList ":inLanguage" "UblToBePaid" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4096)) ([Assn00108] of %3AAssertion (%3ASUO-name "Assn00108") (%3AliteralTranscription "(:hasFrequency UblToBePaid 1.0)") (%3AargumentList ":hasFrequency" "UblToBePaid" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4096)) ([Assn00109] of %3AAssertion (%3ASUO-name "Assn00109") (%3AliteralTranscription "(:SUO-name UblToBePaid \"To Be Paid\")") (%3AargumentList ":SUO-name" "UblToBePaid" "\"To Be Paid\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4096)) ([Assn00110] of %3AAssertion (%3ASUO-name "Assn00110") (%3AliteralTranscription "(:isaSynonymOf UblToBePaid AmountDue)") (%3AargumentList ":isaSynonymOf" "UblToBePaid" "AmountDue") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4096)) ([Assn00111] of %3AAssertion (%3ASUO-name "Assn00111") (%3AliteralTranscription "(:synonymousTerm UblDateTime \"DateTime Type\")") (%3AargumentList ":synonymousTerm" "UblDateTime" "\"DateTime Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4097)) ([Assn00112] of %3AAssertion (%3ASUO-name "Assn00112") (%3AliteralTranscription "(:inLanguage UblDateTime UBLv10)") (%3AargumentList ":inLanguage" "UblDateTime" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4097)) ([Assn00113] of %3AAssertion (%3ASUO-name "Assn00113") (%3AliteralTranscription "(:hasFrequency UblDateTime 1.0)") (%3AargumentList ":hasFrequency" "UblDateTime" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4097)) ([Assn00114] of %3AAssertion (%3ASUO-name "Assn00114") (%3AliteralTranscription "(:SUO-name UblDateTime \"DateTime Type\")") (%3AargumentList ":SUO-name" "UblDateTime" "\"DateTime Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4097)) ([Assn00115] of %3AAssertion (%3ASUO-name "Assn00115") (%3AliteralTranscription "(:isaSynonymOf UblDateTime AbstractDateTimeText)") (%3AargumentList ":isaSynonymOf" "UblDateTime" "AbstractDateTimeText") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4097)) ([Assn00116] of %3AAssertion (%3ASUO-name "Assn00116") (%3AliteralTranscription "(:synonymousTerm UblNumeric \"Numeric Type\")") (%3AargumentList ":synonymousTerm" "UblNumeric" "\"Numeric Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4098)) ([Assn00117] of %3AAssertion (%3ASUO-name "Assn00117") (%3AliteralTranscription "(:inLanguage UblNumeric UBLv10)") (%3AargumentList ":inLanguage" "UblNumeric" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4098)) ([Assn00118] of %3AAssertion (%3ASUO-name "Assn00118") (%3AliteralTranscription "(:hasFrequency UblNumeric 1.0)") (%3AargumentList ":hasFrequency" "UblNumeric" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4098)) ([Assn00119] of %3AAssertion (%3ASUO-name "Assn00119") (%3AliteralTranscription "(:SUO-name UblNumeric \"Numeric Type\")") (%3AargumentList ":SUO-name" "UblNumeric" "\"Numeric Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4098)) ([Assn00120] of %3AAssertion (%3ASUO-name "Assn00120") (%3AliteralTranscription "(:isaSynonymOf UblNumeric AbstractNumericString)") (%3AargumentList ":isaSynonymOf" "UblNumeric" "AbstractNumericString") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4098)) ([Assn00121] of %3AAssertion (%3ASUO-name "Assn00121") (%3AliteralTranscription "(:synonymousTerm UblNumericContent \"Numeric Content\")") (%3AargumentList ":synonymousTerm" "UblNumericContent" "\"Numeric Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4099)) ([Assn00122] of %3AAssertion (%3ASUO-name "Assn00122") (%3AliteralTranscription "(:inLanguage UblNumericContent UBLv10)") (%3AargumentList ":inLanguage" "UblNumericContent" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4099)) ([Assn00123] of %3AAssertion (%3ASUO-name "Assn00123") (%3AliteralTranscription "(:hasFrequency UblNumericContent 1.0)") (%3AargumentList ":hasFrequency" "UblNumericContent" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4099)) ([Assn00124] of %3AAssertion (%3ASUO-name "Assn00124") (%3AliteralTranscription "(:SUO-name UblNumericContent \"Numeric Content\")") (%3AargumentList ":SUO-name" "UblNumericContent" "\"Numeric Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4099)) ([Assn00125] of %3AAssertion (%3ASUO-name "Assn00125") (%3AliteralTranscription "(:isaSynonymOf UblNumericContent AbstractNumericString)") (%3AargumentList ":isaSynonymOf" "UblNumericContent" "AbstractNumericString") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4099)) ([Assn00126] of %3AAssertion (%3ASUO-name "Assn00126") (%3AliteralTranscription "(:synonymousTerm UblQuantityUnit \"Quantity Unit Type\")") (%3AargumentList ":synonymousTerm" "UblQuantityUnit" "\"Quantity Unit Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4100)) ([Assn00127] of %3AAssertion (%3ASUO-name "Assn00127") (%3AliteralTranscription "(:inLanguage UblQuantityUnit UBLv10)") (%3AargumentList ":inLanguage" "UblQuantityUnit" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4100)) ([Assn00128] of %3AAssertion (%3ASUO-name "Assn00128") (%3AliteralTranscription "(:hasFrequency UblQuantityUnit 1.0)") (%3AargumentList ":hasFrequency" "UblQuantityUnit" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4100)) ([Assn00129] of %3AAssertion (%3ASUO-name "Assn00129") (%3AliteralTranscription "(:SUO-name UblQuantityUnit \"Quantity Unit Type\")") (%3AargumentList ":SUO-name" "UblQuantityUnit" "\"Quantity Unit Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4100)) ([Assn00130] of %3AAssertion (%3ASUO-name "Assn00130") (%3AliteralTranscription "(:isaSynonymOf UblQuantityUnit QuantityUnitType)") (%3AargumentList ":isaSynonymOf" "UblQuantityUnit" "QuantityUnitType") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4100)) ([Assn00131] of %3AAssertion (%3ASUO-name "Assn00131") (%3AliteralTranscription "(:synonymousTerm UblMeasureUnit \"Measure Unit Type\")") (%3AargumentList ":synonymousTerm" "UblMeasureUnit" "\"Measure Unit Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4101)) ([Assn00132] of %3AAssertion (%3ASUO-name "Assn00132") (%3AliteralTranscription "(:inLanguage UblMeasureUnit UBLv10)") (%3AargumentList ":inLanguage" "UblMeasureUnit" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4101)) ([Assn00133] of %3AAssertion (%3ASUO-name "Assn00133") (%3AliteralTranscription "(:hasFrequency UblMeasureUnit 1.0)") (%3AargumentList ":hasFrequency" "UblMeasureUnit" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4101)) ([Assn00134] of %3AAssertion (%3ASUO-name "Assn00134") (%3AliteralTranscription "(:SUO-name UblMeasureUnit \"Measure Unit Type\")") (%3AargumentList ":SUO-name" "UblMeasureUnit" "\"Measure Unit Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4101)) ([Assn00135] of %3AAssertion (%3ASUO-name "Assn00135") (%3AliteralTranscription "(:isaSynonymOf UblMeasureUnit MeasureUnitType)") (%3AargumentList ":isaSynonymOf" "UblMeasureUnit" "MeasureUnitType") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4101)) ([Assn00136] of %3AAssertion (%3ASUO-name "Assn00136") (%3AliteralTranscription "(:synonymousTerm UblMeasure \"Measure Type\")") (%3AargumentList ":synonymousTerm" "UblMeasure" "\"Measure Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4102)) ([Assn00137] of %3AAssertion (%3ASUO-name "Assn00137") (%3AliteralTranscription "(:inLanguage UblMeasure UBLv10)") (%3AargumentList ":inLanguage" "UblMeasure" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4102)) ([Assn00138] of %3AAssertion (%3ASUO-name "Assn00138") (%3AliteralTranscription "(:hasFrequency UblMeasure 1.0)") (%3AargumentList ":hasFrequency" "UblMeasure" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4102)) ([Assn00139] of %3AAssertion (%3ASUO-name "Assn00139") (%3AliteralTranscription "(:SUO-name UblMeasure \"Measure Type\")") (%3AargumentList ":SUO-name" "UblMeasure" "\"Measure Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4102)) ([Assn00140] of %3AAssertion (%3ASUO-name "Assn00140") (%3AliteralTranscription "(:isaSynonymOf UblMeasure MeasureType)") (%3AargumentList ":isaSynonymOf" "UblMeasure" "MeasureType") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4102)) ([Assn00141] of %3AAssertion (%3ASUO-name "Assn00141") (%3AliteralTranscription "(:synonymousTerm AmountContent \"Amount Content\")") (%3AargumentList ":synonymousTerm" "AmountContent" "\"Amount Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4103)) ([Assn00142] of %3AAssertion (%3ASUO-name "Assn00142") (%3AliteralTranscription "(:inLanguage AmountContent UBLv10)") (%3AargumentList ":inLanguage" "AmountContent" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4103)) ([Assn00143] of %3AAssertion (%3ASUO-name "Assn00143") (%3AliteralTranscription "(:hasFrequency AmountContent 1.0)") (%3AargumentList ":hasFrequency" "AmountContent" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4103)) ([Assn00144] of %3AAssertion (%3ASUO-name "Assn00144") (%3AliteralTranscription "(:SUO-name AmountContent \"Amount Content\")") (%3AargumentList ":SUO-name" "AmountContent" "\"Amount Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4103)) ([Assn00145] of %3AAssertion (%3ASUO-name "Assn00145") (%3AliteralTranscription "(:isaSynonymOf AmountContent RealNumberString)") (%3AargumentList ":isaSynonymOf" "AmountContent" "RealNumberString") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4103)) ([Assn00146] of %3AAssertion (%3ASUO-name "Assn00146") (%3AliteralTranscription "(:synonymousTerm MeasureContent \"Measure Content\")") (%3AargumentList ":synonymousTerm" "MeasureContent" "\"Measure Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4104)) ([Assn00147] of %3AAssertion (%3ASUO-name "Assn00147") (%3AliteralTranscription "(:inLanguage MeasureContent UBLv10)") (%3AargumentList ":inLanguage" "MeasureContent" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4104)) ([Assn00148] of %3AAssertion (%3ASUO-name "Assn00148") (%3AliteralTranscription "(:hasFrequency MeasureContent 1.0)") (%3AargumentList ":hasFrequency" "MeasureContent" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4104)) ([Assn00149] of %3AAssertion (%3ASUO-name "Assn00149") (%3AliteralTranscription "(:SUO-name MeasureContent \"Measure Content\")") (%3AargumentList ":SUO-name" "MeasureContent" "\"Measure Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4104)) ([Assn00150] of %3AAssertion (%3ASUO-name "Assn00150") (%3AliteralTranscription "(:isaSynonymOf MeasureContent RealNumberString)") (%3AargumentList ":isaSynonymOf" "MeasureContent" "RealNumberString") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4104)) ([Assn00151] of %3AAssertion (%3ASUO-name "Assn00151") (%3AliteralTranscription "(:synonymousTerm QuantityContent \"Quantity Content\")") (%3AargumentList ":synonymousTerm" "QuantityContent" "\"Quantity Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4105)) ([Assn00152] of %3AAssertion (%3ASUO-name "Assn00152") (%3AliteralTranscription "(:inLanguage QuantityContent UBLv10)") (%3AargumentList ":inLanguage" "QuantityContent" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4105)) ([Assn00153] of %3AAssertion (%3ASUO-name "Assn00153") (%3AliteralTranscription "(:hasFrequency QuantityContent 1.0)") (%3AargumentList ":hasFrequency" "QuantityContent" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4105)) ([Assn00154] of %3AAssertion (%3ASUO-name "Assn00154") (%3AliteralTranscription "(:SUO-name QuantityContent \"Quantity Content\")") (%3AargumentList ":SUO-name" "QuantityContent" "\"Quantity Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4105)) ([Assn00155] of %3AAssertion (%3ASUO-name "Assn00155") (%3AliteralTranscription "(:isaSynonymOf QuantityContent RealNumberString)") (%3AargumentList ":isaSynonymOf" "QuantityContent" "RealNumberString") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4105)) ([Assn00156] of %3AAssertion (%3ASUO-name "Assn00156") (%3AliteralTranscription "(:synonymousTerm TextType \"Text Type\")") (%3AargumentList ":synonymousTerm" "TextType" "\"Text Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4106)) ([Assn00157] of %3AAssertion (%3ASUO-name "Assn00157") (%3AliteralTranscription "(:inLanguage TextType UBLv10)") (%3AargumentList ":inLanguage" "TextType" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4106)) ([Assn00158] of %3AAssertion (%3ASUO-name "Assn00158") (%3AliteralTranscription "(:hasFrequency TextType 1.0)") (%3AargumentList ":hasFrequency" "TextType" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4106)) ([Assn00159] of %3AAssertion (%3ASUO-name "Assn00159") (%3AliteralTranscription "(:SUO-name TextType \"Text Type\")") (%3AargumentList ":SUO-name" "TextType" "\"Text Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4106)) ([Assn00160] of %3AAssertion (%3ASUO-name "Assn00160") (%3AliteralTranscription "(:isaSynonymOf TextType DocumentFieldString)") (%3AargumentList ":isaSynonymOf" "TextType" "DocumentFieldString") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4106)) ([Assn00161] of %3AAssertion (%3ASUO-name "Assn00161") (%3AliteralTranscription "(:synonymousTerm UBLAmount \"Amount Type\")") (%3AargumentList ":synonymousTerm" "UBLAmount" "\"Amount Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4107)) ([Assn00162] of %3AAssertion (%3ASUO-name "Assn00162") (%3AliteralTranscription "(:inLanguage UBLAmount UBLv10)") (%3AargumentList ":inLanguage" "UBLAmount" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4107)) ([Assn00163] of %3AAssertion (%3ASUO-name "Assn00163") (%3AliteralTranscription "(:hasFrequency UBLAmount 1.0)") (%3AargumentList ":hasFrequency" "UBLAmount" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4107)) ([Assn00164] of %3AAssertion (%3ASUO-name "Assn00164") (%3AliteralTranscription "(:SUO-name UBLAmount \"Amount Type\")") (%3AargumentList ":SUO-name" "UBLAmount" "\"Amount Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4107)) ([Assn00165] of %3AAssertion (%3ASUO-name "Assn00165") (%3AliteralTranscription "(:isaSynonymOf UBLAmount AmountType)") (%3AargumentList ":isaSynonymOf" "UBLAmount" "AmountType") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4107)) ([Assn00166] of %3AAssertion (%3ASUO-name "Assn00166") (%3AliteralTranscription "(:synonymousTerm UBLBasePrice \"Base Price Amount\")") (%3AargumentList ":synonymousTerm" "UBLBasePrice" "\"Base Price Amount\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4108)) ([Assn00167] of %3AAssertion (%3ASUO-name "Assn00167") (%3AliteralTranscription "(:inLanguage UBLBasePrice UBLv10)") (%3AargumentList ":inLanguage" "UBLBasePrice" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4108)) ([Assn00168] of %3AAssertion (%3ASUO-name "Assn00168") (%3AliteralTranscription "(:hasFrequency UBLBasePrice 1.0)") (%3AargumentList ":hasFrequency" "UBLBasePrice" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4108)) ([Assn00169] of %3AAssertion (%3ASUO-name "Assn00169") (%3AliteralTranscription "(:SUO-name UBLBasePrice \"Base Price Amount\")") (%3AargumentList ":SUO-name" "UBLBasePrice" "\"Base Price Amount\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4108)) ([Assn00170] of %3AAssertion (%3ASUO-name "Assn00170") (%3AliteralTranscription "(:isaSynonymOf UBLBasePrice BasePriceAmount)") (%3AargumentList ":isaSynonymOf" "UBLBasePrice" "BasePriceAmount") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4108)) ([Assn00171] of %3AAssertion (%3ASUO-name "Assn00171") (%3AliteralTranscription "(:synonymousTerm UBLExtensionAmount \"Line Extension Amount\")") (%3AargumentList ":synonymousTerm" "UBLExtensionAmount" "\"Line Extension Amount\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4109)) ([Assn00172] of %3AAssertion (%3ASUO-name "Assn00172") (%3AliteralTranscription "(:inLanguage UBLExtensionAmount UBLv10)") (%3AargumentList ":inLanguage" "UBLExtensionAmount" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4109)) ([Assn00173] of %3AAssertion (%3ASUO-name "Assn00173") (%3AliteralTranscription "(:hasFrequency UBLExtensionAmount 1.0)") (%3AargumentList ":hasFrequency" "UBLExtensionAmount" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4109)) ([Assn00174] of %3AAssertion (%3ASUO-name "Assn00174") (%3AliteralTranscription "(:SUO-name UBLExtensionAmount \"Line Extension Amount\")") (%3AargumentList ":SUO-name" "UBLExtensionAmount" "\"Line Extension Amount\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4109)) ([Assn00175] of %3AAssertion (%3ASUO-name "Assn00175") (%3AliteralTranscription "(:isaSynonymOf UBLExtensionAmount LineExtensionAmount)") (%3AargumentList ":isaSynonymOf" "UBLExtensionAmount" "LineExtensionAmount") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4109)) ([Assn00176] of %3AAssertion (%3ASUO-name "Assn00176") (%3AliteralTranscription "(:synonymousTerm UBLLegalTotals \"Legal Totals\")") (%3AargumentList ":synonymousTerm" "UBLLegalTotals" "\"Legal Totals\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4110)) ([Assn00177] of %3AAssertion (%3ASUO-name "Assn00177") (%3AliteralTranscription "(:inLanguage UBLLegalTotals UBLv10)") (%3AargumentList ":inLanguage" "UBLLegalTotals" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4110)) ([Assn00178] of %3AAssertion (%3ASUO-name "Assn00178") (%3AliteralTranscription "(:hasFrequency UBLLegalTotals 1.0)") (%3AargumentList ":hasFrequency" "UBLLegalTotals" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4110)) ([Assn00179] of %3AAssertion (%3ASUO-name "Assn00179") (%3AliteralTranscription "(:SUO-name UBLLegalTotals \"Legal Totals\")") (%3AargumentList ":SUO-name" "UBLLegalTotals" "\"Legal Totals\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4110)) ([Assn00180] of %3AAssertion (%3ASUO-name "Assn00180") (%3AliteralTranscription "(:isaSynonymOf UBLLegalTotals LegalTotalsText)") (%3AargumentList ":isaSynonymOf" "UBLLegalTotals" "LegalTotalsText") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4110)) ([Assn00181] of %3AAssertion (%3ASUO-name "Assn00181") (%3AliteralTranscription "(:synonymousTerm UBLCurrencyType \"Amount Currency Type\")") (%3AargumentList ":synonymousTerm" "UBLCurrencyType" "\"Amount Currency Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4111)) ([Assn00182] of %3AAssertion (%3ASUO-name "Assn00182") (%3AliteralTranscription "(:inLanguage UBLCurrencyType UBLv10)") (%3AargumentList ":inLanguage" "UBLCurrencyType" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4111)) ([Assn00183] of %3AAssertion (%3ASUO-name "Assn00183") (%3AliteralTranscription "(:hasFrequency UBLCurrencyType 1.0)") (%3AargumentList ":hasFrequency" "UBLCurrencyType" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4111)) ([Assn00184] of %3AAssertion (%3ASUO-name "Assn00184") (%3AliteralTranscription "(:SUO-name UBLCurrencyType \"Amount Currency Type\")") (%3AargumentList ":SUO-name" "UBLCurrencyType" "\"Amount Currency Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4111)) ([Assn00185] of %3AAssertion (%3ASUO-name "Assn00185") (%3AliteralTranscription "(:isaSynonymOf UBLCurrencyType AmountCurrencyType)") (%3AargumentList ":isaSynonymOf" "UBLCurrencyType" "AmountCurrencyType") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4111)) ([Assn00186] of %3AAssertion (%3ASUO-name "Assn00186") (%3AliteralTranscription "(:synonymousTerm UBLQuantity \"Quantity Type\")") (%3AargumentList ":synonymousTerm" "UBLQuantity" "\"Quantity Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4112)) ([Assn00187] of %3AAssertion (%3ASUO-name "Assn00187") (%3AliteralTranscription "(:inLanguage UBLQuantity UBLv10)") (%3AargumentList ":inLanguage" "UBLQuantity" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4112)) ([Assn00188] of %3AAssertion (%3ASUO-name "Assn00188") (%3AliteralTranscription "(:hasFrequency UBLQuantity 1.0)") (%3AargumentList ":hasFrequency" "UBLQuantity" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4112)) ([Assn00189] of %3AAssertion (%3ASUO-name "Assn00189") (%3AliteralTranscription "(:SUO-name UBLQuantity \"Quantity Type\")") (%3AargumentList ":SUO-name" "UBLQuantity" "\"Quantity Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4112)) ([Assn00190] of %3AAssertion (%3ASUO-name "Assn00190") (%3AliteralTranscription "(:isaSynonymOf UBLQuantity QuantityType)") (%3AargumentList ":isaSynonymOf" "UBLQuantity" "QuantityType") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4112)) ([Assn00191] of %3AAssertion (%3ASUO-name "Assn00191") (%3AliteralTranscription "(:synonymousTerm UBLBinObject \"Binary Object\")") (%3AargumentList ":synonymousTerm" "UBLBinObject" "\"Binary Object\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4113)) ([Assn00192] of %3AAssertion (%3ASUO-name "Assn00192") (%3AliteralTranscription "(:inLanguage UBLBinObject UBLv10)") (%3AargumentList ":inLanguage" "UBLBinObject" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4113)) ([Assn00193] of %3AAssertion (%3ASUO-name "Assn00193") (%3AliteralTranscription "(:hasFrequency UBLBinObject 1.0)") (%3AargumentList ":hasFrequency" "UBLBinObject" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4113)) ([Assn00194] of %3AAssertion (%3ASUO-name "Assn00194") (%3AliteralTranscription "(:SUO-name UBLBinObject \"Binary Object\")") (%3AargumentList ":SUO-name" "UBLBinObject" "\"Binary Object\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4113)) ([Assn00195] of %3AAssertion (%3ASUO-name "Assn00195") (%3AliteralTranscription "(:isaSynonymOf UBLBinObject BinaryObject)") (%3AargumentList ":isaSynonymOf" "UBLBinObject" "BinaryObject") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4113)) ([Assn00196] of %3AAssertion (%3ASUO-name "Assn00196") (%3AliteralTranscription "(:synonymousTerm UBLIdentifierContent \"Identifier Content\")") (%3AargumentList ":synonymousTerm" "UBLIdentifierContent" "\"Identifier Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4114)) ([Assn00197] of %3AAssertion (%3ASUO-name "Assn00197") (%3AliteralTranscription "(:inLanguage UBLIdentifierContent UBLv10)") (%3AargumentList ":inLanguage" "UBLIdentifierContent" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4114)) ([Assn00198] of %3AAssertion (%3ASUO-name "Assn00198") (%3AliteralTranscription "(:hasFrequency UBLIdentifierContent 1.0)") (%3AargumentList ":hasFrequency" "UBLIdentifierContent" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4114)) ([Assn00199] of %3AAssertion (%3ASUO-name "Assn00199") (%3AliteralTranscription "(:SUO-name UBLIdentifierContent \"Identifier Content\")") (%3AargumentList ":SUO-name" "UBLIdentifierContent" "\"Identifier Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4114)) ([Assn00200] of %3AAssertion (%3ASUO-name "Assn00200") (%3AliteralTranscription "(:isaSynonymOf UBLIdentifierContent Identifier)") (%3AargumentList ":isaSynonymOf" "UBLIdentifierContent" "Identifier") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4114)) ([Assn00201] of %3AAssertion (%3ASUO-name "Assn00201") (%3AliteralTranscription "(:synonymousTerm UBLIdentifierType \"Identifier Type\")") (%3AargumentList ":synonymousTerm" "UBLIdentifierType" "\"Identifier Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4115)) ([Assn00202] of %3AAssertion (%3ASUO-name "Assn00202") (%3AliteralTranscription "(:inLanguage UBLIdentifierType UBLv10)") (%3AargumentList ":inLanguage" "UBLIdentifierType" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4115)) ([Assn00203] of %3AAssertion (%3ASUO-name "Assn00203") (%3AliteralTranscription "(:hasFrequency UBLIdentifierType 1.0)") (%3AargumentList ":hasFrequency" "UBLIdentifierType" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4115)) ([Assn00204] of %3AAssertion (%3ASUO-name "Assn00204") (%3AliteralTranscription "(:SUO-name UBLIdentifierType \"Identifier Type\")") (%3AargumentList ":SUO-name" "UBLIdentifierType" "\"Identifier Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4115)) ([Assn00205] of %3AAssertion (%3ASUO-name "Assn00205") (%3AliteralTranscription "(:isaSynonymOf UBLIdentifierType IdentifierDefinitionText)") (%3AargumentList ":isaSynonymOf" "UBLIdentifierType" "IdentifierDefinitionText") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4115)) ([Assn00206] of %3AAssertion (%3ASUO-name "Assn00206") (%3AliteralTranscription "(:synonymousTerm CodeListIdentifier \"CodeList Identifier\")") (%3AargumentList ":synonymousTerm" "CodeListIdentifier" "\"CodeList Identifier\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4116)) ([Assn00207] of %3AAssertion (%3ASUO-name "Assn00207") (%3AliteralTranscription "(:inLanguage CodeListIdentifier UBLv10)") (%3AargumentList ":inLanguage" "CodeListIdentifier" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4116)) ([Assn00208] of %3AAssertion (%3ASUO-name "Assn00208") (%3AliteralTranscription "(:hasFrequency CodeListIdentifier 1.0)") (%3AargumentList ":hasFrequency" "CodeListIdentifier" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4116)) ([Assn00209] of %3AAssertion (%3ASUO-name "Assn00209") (%3AliteralTranscription "(:SUO-name CodeListIdentifier \"CodeList Identifier\")") (%3AargumentList ":SUO-name" "CodeListIdentifier" "\"CodeList Identifier\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4116)) ([Assn00210] of %3AAssertion (%3ASUO-name "Assn00210") (%3AliteralTranscription "(:isaSynonymOf CodeListIdentifier CodeListIdentifierString)") (%3AargumentList ":isaSynonymOf" "CodeListIdentifier" "CodeListIdentifierString") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4116)) ([Assn00211] of %3AAssertion (%3ASUO-name "Assn00211") (%3AliteralTranscription "(:synonymousTerm UBLCode \"Code\")") (%3AargumentList ":synonymousTerm" "UBLCode" "\"Code\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4117)) ([Assn00212] of %3AAssertion (%3ASUO-name "Assn00212") (%3AliteralTranscription "(:inLanguage UBLCode UBLv10)") (%3AargumentList ":inLanguage" "UBLCode" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4117)) ([Assn00213] of %3AAssertion (%3ASUO-name "Assn00213") (%3AliteralTranscription "(:hasFrequency UBLCode 1.0)") (%3AargumentList ":hasFrequency" "UBLCode" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4117)) ([Assn00214] of %3AAssertion (%3ASUO-name "Assn00214") (%3AliteralTranscription "(:SUO-name UBLCode \"Code\")") (%3AargumentList ":SUO-name" "UBLCode" "\"Code\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4117)) ([Assn00215] of %3AAssertion (%3ASUO-name "Assn00215") (%3AliteralTranscription "(:synonymousTerm UBLCodeContent \"Code Content\")") (%3AargumentList ":synonymousTerm" "UBLCodeContent" "\"Code Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4118)) ([Assn00216] of %3AAssertion (%3ASUO-name "Assn00216") (%3AliteralTranscription "(:inLanguage UBLCodeContent UBLv10)") (%3AargumentList ":inLanguage" "UBLCodeContent" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4118)) ([Assn00217] of %3AAssertion (%3ASUO-name "Assn00217") (%3AliteralTranscription "(:hasFrequency UBLCodeContent 1.0)") (%3AargumentList ":hasFrequency" "UBLCodeContent" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4118)) ([Assn00218] of %3AAssertion (%3ASUO-name "Assn00218") (%3AliteralTranscription "(:SUO-name UBLCodeContent \"Code Content\")") (%3AargumentList ":SUO-name" "UBLCodeContent" "\"Code Content\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4118)) ([Assn00219] of %3AAssertion (%3ASUO-name "Assn00219") (%3AliteralTranscription "(:isaSynonymOf UBLCodeContent AbstractCodeString)") (%3AargumentList ":isaSynonymOf" "UBLCodeContent" "AbstractCodeString") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4118)) ([Assn00220] of %3AAssertion (%3ASUO-name "Assn00220") (%3AliteralTranscription "(:synonymousTerm UBLCodeListType \"Code List Type\")") (%3AargumentList ":synonymousTerm" "UBLCodeListType" "\"Code List Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4119)) ([Assn00221] of %3AAssertion (%3ASUO-name "Assn00221") (%3AliteralTranscription "(:inLanguage UBLCodeListType UBLv10)") (%3AargumentList ":inLanguage" "UBLCodeListType" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4119)) ([Assn00222] of %3AAssertion (%3ASUO-name "Assn00222") (%3AliteralTranscription "(:hasFrequency UBLCodeListType 1.0)") (%3AargumentList ":hasFrequency" "UBLCodeListType" "1.0") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4119)) ([Assn00223] of %3AAssertion (%3ASUO-name "Assn00223") (%3AliteralTranscription "(:SUO-name UBLCodeListType \"Code List Type\")") (%3AargumentList ":SUO-name" "UBLCodeListType" "\"Code List Type\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4119)) ([Assn00224] of %3AAssertion (%3ASUO-name "Assn00224") (%3AliteralTranscription "(:isaSynonymOf UBLCodeListType CodeListTypeText)") (%3AargumentList ":isaSynonymOf" "UBLCodeListType" "CodeListTypeText") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4119)) ([Assn00225] of %3AAssertion (%3ASUO-name "Assn00225") (%3AliteralTranscription "(:synonymousTerm CodeListVersionID \"Code List Version ID\")") (%3AargumentList ":synonymousTerm" "CodeListVersionID" "\"Code List Version ID\"") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4120)) ([Assn00226] of %3AAssertion (%3ASUO-name "Assn00226") (%3AliteralTranscription "(:inLanguage CodeListVersionID UBLv10)") (%3AargumentList ":inLanguage" "CodeListVersionID" "UBLv10") (%3AisInModule [UBL-Synonyms]) (%3ALOAD-SEQUENCE 4120)) ([Assn00227] of %3AAssertion (%3ASUO-name "Assn00227") (%3AliteralTranscription "(:hasFrequency CodeListVersionID 1.0)") (%3AargumentList ":hasFrequency" "CodeListVersionID" "1.0