; Mon Mar 08 23:07:03 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)) ([%28AccountFn+FinancialInstrument%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 3824) (%3AisInModule [Invoices]) (%3ASUO-name "(DayFn 25 (MonthFn 2 (YearFn 2003)))") (%3Adocumentation "Implied instance from SKIF assertion 37: rel = date_S *on* JoineryInvoice-2003-00645")) ([%28DayFn+3+%28MonthFn+2+%28YearFn+2003%29%29%29] of Day (%3ALOAD-SEQUENCE 3825) (%3AisInModule [Invoices]) (%3ASUO-name "(DayFn 3 (MonthFn 2 (YearFn 2003)))") (%3Adocumentation "Implied instance from SKIF assertion 39: rel = date_S *on* JoineryPurchase-2003-00645")) ([%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 3772) (%3AisInModule [MidLevel]) (%3ASUO-name "(GovernmentFn UnitedStates)") (%3Adocumentation "Implied instance from SKIF assertion 33: rel = subOrganization_S *on* UnitedStatesDepartmentOfState")) ([%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)) ([%28StreetAddressFn+StationaryArtifact+Roadway+City+Nation%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28SubtractionFn+Quantity+Quantity+%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28SuccessorFn+Integer%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28TangentFn+PlaneAngleMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28TemporalCompositionFn+TimeInterval+TimeInterval+%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28TeraFn+UnitOfMeasure%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28TerminalNodeFn+GraphArc%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28TimeIntervalFn+TimePoint+TimePoint+%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28UnionFn+SetOrClass+SetOrClass+%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28VelocityFn+LengthMeasure+TimeDuration+Region+DirectionalAttribute%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28WealthFn+Agent%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28WhenFn+Physical%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28WhereFn+Physical+TimePoint+%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([%28YearFn+Integer%29] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 0)) ([0] of Entity (%3ALOAD-SEQUENCE 498) (%3ASUO-name "0") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3Adocumentation "Implied instance from SKIF assertion 1: rel = identityElement_S *on* AdditionFn")) ([1] of Entity (%3ALOAD-SEQUENCE 497) (%3ASUO-name "1") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3Adocumentation "Implied instance from SKIF assertion 0: rel = identityElement_S *on* MultiplicationFn")) ([%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 (%3ADomain1Type Class) (%3ALOAD-SEQUENCE 0) (%3ASUO-name ":ClassPredicates") (%3AisInModule [KIF-core])) ([%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 (%3ADomain1Type Class) (%3ALOAD-SEQUENCE 0) (%3ASUO-name ":hasClassValue") (%3AisInModule [KIF-core]) (%3ADomain2Type Instance) (%3AAXIOMS "(KAX-002)\n(=>\n (:hasClassValue ?CLASS ?REL ?VAL)\n (and\n (instance ?REL BinaryPredicate)\n (forall (?INST)\n (=>\n (instance ?INST ?CLASS)\n (?REL ?INST ?VAL)))))\n") (%3ADomain2Class BinaryRelation)) ([%3AhasDefaultValue] of %3ATernarySlot (%3ADomain1Type Class) (%3ALOAD-SEQUENCE 0) (%3ASUO-name ":hasDefaultValue") (%3ADomain2Type Instance) (%3AAXIOMS "(KAX-003)\n(=>\n (:hasDefaultValue ?CLASS ?REL ?VAL)\n (forall (?INST)\n (=>\n (and\n (instance ?INST ?CLASS)\n (not\n (exists (?CLASS2 ?VAL2)\n (and\n (instance ?INST ?CLASS2)\n (or\n (:hasClassValue ?CLASS2 ?REL ?VAL2)\n (:hasDefaultValue ?CLASS2 ?REL ?VAL2))\n (subclass ?CLASS2 ?CLASS)\n (not (equal ?CLASS2 ?CLASS))\n (not (equal ?VAL2 ?VAL)))))\n (?REL ?INST ?VAL))))\n") (%3ADomain2Class BinaryRelation)) ([%3AhasFrequency] of %3AUBL-SLOT (%3ASUO-name ":hasFrequency")) ([%3AhasRestrictedVal] of %3ATernarySlot (%3ADomain1Type Class) (%3ALOAD-SEQUENCE 0) (%3ASUO-name ":hasRestrictedVal") (%3AisInModule [KIF-core]) (%3ADomain2Type Instance) (%3AAXIOMS "(KAX-004)\n(<=>\n (:hasRestrictedVal ?CLASS ?REL ?CLASS2)\n (:isRestrictedTo ?REL ?CLASS1 ?CLASS2))") (%3ADomain2Class BinaryRelation)) ([%3AhasUsage] of %3AUBL-SLOT (%3ASUO-name ":hasUsage")) ([%3AhasValueClass] of %3ATernarySlot (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 0) (%3ASUO-name ":hasValueClass") (%3AisInModule [KIF-core]) (%3ADomain2Type Instance) (%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") (%3ADomain2Class BinaryRelation)) ([%3AHumanLanguage] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3AinLanguage] of %3AUBL-SLOT (%3ALOAD-SEQUENCE 0) (%3ASUO-name ":inLanguage")) ([%3AisaSubrelationOf] of %3ATernarySlot (%3ALOAD-SEQUENCE 0) (%3ASUO-name ":isaSubrelationOf") (%3AASSOCIATED-FACET [SKIFcore_00426])) ([%3AisaSynonymOf] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 0) (%3ASUO-name ":isaSynonymOf") (%3AisInModule [KIF-core]) (%3AAXIOMS "(=>\n (:isaSynonymOf ?SYN ?CONC)\n (:SYNONYMS ?CONC ?SYN))")) ([%3AisInModule] of %3AUBL-SLOT (%3AASSOCIATED-FACET [UBLinv018t_00322])) ([%3AisRestrictedTo] of %3ATernarySlot (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 0) (%3ASUO-name ":isRestrictedTo") (%3AisInModule [KIF-core]) (%3ADomain2Type Class) (%3AASSOCIATED-FACET [SKIFcore_00400]) (%3AAXIOMS "(KAX-001)\n(=>\n (:isRestrictedTo ?REL ?CLASS1 ?CLASS2)\n (forall (?ENT1 ?ENT2)\n (=>\n (and\n (?REL ?ENT1 ?ENT2)\n (instance ?ENT1 ?CLASS1))\n (instance ?ENT2 ?CLASS2))))\n\n(KAX-004)\n(<=>\n (:hasRestrictedVal ?CLASS1 ?REL ?CLASS2)\n (:isRestrictedTo ?REL ?CLASS1 ?CLASS2))") (%3ADomain2Class Entity)) ([%3AisRestrictedTo%2482] of %3ASUMOProposition (%3ALOAD-SEQUENCE 3869) (%3AisInModule [Core]) (%3AliteralTranscription "(:isRestrictedTo createdBy AbstractCode StandardsAuthority)") (%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.\"") (%3AargumentList ":isRestrictedTo" "createdBy" "AbstractCode" "StandardsAuthority")) ([%3AisRestrictedTo%2483] of %3ASUMOProposition (%3ALOAD-SEQUENCE 3871) (%3AisInModule [Core]) (%3AliteralTranscription "(:isRestrictedTo isMaintainedBy AbstractCode StandardsAuthority)") (%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.\"") (%3AargumentList ":isRestrictedTo" "isMaintainedBy" "AbstractCode" "StandardsAuthority")) ([%3AisRestrictedTo%2484] of %3ASUMOProposition (%3ALOAD-SEQUENCE 4150) (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isRestrictedTo isTheInformationContainedIn TextualProposition Text)") (%3Adocumentation "\"isTheInformationContainedIn is the relation between a Proposition and the ContentBearingObject that represents it.\"") (%3AargumentList ":isRestrictedTo" "isTheInformationContainedIn" "TextualProposition" "Text")) ([%3AisRestrictedTo%2485] of %3ASUMOProposition (%3ALOAD-SEQUENCE 4166) (%3AisInModule [EXTENSIONS]) (%3AliteralTranscription "(:isRestrictedTo hasInformationalContent MentalText AbstractText)") (%3Adocumentation "\"hasInformationalContent is the relation between a Proposition and the corresponding mental entity.\"") (%3AargumentList ":isRestrictedTo" "hasInformationalContent" "MentalText" "AbstractText")) ([%3AisRestrictedTo%2486] of %3ASUMOProposition (%3ALOAD-SEQUENCE 4167) (%3AisInModule [EXTENSIONS]) (%3AliteralTranscription "(:isRestrictedTo isTheInformationalContentOf AbstractText MentalText)") (%3Adocumentation "\"isTheInformationalContentOf is the relation between a Proposition and the MentalEntity it corresponds to. The entity can be abstract or concrete.\"") (%3AargumentList ":isRestrictedTo" "isTheInformationalContentOf" "AbstractText" "MentalText")) ([%3AisRestrictedTo%2487] of %3ASUMOProposition (%3ALOAD-SEQUENCE 4168) (%3AisInModule [EXTENSIONS]) (%3AliteralTranscription "(:isRestrictedTo hasMentalRepresentation LinguisticExpression MentalLinguisticExpression)") (%3Adocumentation "\"hasMentalRepresentation is the relation between a Physical Entity and the MentalEntity that represents it.\"") (%3AargumentList ":isRestrictedTo" "hasMentalRepresentation" "LinguisticExpression" "MentalLinguisticExpression")) ([%3AisRestrictedTo%2488] of %3ASUMOProposition (%3ALOAD-SEQUENCE 4169) (%3AisInModule [EXTENSIONS]) (%3AliteralTranscription "(:isRestrictedTo isTheMentalRepresentationOf MentalLinguisticExpression LinguisticExpression)") (%3Adocumentation "\"hasMentalRepresentation is the relation between a MentalEntity and the Physical entity that represents it.\"") (%3AargumentList ":isRestrictedTo" "isTheMentalRepresentationOf" "MentalLinguisticExpression" "LinguisticExpression")) ([%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)) ([%3Apartition3] of %3AVariableAritySlot (%3ALOAD-SEQUENCE 0) (%3ADomain1Type Instance) (%3ASUO-name ":partition3") (%3AisInModule [KIF-core]) (%3AAXIOMS "(UAX: SUMAX-39)\n(<=>\n (partition @ROW)\n (and\n (exhaustiveDecomposition @ROW)\n (disjointDecomposition @ROW)))")) ([%3AProtegeSymbolList] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3ArelationAllExists] of %3ATernarySlot (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 0) (%3ASUO-name ":relationAllExists") (%3AisInModule [KIF-core]) (%3ADomain2Type Class) (%3AASSOCIATED-FACET [SKIFcore_00418]) (%3AAXIOMS "(=>\n (:relationAllExists ?REL ?CLASS1 ?CLASS2)\n (forall (?INST)\n (=>\n (instance ?INST ?CLASS1)\n (exists (?ENT)\n (and\n (instance ?ENT ?CLASS2)\n (?REL ?INST ?ENT))))))\n") (%3ADomain2Class Entity)) ([%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 3975) (%3AisInModule [UBL-invoice])) ([%3AuncInstList] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 0) (%3ASUO-name ":uncInstList")) ([%3AUnclassifiedProposition] of %3AUBL-CLASS (%3ALOAD-SEQUENCE 0) (%3AisInModule [KIF-core])) ([%3C%3D%3E] of BinaryPredicate (%3ALOAD-SEQUENCE 90) (%3ASUO-name "<=>") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3AidenticalTo "Instance(<=>_1 of Cls(LogicalOperator))" "Slot(<=>_S)") (%3Adocumentation "\"The truth-functional connective of bi-implication.\"")) ([%3C%3D%3E_1] of LogicalOperator (%3ALOAD-SEQUENCE 90) (%3ASUO-name "<=>") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3AidenticalTo "Slot(<=>_S)" "Instance(<=> of Cls(BinaryPredicate))") (%3Adocumentation "\"The truth-functional connective of bi-implication.\"")) ([%3C%3D%3E_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 90) (%3ASUO-name "<=>") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3AidenticalTo "Instance(<=>_1 of Cls(LogicalOperator))" "Instance(<=> of Cls(BinaryPredicate))")) ([%3D%3E] of BinaryPredicate (%3ALOAD-SEQUENCE 89) (%3ASUO-name "=>") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3AidenticalTo "Instance(=>_1 of Cls(LogicalOperator))" "Slot(=>_S)") (%3Adocumentation "\"The truth-functional connective of implication.\"")) ([%3D%3E_1] of LogicalOperator (%3ALOAD-SEQUENCE 89) (%3ASUO-name "=>") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3AidenticalTo "Instance(=> of Cls(BinaryPredicate))" "Slot(=>_S)") (%3Adocumentation "\"The truth-functional connective of implication.\"")) ([%3D%3E_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 89) (%3ASUO-name "=>") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3AidenticalTo "Instance(=> of Cls(BinaryPredicate))" "Instance(=>_1 of Cls(LogicalOperator))")) ([%3FTHING] of Entity (%3ALOAD-SEQUENCE 115) (%3ASUO-name "?THING") (%3AisInModule [BASE_ONTOLOGY]) (%3AAXIOMS "\n(UAX-0051)\n(exists (?THING) (instance ?THING Entity))\n\n(UAX-0052)\n(<=>\n (instance ?CLASS Class)\n (subclass ?CLASS Entity))\n")) ([AbnormalAnatomicalStructure] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1675) (disjoint [BodyPart]) (%3AisInModule [OBJECTS]) (%3ASLOT-CONSTRAINTS [UAX-0706])) ([Above] of PositionalAttribute (%3ALOAD-SEQUENCE 1932) (%3ASUO-name "Above") (%3AisInModule [QUALITIES]) (%3AAXIOMS "\n(UAX-0815)\n(=>\n (orientation ?OBJ1 ?OBJ2 Above)\n (not\n (connected ?OBJ1 ?OBJ2)))\n") (%3Adocumentation "\"This is a &%PositionalAttribute derived from the up/down schema and not involving contact. Note that this means directly above, i.e., if one object is &%Above another object, then the projections of the two objects overlap.\"") (contraryAttribute_S [Below])) ([AbsoluteMonarchy] of FormOfGovernment (%3ALOAD-SEQUENCE 3482) (%3ASUO-name "AbsoluteMonarchy") (%3AisInModule [MidLevel]) (subAttribute_S [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.\"")) ([AbsoluteValueFn] of UnaryFunction (%3ALOAD-SEQUENCE 504) (%3AisInModule [NUMERIC_FUNCTIONS]) (%3ASUO-name "AbsoluteValueFn") (%3AidenticalTo "Instance(AbsoluteValueFn_1 of Cls(TotalValuedRelation))" "Slot(AbsoluteValueFn_S)") (%3Adocumentation "\"The value of (&%AbsoluteValueFn ?NUMBER) is the absolute value of the &%RealNumber ?NUMBER.\"")) ([AbsoluteValueFn_1] of TotalValuedRelation (%3ALOAD-SEQUENCE 504) (%3ASUO-name "AbsoluteValueFn") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3AidenticalTo "Instance(AbsoluteValueFn of Cls(UnaryFunction))" "Slot(AbsoluteValueFn_S)") (%3Adocumentation "\"The value of (&%AbsoluteValueFn ?NUMBER) is the absolute value of the &%RealNumber ?NUMBER.\"")) ([AbsoluteValueFn_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 504) (%3ASUO-name "AbsoluteValueFn") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3AidenticalTo "Instance(AbsoluteValueFn_1 of Cls(TotalValuedRelation))" "Instance(AbsoluteValueFn of Cls(UnaryFunction))") (%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")) ([Abstract] of %3ASYN-CLASS (disjointDecomposition [Quantity] [Attribute] [SetOrClass] [Relation] [Proposition] [Graph] [GraphElement]) (%3ALOAD-SEQUENCE 199) (disjoint [Physical]) (%3AisInModule [BASE_ONTOLOGY]) (%3ASLOT-CONSTRAINTS [UAX-0080])) ([AbstractCharacter] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3988) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractCharacter isRepresentedBy Character)")) ([AbstractCode] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4070) (%3AisInModule [STANDARDS]) (%3AClassPredicates "(:hasRestrictedVal AbstractCode createdBy StandardsAuthority)")) ([AbstractCodeList] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4050) (%3AisInModule [STANDARDS]) (%3AClassPredicates "(:hasRestrictedVal AbstractCodeList hasListElement CodeDefinition)" "(hasListElement AbstractCodeList CodeDefinition)")) ([AbstractCodeString] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4071) (%3AisInModule [STANDARDS]) (%3ASYNONYMS [UBLCodeContent])) ([AbstractDateText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3944) (%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 3940) (%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 3965) (%3AisInModule [UBL-invoice])) ([AbstractDigit] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3989) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractDigit isRepresentedBy DigitCharacter)")) ([AbstractDocument] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3949) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractDocument hasPropositionalContent DocumentalProposition)" "(:hasRestrictedVal AbstractDocument hasReferent DocumentalProposition)")) ([AbstractFormattedText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3937) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(minCardinalityAtClasses AbstractFormattedText hasaTextComponent 2 AbstractText)")) ([AbstractInformationalEntity] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3889) (%3AisInModule [Core])) ([AbstractInvoice] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3959) (%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) (%3AisInModule [BASE_ONTOLOGY]) (%3ASUO-name "AbstractionFn") (%3AidenticalTo "Instance(AbstractionFn_1 of Cls(PartialValuedRelation))" "Slot(AbstractionFn_S)") (%3Adocumentation "\"A &%UnaryFunction that maps a &%Class into the instance of &%Attribute that specifies the condition(s) for membership in the &%Class.\"")) ([AbstractionFn_1] of PartialValuedRelation (%3ALOAD-SEQUENCE 207) (%3ASUO-name "AbstractionFn") (%3AisInModule [BASE_ONTOLOGY]) (%3AidenticalTo "Instance(AbstractionFn of Cls(UnaryFunction))" "Slot(AbstractionFn_S)") (%3Adocumentation "\"A &%UnaryFunction that maps a &%Class into the instance of &%Attribute that specifies the condition(s) for membership in the &%Class.\"")) ([AbstractionFn_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 207) (%3ASUO-name "AbstractionFn") (%3AisInModule [BASE_ONTOLOGY]) (%3AidenticalTo "Instance(AbstractionFn of Cls(UnaryFunction))" "Instance(AbstractionFn_1 of Cls(PartialValuedRelation))") (%3AAXIOMS "\n(UAX-0081)\n(<=>\n (equal (AbstractionFn ?CLASS) ?ATTR)\n (forall (?INST)\n (<=>\n (instance ?INST ?CLASS)\n (property ?INST ?ATTR))))\n")) ([AbstractLanguage] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3912) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractLanguage isAbstractContentOf Language)" "(:hasRestrictedVal AbstractLanguage isRepresentedBy Language)" "(necessarily AbstractLanguage isAbstractContentOf Language)") (%3ASYNONYMS [UblLanguage])) ([AbstractLinguisticExpression] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3916) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractLinguisticExpression isAbstractContentOf LinguisticExpression)")) ([AbstractNumericString] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3986) (%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 4000) (%3AisInModule [UBL-invoice])) ([AbstractOrder] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3958) (%3AisInModule [UBL-invoice])) ([AbstractOrderCancellation] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3964) (%3AisInModule [UBL-invoice])) ([AbstractOrderChange] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3961) (%3AisInModule [UBL-invoice])) ([AbstractOrderResponse] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3963) (%3AisInModule [UBL-invoice])) ([AbstractOrderResponseSimple] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3962) (%3AisInModule [UBL-invoice])) ([AbstractReceiptAdvice] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3966) (%3AisInModule [UBL-invoice])) ([AbstractString] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4038) (%3AisInModule [STANDARDS]) (%3AClassPredicates "(:hasRestrictedVal AbstractString isAbstractContentOf SymbolicString)" "(:hasRestrictedVal AbstractString hasProperPart (UnionFn AbstractCharacter AbstractString))" "(hasNecessaryPart AbstractString AbstractCharacter)")) ([AbstractSymbol] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4069) (%3AisInModule [STANDARDS])) ([AbstractText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3933) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractText isAbstractContentOf Text)")) ([AbstractTimeText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3945) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AbstractTimeText hasTextFormat TimeFormat)" "(:hasRestrictedVal AbstractTimeText isAbstractContentOf SymbolicString)" "(:hasRestrictedVal AbstractTimeText hasReferent TimePosition)")) ([AbstractYearNumberText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3943) (%3AisInModule [UBL-invoice])) ([AbstractYearText] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3942) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(necessarily AbstractYearText hasaTextComponent AbstractYearNumberText)")) ([AcademicDegree] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2870) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1218])) ([Accelerating] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2924) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1239])) ([AccountFn] of UnaryFunction (%3ALOAD-SEQUENCE 3357) (%3AisInModule [MidLevel]) (%3ASUO-name "AccountFn") (%3AidenticalTo "Slot(AccountFn_S)") (%3Adocumentation "\"A function that takes a financial instrument and returns a FinancialAccount which is repesented by that instrument. This function is mentioned but not defined in SUM 1.56 or MILO -PJC 3-5-04.\"")) ([AccountFn_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 3357) (%3ASUO-name "AccountFn") (%3AisInModule [MidLevel]) (%3AidenticalTo "Instance(AccountFn of Cls(UnaryFunction))")) ([accountHolder] of TotalValuedRelation (%3ALOAD-SEQUENCE 3289) (%3ASUO-name "accountHolder") (%3AisInModule [MidLevel]) (%3AidenticalTo "Instance(accountHolder_1 of Cls(BinaryPredicate))" "Slot(accountHolder_S)") (%3Adocumentation "\"(&%accountHolder ?Account ?Agent) means that ?Agent is the account holder of the &%FinancialAccount ?Account.\"")) ([accountHolder_1] of BinaryPredicate (%3ALOAD-SEQUENCE 3289) (%3ASUO-name "accountHolder") (%3AisInModule [MidLevel]) (%3AidenticalTo "Slot(accountHolder_S)" "Instance(accountHolder of Cls(TotalValuedRelation))") (%3Adocumentation "\"(&%accountHolder ?Account ?Agent) means that ?Agent is the account holder of the &%FinancialAccount ?Account.\"")) ([accountHolder_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 3289) (%3ASUO-name "accountHolder") (%3AisInModule [MidLevel]) (%3AidenticalTo "Instance(accountHolder_1 of Cls(BinaryPredicate))" "Instance(accountHolder of Cls(TotalValuedRelation))") (%3AisaSubrelationOf [agreementMember_S])) ([Acre] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2703) (%3AisInModule [MidLevel]) (%3AidenticalTo "Instance(Acre_1 of Cls(UnitOfMeasure))")) ([Acre_1] of UnitOfMeasure (%3ALOAD-SEQUENCE 2703) (%3AisInModule [MidLevel]) (%3AidenticalTo "Cls(Acre)") (%3Adocumentation "A &%UnitOfMeasure equal to 4840 square yards.")) ([ActualExistence] of Attribute (%3ALOAD-SEQUENCE 4181) (%3ASUO-name "ActualExistence") (%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.\"")) ([AdditionFn] of BinaryFunction (%3ALOAD-SEQUENCE 498) (%3ASUO-name "AdditionFn") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3AidenticalTo "Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))" "Instance(AdditionFn_2 of Cls(CommutativeFunction))" "Instance(AdditionFn_4 of Cls(TotalValuedRelation))" "Slot(AdditionFn_S)" "Instance(AdditionFn_1 of Cls(AssociativeFunction))") (%3AInstanceAssertions [Assn00001]) (%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"") (identityElement_S [0])) ([AdditionFn_1] of AssociativeFunction (%3ALOAD-SEQUENCE 498) (%3ASUO-name "AdditionFn") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3AidenticalTo "Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))" "Instance(AdditionFn_2 of Cls(CommutativeFunction))" "Instance(AdditionFn of Cls(BinaryFunction))" "Instance(AdditionFn_4 of Cls(TotalValuedRelation))" "Slot(AdditionFn_S)") (%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")) ([AdditionFn_2] of CommutativeFunction (%3ALOAD-SEQUENCE 498) (%3ASUO-name "AdditionFn") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3AidenticalTo "Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))" "Instance(AdditionFn of Cls(BinaryFunction))" "Instance(AdditionFn_4 of Cls(TotalValuedRelation))" "Slot(AdditionFn_S)" "Instance(AdditionFn_1 of Cls(AssociativeFunction))") (%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")) ([AdditionFn_3] of RelationExtendedToQuantities (%3ALOAD-SEQUENCE 498) (%3ASUO-name "AdditionFn") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3AidenticalTo "Instance(AdditionFn_2 of Cls(CommutativeFunction))" "Instance(AdditionFn of Cls(BinaryFunction))" "Instance(AdditionFn_4 of Cls(TotalValuedRelation))" "Slot(AdditionFn_S)" "Instance(AdditionFn_1 of Cls(AssociativeFunction))") (%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")) ([AdditionFn_4] of TotalValuedRelation (%3ALOAD-SEQUENCE 498) (%3ASUO-name "AdditionFn") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3AidenticalTo "Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))" "Instance(AdditionFn_2 of Cls(CommutativeFunction))" "Instance(AdditionFn of Cls(BinaryFunction))" "Slot(AdditionFn_S)" "Instance(AdditionFn_1 of Cls(AssociativeFunction))") (%3Adocumentation "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"")) ([AdditionFn_S] of %3ATernarySlot (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 498) (%3ASUO-name "AdditionFn") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3ADomain2Type Instance) (%3AidenticalTo "Instance(AdditionFn_3 of Cls(RelationExtendedToQuantities))" "Instance(AdditionFn_2 of Cls(CommutativeFunction))" "Instance(AdditionFn of Cls(BinaryFunction))" "Instance(AdditionFn_4 of Cls(TotalValuedRelation))" "Instance(AdditionFn_1 of Cls(AssociativeFunction))") (%3AAXIOMS "\n(UAX-0197)\n(equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1))\n") (%3ADomain2Class Quantity)) ([address] of BinaryPredicate (%3ALOAD-SEQUENCE 2330) (%3ASUO-name "address") (%3AisInModule [MidLevel]) (%3AidenticalTo "Slot(address_S)") (%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.\"")) ([Address] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2331) (%3AisInModule [MidLevel])) ([address_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 2330) (%3ASUO-name "address") (%3AisInModule [MidLevel]) (%3AidenticalTo "Instance(address of Cls(BinaryPredicate))") (relatedInternalConcept "telephoneNumber")) ([Addressees] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3801) (%3AisInModule [Invoices])) ([Adjacent] of PositionalAttribute (%3ALOAD-SEQUENCE 1936) (%3ASUO-name "Adjacent") (%3AisInModule [QUALITIES]) (%3AAXIOMS "\n(UAX-0817)\n(<=>\n (orientation ?OBJ1 ?OBJ2 Adjacent)\n (or\n (orientation ?OBJ1 ?OBJ2 Near)\n (connected ?OBJ1 ?OBJ2)))\n") (%3Adocumentation "\"Used to assert that an object ?OBJ1 is close to, near or abutting ?OBJ2. This &%PositionalAttribute covers the following common sense notions: adjoins, abuts, is contiguous to, is juxtaposed, and is close to.\"")) ([Adjective] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1711) (disjoint [Noun] [Verb] [Adverb] [Particle]) (%3AisInModule [OBJECTS])) ([administrativeCenter] of BinaryPredicate (%3ALOAD-SEQUENCE 3525) (%3ASUO-name "administrativeCenter") (%3AisInModule [MidLevel]) (%3AidenticalTo "Slot(administrativeCenter_S)" "Instance(administrativeCenter_1 of Cls(SpatialRelation))") (%3Adocumentation "\"(&%administrativeCenter ?CENTER ?REGION) means that ?CENTER is the &%City (or other area) from which the larger &%GeopoliticalArea ?REGION is administered.\"")) ([administrativeCenter_1] of SpatialRelation (%3ALOAD-SEQUENCE 3525) (%3ASUO-name "administrativeCenter") (%3AisInModule [MidLevel]) (%3AidenticalTo "Slot(administrativeCenter_S)" "Instance(administrativeCenter of Cls(BinaryPredicate))") (%3Adocumentation "\"(&%administrativeCenter ?CENTER ?REGION) means that ?CENTER is the &%City (or other area) from which the larger &%GeopoliticalArea ?REGION is administered.\"")) ([administrativeCenter_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 3525) (%3ASUO-name "administrativeCenter") (%3AisInModule [MidLevel]) (%3AidenticalTo "Instance(administrativeCenter_1 of Cls(SpatialRelation))" "Instance(administrativeCenter of Cls(BinaryPredicate))") (%3AisaSubrelationOf [geopoliticalSubdivision_S])) ([Adverb] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1712) (disjoint [Noun] [Verb] [Adjective] [Particle]) (%3AisInModule [OBJECTS])) ([Advertising] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1430) (%3AisInModule [PROCESSES]) (%3ASLOT-CONSTRAINTS [UAX-0609])) ([Aerator] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2203) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0923])) ([Africa] of Continent (%3ALOAD-SEQUENCE 3459) (%3AisInModule [MidLevel]) (%3ASUO-name "Africa") (%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")) ([Afternoon] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3038) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1292])) ([age] of SingleValuedRelation (%3ALOAD-SEQUENCE 844) (%3ASUO-name "age") (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Instance(age_1 of Cls(BinaryPredicate))" "Slot(age_S)") (%3Adocumentation "\"Simply relates an &%Object to a &%ConstantQuantity specifying the age of the &%Object.\"")) ([age_1] of BinaryPredicate (%3ALOAD-SEQUENCE 844) (%3ASUO-name "age") (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Instance(age of Cls(SingleValuedRelation))" "Slot(age_S)") (%3Adocumentation "\"Simply relates an &%Object to a &%ConstantQuantity specifying the age of the &%Object.\"")) ([age_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 844) (%3ASUO-name "age") (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Instance(age_1 of Cls(BinaryPredicate))" "Instance(age of Cls(SingleValuedRelation))") (%3AisaSubrelationOf [measure_S])) ([AgeGroup] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1842) (%3AisInModule [OBJECTS]) (%3ASLOT-CONSTRAINTS [UAX-0783])) ([Agent] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 189) (%3AisInModule [BASE_ONTOLOGY]) (%3ASLOT-CONSTRAINTS [UAX-0076])) ([agent] of CaseRole (%3ALOAD-SEQUENCE 290) (%3ASUO-name "agent") (%3AisInModule [BASE_ONTOLOGY]) (%3AidenticalTo "Slot(agent_S)") (%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.\"")) ([agent_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 290) (%3ASUO-name "agent") (%3AisInModule [BASE_ONTOLOGY]) (%3AidenticalTo "Instance(agent of Cls(CaseRole))") (%3AAXIOMS "\n(UAX-0105)\n(=>\n (instance ?PROCESS Process)\n (exists (?CAUSE)\n (agent ?PROCESS ?CAUSE)))\n")) ([AgentGroup] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3797) (%3AisInModule [Invoices])) ([AgentNameString] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4042) (%3AisInModule [STANDARDS]) (%3AClassPredicates "(necessarily AgentNameString isaNameOf Agent)" "(:hasRestrictedVal AgentNameString isaNameOf Agent)")) ([Agreement] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3903) (%3AisInModule [UBL-invoice])) ([agreementMember] of BinaryPredicate (%3ALOAD-SEQUENCE 3258) (%3ASUO-name "agreementMember") (%3AisInModule [MidLevel]) (%3AidenticalTo "Slot(agreementMember_S)" "Instance(agreementMember_1 of Cls(TotalValuedRelation))") (%3Adocumentation "\"(&%agreementMember ?Agreement ?Agent) means that ?Agent is one of the participants of the &%Contract ?Agreement.\"")) ([agreementMember_1] of TotalValuedRelation (%3ALOAD-SEQUENCE 3258) (%3ASUO-name "agreementMember") (%3AisInModule [MidLevel]) (%3AidenticalTo "Slot(agreementMember_S)" "Instance(agreementMember of Cls(BinaryPredicate))") (%3Adocumentation "\"(&%agreementMember ?Agreement ?Agent) means that ?Agent is one of the participants of the &%Contract ?Agreement.\"")) ([agreementMember_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 3258) (%3ASUO-name "agreementMember") (%3AisInModule [MidLevel]) (%3AidenticalTo "Instance(agreementMember of Cls(BinaryPredicate))" "Instance(agreementMember_1 of Cls(TotalValuedRelation))")) ([agreementPeriod] of BinaryPredicate (%3ALOAD-SEQUENCE 3363) (%3ASUO-name "agreementPeriod") (%3AisInModule [MidLevel]) (%3AidenticalTo "Slot(agreementPeriod_S)") (%3Adocumentation "\"agreementPeriod specifies the time interval duing which an agreement is in force. In SUMO it has been applied only to financial accounts, but the relation itself was not defined. It is added to legalize the axiom below. - PJC 3-5-04.\"")) ([agreementPeriod_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 3363) (%3ASUO-name "agreementPeriod") (%3AisInModule [MidLevel]) (%3AidenticalTo "Instance(agreementPeriod of Cls(BinaryPredicate))") (%3AAXIOMS "\n(UAX-1411)\n(<=>\n (exists (?Period)\n (and\n (agreementPeriod ?Account ?Period)\n (finishes ?End ?Period)))\n (maturityDate ?Account ?End))\n")) ([Agriculture] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3431) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1434])) ([Air] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1654) (%3AisInModule [OBJECTS]) (%3ASLOT-CONSTRAINTS [UAX-0693] [UAX-0694] [UAX-0695] [UAX-0696] [UAX-0697])) ([Aircraft] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3607) (%3AisInModule [MidLevel]) (partition [FixedWingAircraft] [Helicopter])) ([Airplane] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3609) (%3AisInModule [MidLevel])) ([Airport] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3574) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1473])) ([AirStream] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3418) (%3AisInModule [MidLevel])) ([AirTransportation] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2963) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1258] [UAX-1259])) ([Alaska] of AmericanState (%3ALOAD-SEQUENCE 3738) (%3AisInModule [MidLevel]) (%3ASUO-name "Alaska") (%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") (%3Adocumentation "\"The largest state in the &%UnitedStates.\"")) ([Alcohol] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2486) (%3AisInModule [MidLevel])) ([AlcoholicBeverage] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2554) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1071])) ([AlethicAttribute] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1978) (%3AisInModule [QUALITIES])) ([Alga] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1590) (disjoint [Fern] [Fungus] [Moss]) (%3AisInModule [OBJECTS]) (%3ASLOT-CONSTRAINTS [UAX-0678])) ([altitude] of SingleValuedRelation (%3ALOAD-SEQUENCE 849) (%3ASUO-name "altitude") (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Instance(altitude_1 of Cls(TernaryPredicate))" "Instance(altitude_2 of Cls(SpatialRelation))" "Slot(altitude_S)") (%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.\"")) ([altitude_1] of TernaryPredicate (%3ALOAD-SEQUENCE 849) (%3ASUO-name "altitude") (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Instance(altitude_2 of Cls(SpatialRelation))" "Instance(altitude of Cls(SingleValuedRelation))" "Slot(altitude_S)") (%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.\"")) ([altitude_2] of SpatialRelation (%3ALOAD-SEQUENCE 849) (%3ASUO-name "altitude") (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Instance(altitude_1 of Cls(TernaryPredicate))" "Instance(altitude of Cls(SingleValuedRelation))" "Slot(altitude_S)") (%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.\"")) ([altitude_S] of %3ATernarySlot (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 849) (%3ASUO-name "altitude") (%3AisInModule [UNITS_OF_MEASURE]) (%3ADomain2Type Instance) (%3AidenticalTo "Instance(altitude_1 of Cls(TernaryPredicate))" "Instance(altitude_2 of Cls(SpatialRelation))" "Instance(altitude of Cls(SingleValuedRelation))") (%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") (%3AisaSubrelationOf [distance_S]) (%3ADomain2Class Physical)) ([Ambulating] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1222) (%3AisInModule [PROCESSES]) (partition [Walking] [Running])) ([AmericanCity] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2459) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1033])) ([AmericanState] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2457) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1032])) ([AmerindianEthnicity] of EthnicGroup (%3ALOAD-SEQUENCE 3706) (%3AisInModule [MidLevel]) (%3ASUO-name "AmerindianEthnicity") (%3Adocumentation "\"A broad ethnic group encompassing any of the North, Central, or South American tribal peoples.\"")) ([AmountContent] of %3AUBL-Synonym (%3AhasFrequency 1.0) (%3AinLanguage [UBLv10]) (%3ASUO-name "AmountContent") (%3AsynonymousTerm "Amount Content") (%3AisaSynonymOf [RealNumberString]) (%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.\"")) ([AmountCurrencyType] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4025) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AmountCurrencyType hasReferent UnitOfCurrency)") (%3ASYNONYMS [UBLCurrencyType])) ([AmountDue] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4023) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AmountDue hasLocation LegalTotalsText)") (%3ASYNONYMS [UblToBePaid])) ([amountDue] of TernaryPredicate (%3ALOAD-SEQUENCE 3371) (%3ASUO-name "amountDue") (%3AisInModule [MidLevel]) (%3AidenticalTo "Slot(amountDue_S)") (%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\"")) ([amountDue_S] of %3ATernarySlot (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 3371) (%3ASUO-name "amountDue") (%3AisInModule [MidLevel]) (%3ADomain2Type Instance) (%3AidenticalTo "Instance(amountDue of Cls(TernaryPredicate))") (%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") (%3ADomain2Class CurrencyMeasure)) ([AmountType] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 4018) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal AmountType hasReferent CurrencyMeasure)") (%3ASYNONYMS [UBLAmount])) ([Ampere] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 703) (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Instance(Ampere_1 of Cls(SystemeInternationalUnit))")) ([Ampere_1] of SystemeInternationalUnit (%3ALOAD-SEQUENCE 703) (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Cls(Ampere)") (%3Adocumentation "SI electric current measure. Symbol: A. It is one of the base units in SI. It is defined as follows: the &%Ampere is that constant current which, if maintained in two straight parallel conductors of infinite length, of negligible circular cross-section, and placed 1 &%Meter apart in a vacuum, would produce between these conductors a force equal to 2*10^(-7) &%Newton per &%Meter of length.")) ([Amphibian] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1616) (disjoint [Fish] [Reptile]) (%3AisInModule [OBJECTS])) ([Amu] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 773) (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Instance(Amu_1 of Cls(UnitOfMeasure))") (%3ASLOT-CONSTRAINTS [UAX-0288])) ([Amu_1] of UnitOfMeasure (%3ALOAD-SEQUENCE 773) (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Cls(Amu)") (%3Adocumentation "Atomic mass unit. Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope.")) ([Anaconda] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2629) (%3AisInModule [MidLevel])) ([Anarchy] of FormOfGovernment (%3ALOAD-SEQUENCE 3508) (%3ASUO-name "Anarchy") (%3AisInModule [MidLevel]) (%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")) ([AnatomicalStructure] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1672) (disjoint [Organism]) (%3AisInModule [OBJECTS]) (%3ASLOT-CONSTRAINTS [UAX-0704] [UAX-0705]) (partition [BodyPart] [AbnormalAnatomicalStructure]) (partition2 [AnimalAnatomicalStructure] [PlantAnatomicalStructure])) ([ancestor] of TransitiveRelation (%3ALOAD-SEQUENCE 1584) (%3ASUO-name "ancestor") (%3AisInModule [OBJECTS]) (%3AidenticalTo "Slot(ancestor_S)" "Instance(ancestor_1 of Cls(IrreflexiveRelation))" "Instance(ancestor_3 of Cls(BinaryPredicate))") (%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.\"")) ([ancestor_1] of IrreflexiveRelation (%3ALOAD-SEQUENCE 1584) (%3ASUO-name "ancestor") (%3AisInModule [OBJECTS]) (%3AidenticalTo "Slot(ancestor_S)" "Instance(ancestor_3 of Cls(BinaryPredicate))" "Instance(ancestor of Cls(TransitiveRelation))") (%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.\"")) ([ancestor_3] of BinaryPredicate (%3ALOAD-SEQUENCE 1584) (%3ASUO-name "ancestor") (%3AisInModule [OBJECTS]) (%3AidenticalTo "Slot(ancestor_S)" "Instance(ancestor_1 of Cls(IrreflexiveRelation))" "Instance(ancestor of Cls(TransitiveRelation))") (%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.\"")) ([ancestor_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 1584) (%3ASUO-name "ancestor") (%3AisInModule [OBJECTS]) (%3AidenticalTo "Instance(ancestor_1 of Cls(IrreflexiveRelation))" "Instance(ancestor_3 of Cls(BinaryPredicate))" "Instance(ancestor of Cls(TransitiveRelation))") (%3AAXIOMS "\n(UAX-0677)\n(=>\n (parent ?PARENT ?CHILD)\n (ancestor ?PARENT ?CHILD))\n") (%3AisaSubrelationOf [familyRelation_S])) ([and] of VariableArityRelation (%3ALOAD-SEQUENCE 87) (%3ASUO-name "and") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3AidenticalTo "Instance(and_1 of Cls(LogicalOperator))" "Slot(and_S)") (%3Adocumentation "\"The truth-functional connective of conjunction.\"")) ([and_1] of LogicalOperator (%3ALOAD-SEQUENCE 87) (%3ASUO-name "and") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3AidenticalTo "Slot(and_S)" "Instance(and of Cls(VariableArityRelation))") (%3Adocumentation "\"The truth-functional connective of conjunction.\"")) ([and_S] of %3AVariableAritySlot (%3ALOAD-SEQUENCE 87) (%3ADomain1Type Instance) (%3ASUO-name "and") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3AidenticalTo "Instance(and_1 of Cls(LogicalOperator))" "Instance(and of Cls(VariableArityRelation))")) ([Anger] of EmotionalState (%3ALOAD-SEQUENCE 3067) (%3ASUO-name "Anger") (%3AisInModule [MidLevel]) (subAttribute_S [Unhappiness]) (%3Adocumentation "\"The state of being wrathful, irate or indignant.\"")) ([AngleMeasure] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 662) (%3AisInModule [UNITS_OF_MEASURE])) ([angleOfFigure] of BinaryPredicate (%3ALOAD-SEQUENCE 2050) (%3ASUO-name "angleOfFigure") (%3AisInModule [QUALITIES]) (%3AidenticalTo "Slot(angleOfFigure_S)") (%3Adocumentation "\"(&%angleOfFigure ?ANGLE ?FIGURE) means that the &%TwoDimensionalAngle ?ANGLE is part of the &%GeometricFigure ?FIGURE.\"")) ([angleOfFigure_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 2050) (%3ASUO-name "angleOfFigure") (%3AisInModule [QUALITIES]) (%3AidenticalTo "Instance(angleOfFigure of Cls(BinaryPredicate))") (%3AisaSubrelationOf [geometricPart_S])) ([Angstrom] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 778) (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Instance(Angstrom_1 of Cls(UnitOfMeasure))") (%3ASLOT-CONSTRAINTS [UAX-0290])) ([Angstrom_1] of UnitOfMeasure (%3ALOAD-SEQUENCE 778) (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Cls(Angstrom)") (%3Adocumentation "The &%Angstrom is a &%LengthMeasure. 1 &%Angstrom = 10^(-10) m")) ([AngularDegree] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 820) (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Instance(AngularDegree_1 of Cls(UnitOfMeasure))") (%3ASLOT-CONSTRAINTS [UAX-0306] [UAX-0307] [UAX-0308])) ([AngularDegree_1] of UnitOfMeasure (%3ALOAD-SEQUENCE 820) (%3AisInModule [UNITS_OF_MEASURE]) (%3AidenticalTo "Cls(AngularDegree)") (%3Adocumentation "A plane angle measure.")) ([angularMeasure] of BinaryPredicate (%3ALOAD-SEQUENCE 2055) (%3ASUO-name "angularMeasure") (%3AisInModule [QUALITIES]) (%3AidenticalTo "Slot(angularMeasure_S)" "Instance(angularMeasure_1 of Cls(TotalValuedRelation))") (%3Adocumentation "\"(&%angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the &%PlaneAngleMeasure of ?MEASURE.\"")) ([angularMeasure_1] of TotalValuedRelation (%3ALOAD-SEQUENCE 2055) (%3ASUO-name "angularMeasure") (%3AisInModule [QUALITIES]) (%3AidenticalTo "Slot(angularMeasure_S)" "Instance(angularMeasure of Cls(BinaryPredicate))") (%3Adocumentation "\"(&%angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the &%PlaneAngleMeasure of ?MEASURE.\"")) ([angularMeasure_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 2055) (%3ASUO-name "angularMeasure") (%3AisInModule [QUALITIES]) (%3AidenticalTo "Instance(angularMeasure_1 of Cls(TotalValuedRelation))" "Instance(angularMeasure of Cls(BinaryPredicate))")) ([AnimacyAttribute] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2084) (%3AisInModule [QUALITIES]) (%3AClassPredicates "(exhaustiveAttribute AnimacyAttribute Living Dead)")) ([Animal] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1596) (disjoint [Plant] [Microorganism]) (%3AisInModule [OBJECTS]) (partition [Vertebrate] [Invertebrate])) ([AnimalAnatomicalStructure] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1680) (disjoint [PlantAnatomicalStructure]) (%3AisInModule [OBJECTS]) (%3ASLOT-CONSTRAINTS [UAX-0709])) ([AnimalLanguage] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 174) (disjoint [HumanLanguage] [ComputerLanguage]) (%3AisInModule [BASE_ONTOLOGY]) (%3ASLOT-CONSTRAINTS [UAX-0072])) ([AnimalResidence] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2363) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0989])) ([AnimalSubstance] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2533) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1063])) ([Answering] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2176) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0913])) ([Antarctica] of Continent (%3ALOAD-SEQUENCE 3462) (%3AisInModule [MidLevel]) (%3ASUO-name "Antarctica") (%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")) ([Antenna] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2825) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1197])) ([Antibody] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2544) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1067])) ([Antigen] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2546) (%3AisInModule [MidLevel])) ([Antisemitism] of BeliefGroup (%3ALOAD-SEQUENCE 2392) (%3AisInModule [MidLevel]) (%3ASUO-name "Antisemitism") (%3AAXIOMS "\n(UAX-1004)\n(=>\n (member ?MEMBER Antisemitism)\n (dislikes ?MEMBER Judaism))\n") (%3Adocumentation "\"The &%BeliefGroup that is characterized by a dislike for &%Judaism.\"")) ([AntisymmetricRelation] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 277) (%3AisInModule [BASE_ONTOLOGY]) (%3ASLOT-CONSTRAINTS [UAX-0100])) ([Anxiety] of EmotionalState (%3ALOAD-SEQUENCE 3065) (%3ASUO-name "Anxiety") (%3AisInModule [MidLevel]) (%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") (subAttribute_S [Unhappiness]) (%3Adocumentation "\"The state of being worried, troubled or uneasy.\"") (contraryAttribute_S [Tranquility])) ([ApartmentBuilding] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2359) (disjoint [SingleFamilyResidence]) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0987])) ([ApartmentUnit] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2352) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0983] [UAX-0984])) ([Ape] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1630) (disjoint [Monkey] [Hominid]) (%3AisInModule [OBJECTS])) ([Application] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2740) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1160])) ([April] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 964) (%3AisInModule [TEMPORAL_CONCEPTS]) (%3ASLOT-CONSTRAINTS [UAX-0378] [UAX-0379])) ([AquaticMammal] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1621) (disjoint [HoofedMammal] [Marsupial] [Rodent] [Primate]) (%3AisInModule [OBJECTS])) ([Arachnid] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1610) (disjoint [Myriapod] [Insect] [Crustacean]) (%3AisInModule [OBJECTS])) ([ArcticRegion] of GeographicArea (%3ALOAD-SEQUENCE 3466) (%3AisInModule [MidLevel]) (%3ASUO-name "ArcticRegion") (%3Adocumentation "\"The &%ArcticRegion is the region of &%PlanetEarth that lies north of the Arctic Circle (approximately 66 and one half degrees &%North latitude) or beyond the northern treeline: 'The Arctic'. See also &%ArcticArea.\"")) ([arcWeight] of BinaryPredicate (%3ALOAD-SEQUENCE 632) (%3ASUO-name "arcWeight") (%3AisInModule [GRAPH_THEORY]) (%3AidenticalTo "Instance(arcWeight_1 of Cls(SingleValuedRelation))" "Slot(arcWeight_S)") (%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.\"")) ([arcWeight_1] of SingleValuedRelation (%3ALOAD-SEQUENCE 632) (%3ASUO-name "arcWeight") (%3AisInModule [GRAPH_THEORY]) (%3AidenticalTo "Slot(arcWeight_S)" "Instance(arcWeight of Cls(BinaryPredicate))") (%3Adocumentation "\"This predicate indicates the value of a &%GraphArc in a &%Graph. This could map to the length of a road in a road network or the flow rate of a pipe in a plumbing system.\"")) ([arcWeight_S] of %3AUBL-SLOT (%3ADomain1Type Instance) (%3ALOAD-SEQUENCE 632) (%3ASUO-name "arcWeight") (%3AisInModule [GRAPH_THEORY]) (%3AidenticalTo "Instance(arcWeight_1 of Cls(SingleValuedRelation))" "Instance(arcWeight of Cls(BinaryPredicate))")) ([AreaMeasure] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 658) (%3AisInModule [UNITS_OF_MEASURE])) ([Arguing] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2178) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0914])) ([Argument] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1890) (%3AisInModule [QUALITIES]) (%3ASLOT-CONSTRAINTS [UAX-0799] [UAX-0800])) ([Arm] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2618) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1104])) ([Army] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2467) (%3AisInModule [MidLevel])) ([Arriving] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2939) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1247])) ([ArrowIcon] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2691) (%3AisInModule [MidLevel])) ([Artery] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2568) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1077])) ([Arthropod] of %3ASYN-CLASS (disjointDecomposition [Arachnid] [Myriapod] [Insect] [Crustacean]) (%3ALOAD-SEQUENCE 1609) (disjoint [Worm] [Mollusk]) (%3AisInModule [OBJECTS])) ([Article] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1756) (disjoint [Book]) (%3AisInModule [OBJECTS]) (%3ASLOT-CONSTRAINTS [UAX-0743])) ([Artifact] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1770) (%3AisInModule [OBJECTS]) (%3ASLOT-CONSTRAINTS [UAX-0749])) ([ArtificialLanguage] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 176) (%3AisInModule [BASE_ONTOLOGY])) ([ArtificialSatellite] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3621) (disjoint [NaturalSatellite]) (%3AisInModule [MidLevel])) ([ArtilleryGun] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2194) (disjoint [Firearm]) (%3AisInModule [MidLevel])) ([ArtPainting] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2234) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0933])) ([ArtStudio] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 2341) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-0978])) ([ArtWork] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1793) (%3AisInModule [OBJECTS])) ([AsexualReproduction] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 1151) (disjoint [SexualReproduction]) (%3AisInModule [PROCESSES]) (%3ASLOT-CONSTRAINTS [UAX-0477])) ([Asia] of Continent (%3ALOAD-SEQUENCE 3464) (%3AisInModule [MidLevel]) (%3ASUO-name "Asia") (%3Adocumentation "\"From Mid-Level Ontology used for Ontolog.\"")) ([Asleep] of ConsciousnessAttribute (%3ALOAD-SEQUENCE 2114) (%3ASUO-name "Asleep") (%3AisInModule [QUALITIES]) (subAttribute_S [Unconscious]) (%3Adocumentation "\"This &%Attribute applies to &%Organisms that are sleeping.\"")) ([Assent] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3904) (%3AisInModule [UBL-invoice])) ([Assertion] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3906) (%3AisInModule [UBL-invoice]) (%3AClassPredicates "(:hasRestrictedVal Assertion isRepresentedBy Statement)")) ([Asset] of %3ASYN-CLASS (%3ALOAD-SEQUENCE 3269) (%3AisInModule [MidLevel]) (%3ASLOT-CONSTRAINTS [UAX-1374] [UAX-1375])) ([AssignmentFn] of Function (%3ALOAD-SEQUENCE 97) (%3ASUO-name "AssignmentFn") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3AidenticalTo "Slot(AssignmentFn_S)" "Instance(AssignmentFn_1 of Cls(VariableArityRelation))") (%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.\"")) ([AssignmentFn_1] of VariableArityRelation (%3ALOAD-SEQUENCE 97) (%3ASUO-name "AssignmentFn") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3AidenticalTo "Instance(AssignmentFn of Cls(Function))" "Slot(AssignmentFn_S)") (%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.\"")) ([AssignmentFn_S] of %3AVariableAritySlot (%3ALOAD-SEQUENCE 97) (%3ADomain1Type Instance) (%3ASUO-name "AssignmentFn") (%3AisInModule [STRUCTURAL_ONTOLOGY]) (%3AidenticalTo "Instance(AssignmentFn of Cls(Function))" "Instance(AssignmentFn_1 of Cls(VariableArityRelation))")) ([Assn00000] of %3AAssertion (%3ALOAD-SEQUENCE 497) (%3ASUO-name "Assn00000") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3AliteralTranscription "(identityElement MultiplicationFn 1)") (%3AargumentList "identityElement" "MultiplicationFn" "1")) ([Assn00001] of %3AAssertion (%3ALOAD-SEQUENCE 498) (%3ASUO-name "Assn00001") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3AliteralTranscription "(identityElement AdditionFn 0)") (%3AargumentList "identityElement" "AdditionFn" "0")) ([Assn00002] of %3AAssertion (%3ALOAD-SEQUENCE 500) (%3ASUO-name "Assn00002") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3AliteralTranscription "(identityElement SubtractionFn 0)") (%3AargumentList "identityElement" "SubtractionFn" "0")) ([Assn00003] of %3AAssertion (%3ALOAD-SEQUENCE 502) (%3ASUO-name "Assn00003") (%3AisInModule [NUMERIC_FUNCTIONS]) (%3AliteralTranscription "(identityElement DivisionFn 1)") (%3AargumentList "identityElement" "DivisionFn" "1")) ([Assn00004] of %3AAssertion (%3ALOAD-SEQUENCE 3536) (%3ASUO-name "Assn00004") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(:hasValueClass President isUniqueFor Nation)") (%3AargumentList ":hasValueClass" "President" "isUniqueFor" "Nation")) ([Assn00005] of %3AAssertion (%3ALOAD-SEQUENCE 3693) (%3ASUO-name "Assn00005") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(orbits EarthsMoon PlanetEarth)") (%3AargumentList "orbits" "EarthsMoon" "PlanetEarth")) ([Assn00006] of %3AAssertion (%3ALOAD-SEQUENCE 3694) (%3ASUO-name "Assn00006") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(orbits PlanetEarth Sol)") (%3AargumentList "orbits" "PlanetEarth" "Sol")) ([Assn00007] of %3AAssertion (%3ALOAD-SEQUENCE 3695) (%3ASUO-name "Assn00007") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(orbits PlanetMercury Sol)") (%3AargumentList "orbits" "PlanetMercury" "Sol")) ([Assn00008] of %3AAssertion (%3ALOAD-SEQUENCE 3696) (%3ASUO-name "Assn00008") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(orbits PlanetVenus Sol)") (%3AargumentList "orbits" "PlanetVenus" "Sol")) ([Assn00009] of %3AAssertion (%3ALOAD-SEQUENCE 3697) (%3ASUO-name "Assn00009") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(orbits PlanetMars Sol)") (%3AargumentList "orbits" "PlanetMars" "Sol")) ([Assn00010] of %3AAssertion (%3ALOAD-SEQUENCE 3698) (%3ASUO-name "Assn00010") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(orbits PlanetJupiter Sol)") (%3AargumentList "orbits" "PlanetJupiter" "Sol")) ([Assn00011] of %3AAssertion (%3ALOAD-SEQUENCE 3699) (%3ASUO-name "Assn00011") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(orbits PlanetSaturn Sol)") (%3AargumentList "orbits" "PlanetSaturn" "Sol")) ([Assn00012] of %3AAssertion (%3ALOAD-SEQUENCE 3700) (%3ASUO-name "Assn00012") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(orbits PlanetNeptune Sol)") (%3AargumentList "orbits" "PlanetNeptune" "Sol")) ([Assn00013] of %3AAssertion (%3ALOAD-SEQUENCE 3701) (%3ASUO-name "Assn00013") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(orbits PlanetUranus Sol)") (%3AargumentList "orbits" "PlanetUranus" "Sol")) ([Assn00014] of %3AAssertion (%3ALOAD-SEQUENCE 3702) (%3ASUO-name "Assn00014") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(orbits PlanetPluto Sol)") (%3AargumentList "orbits" "PlanetPluto" "Sol")) ([Assn00015] of %3AAssertion (%3ALOAD-SEQUENCE 3709) (%3ASUO-name "Assn00015") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(subCollection Protestantism Christianity)") (%3AargumentList "subCollection" "Protestantism" "Christianity")) ([Assn00016] of %3AAssertion (%3ALOAD-SEQUENCE 3710) (%3ASUO-name "Assn00016") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(subCollection RomanCatholicism Christianity)") (%3AargumentList "subCollection" "RomanCatholicism" "Christianity")) ([Assn00017] of %3AAssertion (%3ALOAD-SEQUENCE 3718) (%3ASUO-name "Assn00017") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(subField Physiology Biology)") (%3AargumentList "subField" "Physiology" "Biology")) ([Assn00018] of %3AAssertion (%3ALOAD-SEQUENCE 3719) (%3ASUO-name "Assn00018") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(subField MedicalScience Biology)") (%3AargumentList "subField" "MedicalScience" "Biology")) ([Assn00019] of %3AAssertion (%3ALOAD-SEQUENCE 3723) (%3ASUO-name "Assn00019") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(subField Electronics Physics)") (%3AargumentList "subField" "Electronics" "Physics")) ([Assn00020] of %3AAssertion (%3ALOAD-SEQUENCE 3723) (%3ASUO-name "Assn00020") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(subField Electronics Engineering)") (%3AargumentList "subField" "Electronics" "Engineering")) ([Assn00021] of %3AAssertion (%3ALOAD-SEQUENCE 3730) (%3ASUO-name "Assn00021") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(part RedRiver UnitedStates)") (%3AargumentList "part" "RedRiver" "UnitedStates")) ([Assn00022] of %3AAssertion (%3ALOAD-SEQUENCE 3731) (%3ASUO-name "Assn00022") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(meetsSpatially Mexico UnitedStates)") (%3AargumentList "meetsSpatially" "Mexico" "UnitedStates")) ([Assn00023] of %3AAssertion (%3ALOAD-SEQUENCE 3745) (%3ASUO-name "Assn00023") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(meetsSpatially Virginia WashingtonDC)") (%3AargumentList "meetsSpatially" "Virginia" "WashingtonDC")) ([Assn00024] of %3AAssertion (%3ALOAD-SEQUENCE 3747) (%3ASUO-name "Assn00024") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(part NewEngland UnitedStates)") (%3AargumentList "part" "NewEngland" "UnitedStates")) ([Assn00025] of %3AAssertion (%3ALOAD-SEQUENCE 3748) (%3ASUO-name "Assn00025") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(part NewYorkCity NewYorkState)") (%3AargumentList "part" "NewYorkCity" "NewYorkState")) ([Assn00026] of %3AAssertion (%3ALOAD-SEQUENCE 3755) (%3ASUO-name "Assn00026") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(part LosAngeles California)") (%3AargumentList "part" "LosAngeles" "California")) ([Assn00027] of %3AAssertion (%3ALOAD-SEQUENCE 3757) (%3ASUO-name "Assn00027") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(part SanFrancisco California)") (%3AargumentList "part" "SanFrancisco" "California")) ([Assn00028] of %3AAssertion (%3ALOAD-SEQUENCE 3759) (%3ASUO-name "Assn00028") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(part PuertoRico UnitedStates)") (%3AargumentList "part" "PuertoRico" "UnitedStates")) ([Assn00029] of %3AAssertion (%3ALOAD-SEQUENCE 3761) (%3ASUO-name "Assn00029") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(part Paris France)") (%3AargumentList "part" "Paris" "France")) ([Assn00030] of %3AAssertion (%3ALOAD-SEQUENCE 3765) (%3ASUO-name "Assn00030") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(part London UnitedKingdomOfGreatBritainAndNorthernIreland)") (%3AargumentList "part" "London" "UnitedKingdomOfGreatBritainAndNorthernIreland")) ([Assn00031] of %3AAssertion (%3ALOAD-SEQUENCE 3769) (%3ASUO-name "Assn00031") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(part Greece Europe)") (%3AargumentList "part" "Greece" "Europe")) ([Assn00032] of %3AAssertion (%3ALOAD-SEQUENCE 3770) (%3ASUO-name "Assn00032") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(part Germany Europe)") (%3AargumentList "part" "Germany" "Europe")) ([Assn00033] of %3AAssertion (%3ALOAD-SEQUENCE 3772) (%3ASUO-name "Assn00033") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates))") (%3AargumentList "subOrganization" "UnitedStatesDepartmentOfState" "(GovernmentFn UnitedStates)")) ([Assn00034] of %3AAssertion (%3ALOAD-SEQUENCE 3773) (%3ASUO-name "Assn00034") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates))") (%3AargumentList "subOrganization" "UnitedStatesDepartmentOfInterior" "(GovernmentFn UnitedStates)")) ([Assn00035] of %3AAssertion (%3ALOAD-SEQUENCE 3777) (%3ASUO-name "Assn00035") (%3AisInModule [MidLevel]) (%3AliteralTranscription "(subOrganization UnitedStatesCongress (GovernmentFn UnitedStates))") (%3AargumentList "subOrganization" "UnitedStatesCongress" "(GovernmentFn UnitedStates)")) ([Assn00036] of %3AAssertion (%3ALOAD-SEQUENCE 3824) (%3ASUO-name "Assn00036") (%3AisInModule [Invoices]) (%3AliteralTranscription "(hasName JoineryInvoice-2003-00645 \"IN 2003/00645\")") (%3AargumentList "hasName" "JoineryInvoice-2003-00645" "\"IN 2003/00645\"")) ([Assn00037] of %3AAssertion (%3ALOAD-SEQUENCE 3824) (%3ASUO-name "Assn00037") (%3AisInModule [Invoices]) (%3AliteralTranscription "(date JoineryInvoice-2003-00645 (DayFn 25 (MonthFn 2 (YearFn 2003))))") (%3AargumentList "date" "JoineryInvoice-2003-00645" "(DayFn 25 (MonthFn 2 (YearFn 2003)))")) ([Assn00038] of %3AAssertion (%3ALOAD-SEQUENCE 3824) (%3ASUO-name "Assn00038") (%3AisInModule [Invoices]) (%3AliteralTranscription "(refers JoineryInvoice-2003-00645 JoineryPurchase-2003-00645)") (%3AargumentList "refers" "JoineryInvoice-2003-00645" "JoineryPurchase-2003-00645")) ([Assn00039] of %3AAssertion (%3ALOAD-SEQUENCE 3825) (%3ASUO-name "Assn00039") (%3AisInModule [Invoices]) (%3AliteralTranscription "(date JoineryPurchase-2003-00645 (DayFn 3 (MonthFn 2 (YearFn 2003))))") (%3AargumentList "date" "JoineryPurchase-2003-00645" "(DayFn 3 (MonthFn 2 (YearFn 2003)))")) ([Assn00040] of %3AAssertion (%3ALOAD-SEQUENCE 3825) (%3ASUO-name "Assn00040") (%3AisInModule [Invoices]) (%3AliteralTranscription "(quantityInEvent JoineryPurchase-2003-00645 2 JoineryObject-236WV)") (%3AargumentList "quantityInEvent" "JoineryPurchase-2003-00645" "2" "JoineryObject-236WV")) ([Assn00041] of %3AAssertion (%3ALOAD-SEQUENCE 3829) (%3ASUO-name "Assn00041") (%3AisInModule [Invoices]) (%3AliteralTranscription "(subProcess Buying-2003-00645 JoineryPurchase-2003-00645)") (%3AargumentList "subProcess" "Buying-2003-00645" "JoineryPurchase-2003-00645")) ([Assn00042] of %3AAssertion (%3ALOAD-SEQUENCE 3829) (%3ASUO-name "Assn00042") (%3AisInModule [Invoices]) (%3AliteralTranscription "(agent Buying-2003-00645 JerryBuilderPLC)") (%3AargumentList "agent" "Buying-2003-00645" "JerryBuilderPLC")) ([Assn00043] of %3AAssertion (%3ALOAD-SEQUENCE 3830) (%3ASUO-name "Assn00043") (%3AisInModule [Invoices]) (%3AliteralTranscription "(subProcess Selling-2003-00645 JoineryPurchase-2003-00645)") (%3AargumentList "subProcess" "Selling-2003-00645" "JoineryPurchase-2003-00645")) ([Assn00044] of %3AAssertion (%3ALOAD-SEQUENCE 3830) (%3ASUO-name "Assn00044") (%3AisInModule [Invoices]) (%3AliteralTranscription "(agent Selling-2003-00645 SpecialistWindowsPLC)") (%3AargumentList "agent" "Selling-2003-00645" "SpecialistWindowsPLC")) ([Assn00045] of %3AAssertion (%3ALOAD-SEQUENCE 3831) (%3ASUO-name "Assn00045") (%3AisInModule [Invoices]) (%3AliteralTranscription "(hasName JerryBuilderPLC \"Jerry Builder plc\")") (%3AargumentList "hasName" "JerryBuilderPLC" "\"Jerry Builder plc\"")) ([Assn00046] of %3AAssertion (%3ALOAD-SEQUENCE 3831) (%3ASUO-name "Assn00046") (%3AisInModule [Invoices]) (%3AliteralTranscription "(address JerryBuilderPLC MarshLane)") (%3AargumentList "address" "JerryBuilderPLC" "MarshLane")) ([Assn00047] of %3AAssertion (%3ALOAD-SEQUENCE 3831) (%3ASUO-name "Assn00047") (%3AisInModule [Invoices]) (%3AliteralTranscription "(foo JerryBuilderPLC MarshLane)") (%3AargumentList "foo" "JerryBuilderPLC" "MarshLane")) ([Assn00048] of %3AAssertion (%3ALOAD-SEQUENCE 3832) (%3ASUO-name "Assn00048") (%3AisInModule [Invoices]) (%3AliteralTranscription "(hasName SpecialistWindowsPLC \"Specialist Windows plc\")") (%3AargumentList "hasName" "SpecialistWindowsPLC" "\"Specialist Windows plc\"")) ([Assn00049] of %3AAssertion (%3ALOAD-SEQUENCE 3832) (%3ASUO-name "Assn00049") (%3AisInModule [Invoices]) (%3AliteralTranscription "(address SpecialistWindowsPLC SnowhillWorks)") (%3AargumentList "address" "SpecialistWindowsPLC" "SnowhillWorks")) ([Assn00050] of %3AAssertion (%3ALOAD-SEQUENCE 3832) (%3ASUO-name "Assn00050") (%3AisInModule [Invoices]) (%3AliteralTranscription "(located SpecialistWindowsPLC SnowhillWorks)") (%3AargumentList "located" "SpecialistWindowsPLC" "SnowhillWorks")) ([Assn00051] of %3AAssertion (%3ALOAD-SEQUENCE 3833) (%3ASUO-name "Assn00051") (%3AisInModule [Invoices]) (%3AliteralTranscription "(hasName MarshLane \"Marsh Lane\")") (%3AargumentList "hasName" "MarshLane" "\"Marsh Lane\"")) ([Assn00052] of %3AAssertion (%3ALOAD-SEQUENCE 3833) (%3ASUO-name "Assn00052") (%3AisInModule [Invoices]) (%3AliteralTranscription "(located MarshLane NowhereNorfolk)") (%3AargumentList "located" "MarshLane" "NowhereNorfolk")) ([Assn00053] of %3AAssertion (%3ALOAD-SEQUENCE 3833) (%3ASUO-name "Assn00053") (%3AisInModule [Invoices]) (%3AliteralTranscription "(hasPostalCode MarshLane \"NR18 4XX\")") (%3AargumentList "hasPostalCode" "MarshLane" "\"NR18 4XX\"")) ([Assn00054] of %3AAssertion (%3ALOAD-SEQUENCE 3834) (%3ASUO-name "Assn00054") (%3AisInModule [Invoices]) (%3AliteralTranscription "(located NowhereNorfolk NorfolkUK)") (%3AargumentList "located" "NowhereNorfolk" "NorfolkUK")) ([Assn00055] of %3AAssertion (%3ALOAD-SEQUENCE 3835) (%3ASUO-name "Assn00055") (%3AisInModule [Invoices]) (%3AliteralTranscription "(located NorfolkUK UnitedKingdom)") (%3AargumentList "located" "NorfolkUK" "UnitedKingdom")) ([Assn00056] of %3AAssertion (%3ALOAD-SEQUENCE 3836) (%3ASUO-name "Assn00056") (%3AisInModule [Invoices]) (%3AliteralTranscription "(hasName SnowhillWorks \"Snowhill Works\")") (%3AargumentList "hasName" "SnowhillWorks" "\"Snowhill Works\"")) ([Assn00057] of %3AAssertion (%3ALOAD-SEQUENCE 3836) (%3ASUO-name "Assn00057") (%3AisInModule [Invoices]) (%3AliteralTranscription "(located SnowhillWorks LittleSnoringWhereshire)") (%3AargumentList "located" "SnowhillWorks" "LittleSnoringWhereshire")) ([Assn00058] of %3AAssertion (%3ALOAD-SEQUENCE 3836) (%3ASUO-name "Assn00058") (%3AisInModule [Invoices]) (%3AliteralTranscription "(hasPostalCode SnowhillWorks \"SM2 3NW\")") (%3AargumentList "hasPostalCode" "SnowhillWorks" "\"SM2 3NW\"")) ([Assn00059] of %3AAssertion (%3ALOAD-SEQUENCE 3837) (%3ASUO-name "Assn00059") (%3AisInModule [Invoices]) (%3AliteralTranscription "(located LittleSnoringWhereshire WhereshireUK)") (%3AargumentList "located" "LittleSnoringWhereshire" "WhereshireUK")) ([Assn00060] of %3AAssertion (%3ALOAD-SEQUENCE 3838) (%3ASUO-name "Assn00060") (%3AisInModule [Invoices]) (%3AliteralTranscription "(located WhereshireUK UnitedKingdom)") (%3AargumentList "located" "WhereshireUK" "UnitedKingdom")) ([Assn00061] of %3AAssertion (%3ALOAD-SEQUENCE 4102) (%3ASUO-name "Assn00061") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm InvoiceLineBasePrice \"Invoice Base Price\")") (%3AargumentList ":synonymousTerm" "InvoiceLineBasePrice" "\"Invoice Base Price\"")) ([Assn00062] of %3AAssertion (%3ALOAD-SEQUENCE 4102) (%3ASUO-name "Assn00062") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage InvoiceLineBasePrice UBLv10)") (%3AargumentList ":inLanguage" "InvoiceLineBasePrice" "UBLv10")) ([Assn00063] of %3AAssertion (%3ALOAD-SEQUENCE 4102) (%3ASUO-name "Assn00063") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency InvoiceLineBasePrice 1.0)") (%3AargumentList ":hasFrequency" "InvoiceLineBasePrice" "1.0")) ([Assn00064] of %3AAssertion (%3ALOAD-SEQUENCE 4102) (%3ASUO-name "Assn00064") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name InvoiceLineBasePrice \"Invoice Line Base Price\")") (%3AargumentList ":SUO-name" "InvoiceLineBasePrice" "\"Invoice Line Base Price\"")) ([Assn00065] of %3AAssertion (%3ALOAD-SEQUENCE 4102) (%3ASUO-name "Assn00065") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf InvoiceLineBasePrice LineItemBasePrice)") (%3AargumentList ":isaSynonymOf" "InvoiceLineBasePrice" "LineItemBasePrice")) ([Assn00066] of %3AAssertion (%3ALOAD-SEQUENCE 4103) (%3ASUO-name "Assn00066") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm InvoiceLineItem \"Invoice Line Item\")") (%3AargumentList ":synonymousTerm" "InvoiceLineItem" "\"Invoice Line Item\"")) ([Assn00067] of %3AAssertion (%3ALOAD-SEQUENCE 4103) (%3ASUO-name "Assn00067") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage InvoiceLineItem UBLv10)") (%3AargumentList ":inLanguage" "InvoiceLineItem" "UBLv10")) ([Assn00068] of %3AAssertion (%3ALOAD-SEQUENCE 4103) (%3ASUO-name "Assn00068") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency InvoiceLineItem 1.0)") (%3AargumentList ":hasFrequency" "InvoiceLineItem" "1.0")) ([Assn00069] of %3AAssertion (%3ALOAD-SEQUENCE 4103) (%3ASUO-name "Assn00069") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name InvoiceLineItem \"Invoice Line Item\")") (%3AargumentList ":SUO-name" "InvoiceLineItem" "\"Invoice Line Item\"")) ([Assn00070] of %3AAssertion (%3ALOAD-SEQUENCE 4103) (%3ASUO-name "Assn00070") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf InvoiceLineItem InvoiceLineDescriptiveText)") (%3AargumentList ":isaSynonymOf" "InvoiceLineItem" "InvoiceLineDescriptiveText")) ([Assn00071] of %3AAssertion (%3ALOAD-SEQUENCE 4104) (%3ASUO-name "Assn00071") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm LineExtensionAmount \"Line Extension Amount\")") (%3AargumentList ":synonymousTerm" "LineExtensionAmount" "\"Line Extension Amount\"")) ([Assn00072] of %3AAssertion (%3ALOAD-SEQUENCE 4104) (%3ASUO-name "Assn00072") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage LineExtensionAmount UBLv10)") (%3AargumentList ":inLanguage" "LineExtensionAmount" "UBLv10")) ([Assn00073] of %3AAssertion (%3ALOAD-SEQUENCE 4104) (%3ASUO-name "Assn00073") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency LineExtensionAmount 1.0)") (%3AargumentList ":hasFrequency" "LineExtensionAmount" "1.0")) ([Assn00074] of %3AAssertion (%3ALOAD-SEQUENCE 4104) (%3ASUO-name "Assn00074") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name LineExtensionAmount \"Line Extension Amount\")") (%3AargumentList ":SUO-name" "LineExtensionAmount" "\"Line Extension Amount\"")) ([Assn00075] of %3AAssertion (%3ALOAD-SEQUENCE 4104) (%3ASUO-name "Assn00075") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf LineExtensionAmount ExtensionAmountText)") (%3AargumentList ":isaSynonymOf" "LineExtensionAmount" "ExtensionAmountText")) ([Assn00076] of %3AAssertion (%3ALOAD-SEQUENCE 4105) (%3ASUO-name "Assn00076") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm InvoicedQuantity \"Invoice Invoiced Quantity\")") (%3AargumentList ":synonymousTerm" "InvoicedQuantity" "\"Invoice Invoiced Quantity\"")) ([Assn00077] of %3AAssertion (%3ALOAD-SEQUENCE 4105) (%3ASUO-name "Assn00077") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage InvoicedQuantity UBLv10)") (%3AargumentList ":inLanguage" "InvoicedQuantity" "UBLv10")) ([Assn00078] of %3AAssertion (%3ALOAD-SEQUENCE 4105) (%3ASUO-name "Assn00078") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency InvoicedQuantity 1.0)") (%3AargumentList ":hasFrequency" "InvoicedQuantity" "1.0")) ([Assn00079] of %3AAssertion (%3ALOAD-SEQUENCE 4105) (%3ASUO-name "Assn00079") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name InvoicedQuantity \"Invoice Invoiced Quantity\")") (%3AargumentList ":SUO-name" "InvoicedQuantity" "\"Invoice Invoiced Quantity\"")) ([Assn00080] of %3AAssertion (%3ALOAD-SEQUENCE 4105) (%3ASUO-name "Assn00080") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf InvoicedQuantity InvoiceLineQuantityText)") (%3AargumentList ":isaSynonymOf" "InvoicedQuantity" "InvoiceLineQuantityText")) ([Assn00081] of %3AAssertion (%3ALOAD-SEQUENCE 4106) (%3ASUO-name "Assn00081") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm InvoiceLineID \"Invoice Line Identifier\")") (%3AargumentList ":synonymousTerm" "InvoiceLineID" "\"Invoice Line Identifier\"")) ([Assn00082] of %3AAssertion (%3ALOAD-SEQUENCE 4106) (%3ASUO-name "Assn00082") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage InvoiceLineID UBLv10)") (%3AargumentList ":inLanguage" "InvoiceLineID" "UBLv10")) ([Assn00083] of %3AAssertion (%3ALOAD-SEQUENCE 4106) (%3ASUO-name "Assn00083") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency InvoiceLineID 1.0)") (%3AargumentList ":hasFrequency" "InvoiceLineID" "1.0")) ([Assn00084] of %3AAssertion (%3ALOAD-SEQUENCE 4106) (%3ASUO-name "Assn00084") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name InvoiceLineID \"Invoice Line Identifier\")") (%3AargumentList ":SUO-name" "InvoiceLineID" "\"Invoice Line Identifier\"")) ([Assn00085] of %3AAssertion (%3ALOAD-SEQUENCE 4106) (%3ASUO-name "Assn00085") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf InvoiceLineID InvoiceLineIdText)") (%3AargumentList ":isaSynonymOf" "InvoiceLineID" "InvoiceLineIdText")) ([Assn00086] of %3AAssertion (%3ALOAD-SEQUENCE 4107) (%3ASUO-name "Assn00086") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm InvoiceLineDetails \"Invoice Line Details\")") (%3AargumentList ":synonymousTerm" "InvoiceLineDetails" "\"Invoice Line Details\"")) ([Assn00087] of %3AAssertion (%3ALOAD-SEQUENCE 4107) (%3ASUO-name "Assn00087") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage InvoiceLineDetails UBLv10)") (%3AargumentList ":inLanguage" "InvoiceLineDetails" "UBLv10")) ([Assn00088] of %3AAssertion (%3ALOAD-SEQUENCE 4107) (%3ASUO-name "Assn00088") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency InvoiceLineDetails 1.0)") (%3AargumentList ":hasFrequency" "InvoiceLineDetails" "1.0")) ([Assn00089] of %3AAssertion (%3ALOAD-SEQUENCE 4107) (%3ASUO-name "Assn00089") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name InvoiceLineDetails \"Invoice Line Details\")") (%3AargumentList ":SUO-name" "InvoiceLineDetails" "\"Invoice Line Details\"")) ([Assn00090] of %3AAssertion (%3ALOAD-SEQUENCE 4107) (%3ASUO-name "Assn00090") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf InvoiceLineDetails InvoiceLine)") (%3AargumentList ":isaSynonymOf" "InvoiceLineDetails" "InvoiceLine")) ([Assn00091] of %3AAssertion (%3ALOAD-SEQUENCE 4108) (%3ASUO-name "Assn00091") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm CodeListURID \"CodeList URID\")") (%3AargumentList ":synonymousTerm" "CodeListURID" "\"CodeList URID\"")) ([Assn00092] of %3AAssertion (%3ALOAD-SEQUENCE 4108) (%3ASUO-name "Assn00092") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage CodeListURID UBLv10)") (%3AargumentList ":inLanguage" "CodeListURID" "UBLv10")) ([Assn00093] of %3AAssertion (%3ALOAD-SEQUENCE 4108) (%3ASUO-name "Assn00093") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency CodeListURID 1.0)") (%3AargumentList ":hasFrequency" "CodeListURID" "1.0")) ([Assn00094] of %3AAssertion (%3ALOAD-SEQUENCE 4108) (%3ASUO-name "Assn00094") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name CodeListURID \"CodeList URID\")") (%3AargumentList ":SUO-name" "CodeListURID" "\"CodeList URID\"")) ([Assn00095] of %3AAssertion (%3ALOAD-SEQUENCE 4108) (%3ASUO-name "Assn00095") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf CodeListURID CodeListUniformIdentifier)") (%3AargumentList ":isaSynonymOf" "CodeListURID" "CodeListUniformIdentifier")) ([Assn00096] of %3AAssertion (%3ALOAD-SEQUENCE 4109) (%3ASUO-name "Assn00096") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm CodeListNameText \"CodeList Name Text\")") (%3AargumentList ":synonymousTerm" "CodeListNameText" "\"CodeList Name Text\"")) ([Assn00097] of %3AAssertion (%3ALOAD-SEQUENCE 4109) (%3ASUO-name "Assn00097") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage CodeListNameText UBLv10)") (%3AargumentList ":inLanguage" "CodeListNameText" "UBLv10")) ([Assn00098] of %3AAssertion (%3ALOAD-SEQUENCE 4109) (%3ASUO-name "Assn00098") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency CodeListNameText 1.0)") (%3AargumentList ":hasFrequency" "CodeListNameText" "1.0")) ([Assn00099] of %3AAssertion (%3ALOAD-SEQUENCE 4109) (%3ASUO-name "Assn00099") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name CodeListNameText \"CodeList Name Text\")") (%3AargumentList ":SUO-name" "CodeListNameText" "\"CodeList Name Text\"")) ([Assn00100] of %3AAssertion (%3ALOAD-SEQUENCE 4109) (%3ASUO-name "Assn00100") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf CodeListNameText CodeListName)") (%3AargumentList ":isaSynonymOf" "CodeListNameText" "CodeListName")) ([Assn00101] of %3AAssertion (%3ALOAD-SEQUENCE 4110) (%3ASUO-name "Assn00101") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm IndicatorContent \"Indicator Content\")") (%3AargumentList ":synonymousTerm" "IndicatorContent" "\"Indicator Content\"")) ([Assn00102] of %3AAssertion (%3ALOAD-SEQUENCE 4110) (%3ASUO-name "Assn00102") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage IndicatorContent UBLv10)") (%3AargumentList ":inLanguage" "IndicatorContent" "UBLv10")) ([Assn00103] of %3AAssertion (%3ALOAD-SEQUENCE 4110) (%3ASUO-name "Assn00103") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency IndicatorContent 1.0)") (%3AargumentList ":hasFrequency" "IndicatorContent" "1.0")) ([Assn00104] of %3AAssertion (%3ALOAD-SEQUENCE 4110) (%3ASUO-name "Assn00104") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name IndicatorContent \"Indicator Content\")") (%3AargumentList ":SUO-name" "IndicatorContent" "\"Indicator Content\"")) ([Assn00105] of %3AAssertion (%3ALOAD-SEQUENCE 4110) (%3ASUO-name "Assn00105") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf IndicatorContent AttributeValueString)") (%3AargumentList ":isaSynonymOf" "IndicatorContent" "AttributeValueString")) ([Assn00106] of %3AAssertion (%3ALOAD-SEQUENCE 4111) (%3ASUO-name "Assn00106") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UblIndicator \"Indicator Type\")") (%3AargumentList ":synonymousTerm" "UblIndicator" "\"Indicator Type\"")) ([Assn00107] of %3AAssertion (%3ALOAD-SEQUENCE 4111) (%3ASUO-name "Assn00107") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UblIndicator UBLv10)") (%3AargumentList ":inLanguage" "UblIndicator" "UBLv10")) ([Assn00108] of %3AAssertion (%3ALOAD-SEQUENCE 4111) (%3ASUO-name "Assn00108") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UblIndicator 1.0)") (%3AargumentList ":hasFrequency" "UblIndicator" "1.0")) ([Assn00109] of %3AAssertion (%3ALOAD-SEQUENCE 4111) (%3ASUO-name "Assn00109") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UblIndicator \"Indicator Type\")") (%3AargumentList ":SUO-name" "UblIndicator" "\"Indicator Type\"")) ([Assn00110] of %3AAssertion (%3ALOAD-SEQUENCE 4111) (%3ASUO-name "Assn00110") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UblIndicator IndicatorList)") (%3AargumentList ":isaSynonymOf" "UblIndicator" "IndicatorList")) ([Assn00111] of %3AAssertion (%3ALOAD-SEQUENCE 4112) (%3ASUO-name "Assn00111") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UblLanguage \"Language Type\")") (%3AargumentList ":synonymousTerm" "UblLanguage" "\"Language Type\"")) ([Assn00112] of %3AAssertion (%3ALOAD-SEQUENCE 4112) (%3ASUO-name "Assn00112") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UblLanguage UBLv10)") (%3AargumentList ":inLanguage" "UblLanguage" "UBLv10")) ([Assn00113] of %3AAssertion (%3ALOAD-SEQUENCE 4112) (%3ASUO-name "Assn00113") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UblLanguage 1.0)") (%3AargumentList ":hasFrequency" "UblLanguage" "1.0")) ([Assn00114] of %3AAssertion (%3ALOAD-SEQUENCE 4112) (%3ASUO-name "Assn00114") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UblLanguage \"Language Type\")") (%3AargumentList ":SUO-name" "UblLanguage" "\"Language Type\"")) ([Assn00115] of %3AAssertion (%3ALOAD-SEQUENCE 4112) (%3ASUO-name "Assn00115") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UblLanguage AbstractLanguage)") (%3AargumentList ":isaSynonymOf" "UblLanguage" "AbstractLanguage")) ([Assn00116] of %3AAssertion (%3ALOAD-SEQUENCE 4113) (%3ASUO-name "Assn00116") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm CodeListAgencyName \"CodeList Agency Name Text\")") (%3AargumentList ":synonymousTerm" "CodeListAgencyName" "\"CodeList Agency Name Text\"")) ([Assn00117] of %3AAssertion (%3ALOAD-SEQUENCE 4113) (%3ASUO-name "Assn00117") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage CodeListAgencyName UBLv10)") (%3AargumentList ":inLanguage" "CodeListAgencyName" "UBLv10")) ([Assn00118] of %3AAssertion (%3ALOAD-SEQUENCE 4113) (%3ASUO-name "Assn00118") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency CodeListAgencyName 1.0)") (%3AargumentList ":hasFrequency" "CodeListAgencyName" "1.0")) ([Assn00119] of %3AAssertion (%3ALOAD-SEQUENCE 4113) (%3ASUO-name "Assn00119") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name CodeListAgencyName \"CodeList Agency Name Text\")") (%3AargumentList ":SUO-name" "CodeListAgencyName" "\"CodeList Agency Name Text\"")) ([Assn00120] of %3AAssertion (%3ALOAD-SEQUENCE 4113) (%3ASUO-name "Assn00120") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf CodeListAgencyName CodeListAgencyNameString)") (%3AargumentList ":isaSynonymOf" "CodeListAgencyName" "CodeListAgencyNameString")) ([Assn00121] of %3AAssertion (%3ALOAD-SEQUENCE 4114) (%3ASUO-name "Assn00121") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm IdentificationSchemeData \"Identification Scheme Data Type\")") (%3AargumentList ":synonymousTerm" "IdentificationSchemeData" "\"Identification Scheme Data Type\"")) ([Assn00122] of %3AAssertion (%3ALOAD-SEQUENCE 4114) (%3ASUO-name "Assn00122") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage IdentificationSchemeData UBLv10)") (%3AargumentList ":inLanguage" "IdentificationSchemeData" "UBLv10")) ([Assn00123] of %3AAssertion (%3ALOAD-SEQUENCE 4114) (%3ASUO-name "Assn00123") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency IdentificationSchemeData 1.0)") (%3AargumentList ":hasFrequency" "IdentificationSchemeData" "1.0")) ([Assn00124] of %3AAssertion (%3ALOAD-SEQUENCE 4114) (%3ASUO-name "Assn00124") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name IdentificationSchemeData \"Identification Scheme Data Type\")") (%3AargumentList ":SUO-name" "IdentificationSchemeData" "\"Identification Scheme Data Type\"")) ([Assn00125] of %3AAssertion (%3ALOAD-SEQUENCE 4114) (%3ASUO-name "Assn00125") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf IdentificationSchemeData IdentifierListText)") (%3AargumentList ":isaSynonymOf" "IdentificationSchemeData" "IdentifierListText")) ([Assn00126] of %3AAssertion (%3ALOAD-SEQUENCE 4115) (%3ASUO-name "Assn00126") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm IdentificationSchemeType \"Identification Scheme Type\")") (%3AargumentList ":synonymousTerm" "IdentificationSchemeType" "\"Identification Scheme Type\"")) ([Assn00127] of %3AAssertion (%3ALOAD-SEQUENCE 4115) (%3ASUO-name "Assn00127") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage IdentificationSchemeType UBLv10)") (%3AargumentList ":inLanguage" "IdentificationSchemeType" "UBLv10")) ([Assn00128] of %3AAssertion (%3ALOAD-SEQUENCE 4115) (%3ASUO-name "Assn00128") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency IdentificationSchemeType 1.0)") (%3AargumentList ":hasFrequency" "IdentificationSchemeType" "1.0")) ([Assn00129] of %3AAssertion (%3ALOAD-SEQUENCE 4115) (%3ASUO-name "Assn00129") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name IdentificationSchemeType \"Identification Scheme Type\")") (%3AargumentList ":SUO-name" "IdentificationSchemeType" "\"Identification Scheme Type\"")) ([Assn00130] of %3AAssertion (%3ALOAD-SEQUENCE 4115) (%3ASUO-name "Assn00130") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf IdentificationSchemeType IdentificationScheme)") (%3AargumentList ":isaSynonymOf" "IdentificationSchemeType" "IdentificationScheme")) ([Assn00131] of %3AAssertion (%3ALOAD-SEQUENCE 4116) (%3ASUO-name "Assn00131") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm CodeListScheme \"Code List Scheme\")") (%3AargumentList ":synonymousTerm" "CodeListScheme" "\"Code List Scheme\"")) ([Assn00132] of %3AAssertion (%3ALOAD-SEQUENCE 4116) (%3ASUO-name "Assn00132") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage CodeListScheme UBLv10)") (%3AargumentList ":inLanguage" "CodeListScheme" "UBLv10")) ([Assn00133] of %3AAssertion (%3ALOAD-SEQUENCE 4116) (%3ASUO-name "Assn00133") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency CodeListScheme 1.0)") (%3AargumentList ":hasFrequency" "CodeListScheme" "1.0")) ([Assn00134] of %3AAssertion (%3ALOAD-SEQUENCE 4116) (%3ASUO-name "Assn00134") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name CodeListScheme \"Code List Scheme\")") (%3AargumentList ":SUO-name" "CodeListScheme" "\"Code List Scheme\"")) ([Assn00135] of %3AAssertion (%3ALOAD-SEQUENCE 4116) (%3ASUO-name "Assn00135") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf CodeListScheme CodeStandardText)") (%3AargumentList ":isaSynonymOf" "CodeListScheme" "CodeStandardText")) ([Assn00136] of %3AAssertion (%3ALOAD-SEQUENCE 4117) (%3ASUO-name "Assn00136") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UblLegalTotals \"Legal Totals Details\")") (%3AargumentList ":synonymousTerm" "UblLegalTotals" "\"Legal Totals Details\"")) ([Assn00137] of %3AAssertion (%3ALOAD-SEQUENCE 4117) (%3ASUO-name "Assn00137") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UblLegalTotals UBLv10)") (%3AargumentList ":inLanguage" "UblLegalTotals" "UBLv10")) ([Assn00138] of %3AAssertion (%3ALOAD-SEQUENCE 4117) (%3ASUO-name "Assn00138") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UblLegalTotals 1.0)") (%3AargumentList ":hasFrequency" "UblLegalTotals" "1.0")) ([Assn00139] of %3AAssertion (%3ALOAD-SEQUENCE 4117) (%3ASUO-name "Assn00139") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UblLegalTotals \"Legal Totals Details\")") (%3AargumentList ":SUO-name" "UblLegalTotals" "\"Legal Totals Details\"")) ([Assn00140] of %3AAssertion (%3ALOAD-SEQUENCE 4117) (%3ASUO-name "Assn00140") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UblLegalTotals LegalTotalsText)") (%3AargumentList ":isaSynonymOf" "UblLegalTotals" "LegalTotalsText")) ([Assn00141] of %3AAssertion (%3ALOAD-SEQUENCE 4118) (%3ASUO-name "Assn00141") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UblExtensionTotal \"Extension Total\")") (%3AargumentList ":synonymousTerm" "UblExtensionTotal" "\"Extension Total\"")) ([Assn00142] of %3AAssertion (%3ALOAD-SEQUENCE 4118) (%3ASUO-name "Assn00142") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UblExtensionTotal UBLv10)") (%3AargumentList ":inLanguage" "UblExtensionTotal" "UBLv10")) ([Assn00143] of %3AAssertion (%3ALOAD-SEQUENCE 4118) (%3ASUO-name "Assn00143") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UblExtensionTotal 1.0)") (%3AargumentList ":hasFrequency" "UblExtensionTotal" "1.0")) ([Assn00144] of %3AAssertion (%3ALOAD-SEQUENCE 4118) (%3ASUO-name "Assn00144") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UblExtensionTotal \"Extension Total\")") (%3AargumentList ":SUO-name" "UblExtensionTotal" "\"Extension Total\"")) ([Assn00145] of %3AAssertion (%3ALOAD-SEQUENCE 4118) (%3ASUO-name "Assn00145") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UblExtensionTotal LineExtensionTotal)") (%3AargumentList ":isaSynonymOf" "UblExtensionTotal" "LineExtensionTotal")) ([Assn00146] of %3AAssertion (%3ALOAD-SEQUENCE 4119) (%3ASUO-name "Assn00146") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UblToBePaid \"To Be Paid\")") (%3AargumentList ":synonymousTerm" "UblToBePaid" "\"To Be Paid\"")) ([Assn00147] of %3AAssertion (%3ALOAD-SEQUENCE 4119) (%3ASUO-name "Assn00147") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UblToBePaid UBLv10)") (%3AargumentList ":inLanguage" "UblToBePaid" "UBLv10")) ([Assn00148] of %3AAssertion (%3ALOAD-SEQUENCE 4119) (%3ASUO-name "Assn00148") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UblToBePaid 1.0)") (%3AargumentList ":hasFrequency" "UblToBePaid" "1.0")) ([Assn00149] of %3AAssertion (%3ALOAD-SEQUENCE 4119) (%3ASUO-name "Assn00149") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UblToBePaid \"To Be Paid\")") (%3AargumentList ":SUO-name" "UblToBePaid" "\"To Be Paid\"")) ([Assn00150] of %3AAssertion (%3ALOAD-SEQUENCE 4119) (%3ASUO-name "Assn00150") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UblToBePaid AmountDue)") (%3AargumentList ":isaSynonymOf" "UblToBePaid" "AmountDue")) ([Assn00151] of %3AAssertion (%3ALOAD-SEQUENCE 4120) (%3ASUO-name "Assn00151") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UblDateTime \"DateTime Type\")") (%3AargumentList ":synonymousTerm" "UblDateTime" "\"DateTime Type\"")) ([Assn00152] of %3AAssertion (%3ALOAD-SEQUENCE 4120) (%3ASUO-name "Assn00152") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UblDateTime UBLv10)") (%3AargumentList ":inLanguage" "UblDateTime" "UBLv10")) ([Assn00153] of %3AAssertion (%3ALOAD-SEQUENCE 4120) (%3ASUO-name "Assn00153") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UblDateTime 1.0)") (%3AargumentList ":hasFrequency" "UblDateTime" "1.0")) ([Assn00154] of %3AAssertion (%3ALOAD-SEQUENCE 4120) (%3ASUO-name "Assn00154") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UblDateTime \"DateTime Type\")") (%3AargumentList ":SUO-name" "UblDateTime" "\"DateTime Type\"")) ([Assn00155] of %3AAssertion (%3ALOAD-SEQUENCE 4120) (%3ASUO-name "Assn00155") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UblDateTime AbstractDateTimeText)") (%3AargumentList ":isaSynonymOf" "UblDateTime" "AbstractDateTimeText")) ([Assn00156] of %3AAssertion (%3ALOAD-SEQUENCE 4121) (%3ASUO-name "Assn00156") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UblNumeric \"Numeric Type\")") (%3AargumentList ":synonymousTerm" "UblNumeric" "\"Numeric Type\"")) ([Assn00157] of %3AAssertion (%3ALOAD-SEQUENCE 4121) (%3ASUO-name "Assn00157") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UblNumeric UBLv10)") (%3AargumentList ":inLanguage" "UblNumeric" "UBLv10")) ([Assn00158] of %3AAssertion (%3ALOAD-SEQUENCE 4121) (%3ASUO-name "Assn00158") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UblNumeric 1.0)") (%3AargumentList ":hasFrequency" "UblNumeric" "1.0")) ([Assn00159] of %3AAssertion (%3ALOAD-SEQUENCE 4121) (%3ASUO-name "Assn00159") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UblNumeric \"Numeric Type\")") (%3AargumentList ":SUO-name" "UblNumeric" "\"Numeric Type\"")) ([Assn00160] of %3AAssertion (%3ALOAD-SEQUENCE 4121) (%3ASUO-name "Assn00160") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UblNumeric AbstractNumericString)") (%3AargumentList ":isaSynonymOf" "UblNumeric" "AbstractNumericString")) ([Assn00161] of %3AAssertion (%3ALOAD-SEQUENCE 4122) (%3ASUO-name "Assn00161") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UblNumericContent \"Numeric Content\")") (%3AargumentList ":synonymousTerm" "UblNumericContent" "\"Numeric Content\"")) ([Assn00162] of %3AAssertion (%3ALOAD-SEQUENCE 4122) (%3ASUO-name "Assn00162") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UblNumericContent UBLv10)") (%3AargumentList ":inLanguage" "UblNumericContent" "UBLv10")) ([Assn00163] of %3AAssertion (%3ALOAD-SEQUENCE 4122) (%3ASUO-name "Assn00163") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UblNumericContent 1.0)") (%3AargumentList ":hasFrequency" "UblNumericContent" "1.0")) ([Assn00164] of %3AAssertion (%3ALOAD-SEQUENCE 4122) (%3ASUO-name "Assn00164") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UblNumericContent \"Numeric Content\")") (%3AargumentList ":SUO-name" "UblNumericContent" "\"Numeric Content\"")) ([Assn00165] of %3AAssertion (%3ALOAD-SEQUENCE 4122) (%3ASUO-name "Assn00165") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UblNumericContent AbstractNumericString)") (%3AargumentList ":isaSynonymOf" "UblNumericContent" "AbstractNumericString")) ([Assn00166] of %3AAssertion (%3ALOAD-SEQUENCE 4123) (%3ASUO-name "Assn00166") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UblQuantityUnit \"Quantity Unit Type\")") (%3AargumentList ":synonymousTerm" "UblQuantityUnit" "\"Quantity Unit Type\"")) ([Assn00167] of %3AAssertion (%3ALOAD-SEQUENCE 4123) (%3ASUO-name "Assn00167") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UblQuantityUnit UBLv10)") (%3AargumentList ":inLanguage" "UblQuantityUnit" "UBLv10")) ([Assn00168] of %3AAssertion (%3ALOAD-SEQUENCE 4123) (%3ASUO-name "Assn00168") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UblQuantityUnit 1.0)") (%3AargumentList ":hasFrequency" "UblQuantityUnit" "1.0")) ([Assn00169] of %3AAssertion (%3ALOAD-SEQUENCE 4123) (%3ASUO-name "Assn00169") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UblQuantityUnit \"Quantity Unit Type\")") (%3AargumentList ":SUO-name" "UblQuantityUnit" "\"Quantity Unit Type\"")) ([Assn00170] of %3AAssertion (%3ALOAD-SEQUENCE 4123) (%3ASUO-name "Assn00170") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UblQuantityUnit QuantityUnitType)") (%3AargumentList ":isaSynonymOf" "UblQuantityUnit" "QuantityUnitType")) ([Assn00171] of %3AAssertion (%3ALOAD-SEQUENCE 4124) (%3ASUO-name "Assn00171") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UblMeasureUnit \"Measure Unit Type\")") (%3AargumentList ":synonymousTerm" "UblMeasureUnit" "\"Measure Unit Type\"")) ([Assn00172] of %3AAssertion (%3ALOAD-SEQUENCE 4124) (%3ASUO-name "Assn00172") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UblMeasureUnit UBLv10)") (%3AargumentList ":inLanguage" "UblMeasureUnit" "UBLv10")) ([Assn00173] of %3AAssertion (%3ALOAD-SEQUENCE 4124) (%3ASUO-name "Assn00173") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UblMeasureUnit 1.0)") (%3AargumentList ":hasFrequency" "UblMeasureUnit" "1.0")) ([Assn00174] of %3AAssertion (%3ALOAD-SEQUENCE 4124) (%3ASUO-name "Assn00174") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UblMeasureUnit \"Measure Unit Type\")") (%3AargumentList ":SUO-name" "UblMeasureUnit" "\"Measure Unit Type\"")) ([Assn00175] of %3AAssertion (%3ALOAD-SEQUENCE 4124) (%3ASUO-name "Assn00175") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UblMeasureUnit MeasureUnitType)") (%3AargumentList ":isaSynonymOf" "UblMeasureUnit" "MeasureUnitType")) ([Assn00176] of %3AAssertion (%3ALOAD-SEQUENCE 4125) (%3ASUO-name "Assn00176") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UblMeasure \"Measure Type\")") (%3AargumentList ":synonymousTerm" "UblMeasure" "\"Measure Type\"")) ([Assn00177] of %3AAssertion (%3ALOAD-SEQUENCE 4125) (%3ASUO-name "Assn00177") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UblMeasure UBLv10)") (%3AargumentList ":inLanguage" "UblMeasure" "UBLv10")) ([Assn00178] of %3AAssertion (%3ALOAD-SEQUENCE 4125) (%3ASUO-name "Assn00178") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UblMeasure 1.0)") (%3AargumentList ":hasFrequency" "UblMeasure" "1.0")) ([Assn00179] of %3AAssertion (%3ALOAD-SEQUENCE 4125) (%3ASUO-name "Assn00179") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UblMeasure \"Measure Type\")") (%3AargumentList ":SUO-name" "UblMeasure" "\"Measure Type\"")) ([Assn00180] of %3AAssertion (%3ALOAD-SEQUENCE 4125) (%3ASUO-name "Assn00180") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UblMeasure MeasureType)") (%3AargumentList ":isaSynonymOf" "UblMeasure" "MeasureType")) ([Assn00181] of %3AAssertion (%3ALOAD-SEQUENCE 4126) (%3ASUO-name "Assn00181") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm AmountContent \"Amount Content\")") (%3AargumentList ":synonymousTerm" "AmountContent" "\"Amount Content\"")) ([Assn00182] of %3AAssertion (%3ALOAD-SEQUENCE 4126) (%3ASUO-name "Assn00182") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage AmountContent UBLv10)") (%3AargumentList ":inLanguage" "AmountContent" "UBLv10")) ([Assn00183] of %3AAssertion (%3ALOAD-SEQUENCE 4126) (%3ASUO-name "Assn00183") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency AmountContent 1.0)") (%3AargumentList ":hasFrequency" "AmountContent" "1.0")) ([Assn00184] of %3AAssertion (%3ALOAD-SEQUENCE 4126) (%3ASUO-name "Assn00184") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name AmountContent \"Amount Content\")") (%3AargumentList ":SUO-name" "AmountContent" "\"Amount Content\"")) ([Assn00185] of %3AAssertion (%3ALOAD-SEQUENCE 4126) (%3ASUO-name "Assn00185") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf AmountContent RealNumberString)") (%3AargumentList ":isaSynonymOf" "AmountContent" "RealNumberString")) ([Assn00186] of %3AAssertion (%3ALOAD-SEQUENCE 4127) (%3ASUO-name "Assn00186") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm MeasureContent \"Measure Content\")") (%3AargumentList ":synonymousTerm" "MeasureContent" "\"Measure Content\"")) ([Assn00187] of %3AAssertion (%3ALOAD-SEQUENCE 4127) (%3ASUO-name "Assn00187") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage MeasureContent UBLv10)") (%3AargumentList ":inLanguage" "MeasureContent" "UBLv10")) ([Assn00188] of %3AAssertion (%3ALOAD-SEQUENCE 4127) (%3ASUO-name "Assn00188") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency MeasureContent 1.0)") (%3AargumentList ":hasFrequency" "MeasureContent" "1.0")) ([Assn00189] of %3AAssertion (%3ALOAD-SEQUENCE 4127) (%3ASUO-name "Assn00189") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name MeasureContent \"Measure Content\")") (%3AargumentList ":SUO-name" "MeasureContent" "\"Measure Content\"")) ([Assn00190] of %3AAssertion (%3ALOAD-SEQUENCE 4127) (%3ASUO-name "Assn00190") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf MeasureContent RealNumberString)") (%3AargumentList ":isaSynonymOf" "MeasureContent" "RealNumberString")) ([Assn00191] of %3AAssertion (%3ALOAD-SEQUENCE 4128) (%3ASUO-name "Assn00191") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm QuantityContent \"Quantity Content\")") (%3AargumentList ":synonymousTerm" "QuantityContent" "\"Quantity Content\"")) ([Assn00192] of %3AAssertion (%3ALOAD-SEQUENCE 4128) (%3ASUO-name "Assn00192") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage QuantityContent UBLv10)") (%3AargumentList ":inLanguage" "QuantityContent" "UBLv10")) ([Assn00193] of %3AAssertion (%3ALOAD-SEQUENCE 4128) (%3ASUO-name "Assn00193") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency QuantityContent 1.0)") (%3AargumentList ":hasFrequency" "QuantityContent" "1.0")) ([Assn00194] of %3AAssertion (%3ALOAD-SEQUENCE 4128) (%3ASUO-name "Assn00194") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name QuantityContent \"Quantity Content\")") (%3AargumentList ":SUO-name" "QuantityContent" "\"Quantity Content\"")) ([Assn00195] of %3AAssertion (%3ALOAD-SEQUENCE 4128) (%3ASUO-name "Assn00195") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf QuantityContent RealNumberString)") (%3AargumentList ":isaSynonymOf" "QuantityContent" "RealNumberString")) ([Assn00196] of %3AAssertion (%3ALOAD-SEQUENCE 4129) (%3ASUO-name "Assn00196") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm TextType \"Text Type\")") (%3AargumentList ":synonymousTerm" "TextType" "\"Text Type\"")) ([Assn00197] of %3AAssertion (%3ALOAD-SEQUENCE 4129) (%3ASUO-name "Assn00197") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage TextType UBLv10)") (%3AargumentList ":inLanguage" "TextType" "UBLv10")) ([Assn00198] of %3AAssertion (%3ALOAD-SEQUENCE 4129) (%3ASUO-name "Assn00198") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency TextType 1.0)") (%3AargumentList ":hasFrequency" "TextType" "1.0")) ([Assn00199] of %3AAssertion (%3ALOAD-SEQUENCE 4129) (%3ASUO-name "Assn00199") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name TextType \"Text Type\")") (%3AargumentList ":SUO-name" "TextType" "\"Text Type\"")) ([Assn00200] of %3AAssertion (%3ALOAD-SEQUENCE 4129) (%3ASUO-name "Assn00200") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf TextType DocumentFieldString)") (%3AargumentList ":isaSynonymOf" "TextType" "DocumentFieldString")) ([Assn00201] of %3AAssertion (%3ALOAD-SEQUENCE 4130) (%3ASUO-name "Assn00201") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UBLAmount \"Amount Type\")") (%3AargumentList ":synonymousTerm" "UBLAmount" "\"Amount Type\"")) ([Assn00202] of %3AAssertion (%3ALOAD-SEQUENCE 4130) (%3ASUO-name "Assn00202") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UBLAmount UBLv10)") (%3AargumentList ":inLanguage" "UBLAmount" "UBLv10")) ([Assn00203] of %3AAssertion (%3ALOAD-SEQUENCE 4130) (%3ASUO-name "Assn00203") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UBLAmount 1.0)") (%3AargumentList ":hasFrequency" "UBLAmount" "1.0")) ([Assn00204] of %3AAssertion (%3ALOAD-SEQUENCE 4130) (%3ASUO-name "Assn00204") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UBLAmount \"Amount Type\")") (%3AargumentList ":SUO-name" "UBLAmount" "\"Amount Type\"")) ([Assn00205] of %3AAssertion (%3ALOAD-SEQUENCE 4130) (%3ASUO-name "Assn00205") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UBLAmount AmountType)") (%3AargumentList ":isaSynonymOf" "UBLAmount" "AmountType")) ([Assn00206] of %3AAssertion (%3ALOAD-SEQUENCE 4131) (%3ASUO-name "Assn00206") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UBLBasePrice \"Base Price Amount\")") (%3AargumentList ":synonymousTerm" "UBLBasePrice" "\"Base Price Amount\"")) ([Assn00207] of %3AAssertion (%3ALOAD-SEQUENCE 4131) (%3ASUO-name "Assn00207") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UBLBasePrice UBLv10)") (%3AargumentList ":inLanguage" "UBLBasePrice" "UBLv10")) ([Assn00208] of %3AAssertion (%3ALOAD-SEQUENCE 4131) (%3ASUO-name "Assn00208") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UBLBasePrice 1.0)") (%3AargumentList ":hasFrequency" "UBLBasePrice" "1.0")) ([Assn00209] of %3AAssertion (%3ALOAD-SEQUENCE 4131) (%3ASUO-name "Assn00209") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UBLBasePrice \"Base Price Amount\")") (%3AargumentList ":SUO-name" "UBLBasePrice" "\"Base Price Amount\"")) ([Assn00210] of %3AAssertion (%3ALOAD-SEQUENCE 4131) (%3ASUO-name "Assn00210") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UBLBasePrice BasePriceAmount)") (%3AargumentList ":isaSynonymOf" "UBLBasePrice" "BasePriceAmount")) ([Assn00211] of %3AAssertion (%3ALOAD-SEQUENCE 4132) (%3ASUO-name "Assn00211") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UBLLegalTotals \"Legal Totals\")") (%3AargumentList ":synonymousTerm" "UBLLegalTotals" "\"Legal Totals\"")) ([Assn00212] of %3AAssertion (%3ALOAD-SEQUENCE 4132) (%3ASUO-name "Assn00212") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLanguage UBLLegalTotals UBLv10)") (%3AargumentList ":inLanguage" "UBLLegalTotals" "UBLv10")) ([Assn00213] of %3AAssertion (%3ALOAD-SEQUENCE 4132) (%3ASUO-name "Assn00213") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:hasFrequency UBLLegalTotals 1.0)") (%3AargumentList ":hasFrequency" "UBLLegalTotals" "1.0")) ([Assn00214] of %3AAssertion (%3ALOAD-SEQUENCE 4132) (%3ASUO-name "Assn00214") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:SUO-name UBLLegalTotals \"Legal Totals\")") (%3AargumentList ":SUO-name" "UBLLegalTotals" "\"Legal Totals\"")) ([Assn00215] of %3AAssertion (%3ALOAD-SEQUENCE 4132) (%3ASUO-name "Assn00215") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:isaSynonymOf UBLLegalTotals LegalTotalsText)") (%3AargumentList ":isaSynonymOf" "UBLLegalTotals" "LegalTotalsText")) ([Assn00216] of %3AAssertion (%3ALOAD-SEQUENCE 4133) (%3ASUO-name "Assn00216") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:synonymousTerm UBLCurrencyType \"Amount Currency Type\")") (%3AargumentList ":synonymousTerm" "UBLCurrencyType" "\"Amount Currency Type\"")) ([Assn00217] of %3AAssertion (%3ALOAD-SEQUENCE 4133) (%3ASUO-name "Assn00217") (%3AisInModule [UBL-Synonyms]) (%3AliteralTranscription "(:inLang