namespace
            <<http://www.wsmo.org/ontologies/purchase#>>
            po: <<http://www.wsmo.org/ontologies/purchase#>>
            dc: <<http://purl.org/dc/elements/1.1#>>
            cu: <<http://www.wsmo.org/2004/d3/d3.2/v0.1/20040628/resources/owlCurrencyMediator.wsml#>>
            dt: <<http:://www.wsmo.org/ontologies/dateTime#>>
            targetnamespace: <<http://www.wsmo.org/ontologies/purchase#>>

ontology <<http://wsmo.org/ontologies/purchase/20041004/po.wsml>>

      nonFunctionalProperties
            dc:title hasValue "Purchase Ontology"
            dc:creator hasValue "DERI International"
            dc:subject hasValues {"Purchase Order Request", "Buyer", "Seller", "Product Line Item", "Price", "Payment method", "Delivery"}
            dc:description hasValue "general purchase order request ontology based on the 3A4 PIP of RosettaNet"
            dc:publisher hasValue "DERI International"
            dc:contributor hasValues {"Armin Haller, Maciej Zaremba"}
            dc:date hasValue "2004-10-04"
            dc:type hasValue <<http://www.wsmo.org/2004/d2/#ontologies>>
            dc:format hasValue "text/html"
            dc:language hasValue "en-US"
            dc:relation hasValues {<<http://www.daml.ecs.soton.ac.uk/ont/currency.daml>>, <<http://www.wsmo.org/ontologies/dateTime>>}
            dc:rights hasValue <<http://www.deri.org/privacy.html>>
            version hasValue "$Revision: 1.14 $"
      endNonFunctionalProperties

      importedOntologies 
            <<http://www.wsmo.org/ontologies/dateTime>>
                  
      usedMediators 
            ooMediator <<http://www.wsmo.org/2004/d3/d3.2/v0.1/20041004/resources/owlCurrencyMediator.wsml>>


      comment: conceptDefinitions
            concept pip3A4Purchase
                  nonFunctionalProperties
                        dc:description hasValue "Rosettanets Purchase Order Request Document"
                  endNonFunctionalProperties
                  buyer ofType buyer
                  globaldocumentfunctioncode ofType globalDocumentFunctionCode
                  purchaseorder ofType purchaseOrder
                  thisdocumentgenerationdatetime ofType thisDocumentGenerationDateTime
                  thisdocumentidentifier ofType thisDocumentIdentifier
                  seller ofType seller

            concept buyer
                  nonFunctionalProperties
                        dc:description hasValue "The role initiating a business document exchange."
                  endNonFunctionalProperties
                  partnerroledescription ofType partnerRoleDescription

            concept seller
                  nonFunctionalProperties
                        dc:description hasValue "The role receiving the document in a business document exchange."
                  endNonFunctionalProperties
                  partnerroledescription ofType partnerRoleDescription

            concept partnerRoleDescription
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               describe a business partners role in the purchase order request."
                  endNonFunctionalProperties
                  contactinformation ofType contactInformation
                  globalpartnerroleclassificationcode ofType globalPartnerRoleClassificationCode
                  partnerdescription ofType partnerDescription

            concept contactInformation
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               provide communication and address information for
                               contacting a person, organization or business."
                  endNonFunctionalProperties
                  contactname ofType contactName
                  emailaddress ofType emailAddress
                  facsimilenumber ofType facsimileNumber
                  telephonenumber ofType telephoneNumber
                  physicallocation ofType physicalLocation

            concept contactName
                  nonFunctionalProperties
                        dc:description hasValue "Name of the contact person(s) within the organization."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept freeFormText subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Unformatted text."
                  endNonFunctionalProperties

            concept emailAddress subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Electronic mail address."
                  endNonFunctionalProperties

            concept facsimileNumber
                  nonFunctionalProperties
                        dc:description hasValue "The numerical schema designed to achieve contact via facsimile."
                  endNonFunctionalProperties
                  communicationsnumber ofType communicationsNumber

            concept communicationsNumber subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "The electro-technical communication number,
                               e.g., telephone number, facsimile number, pager number."
                  endNonFunctionalProperties

            concept telephoneNumber
                  nonFunctionalProperties
                        dc:description hasValue "The numerical schema designed to achieve contact via telephone."
                  endNonFunctionalProperties
                  communicationsnumber ofType communicationsNumber

            concept globalPartnerRoleClassificationCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying a partys role in the supply chain."
                  endNonFunctionalProperties

            concept partnerDescription
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               describe a business partners identity, their contact information,
                               where they are physically located and their function in a supply chain."
                  endNonFunctionalProperties
                  businessdescription ofType businessDescription
                  globalpartnerclassificationcode ofType globalPartnerClassificationCode
                  contactinformation ofType contactInformation
                  physicallocation ofType physicalLocation

            concept businessDescription
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               describe a business identity and location."
                  endNonFunctionalProperties
                  globalbusinessidentifier ofType globalBusinessIdentifier
                  globalsupplychaincode ofType globalSupplyChainCode
                  businessname ofType businessName
                  partnerbusinessidentification ofType set partnerBusinessIdentification
                  nationalbusinesstaxidentifier ofType nationalBusinessTaxIdentifier

            concept globalBusinessIdentifier subConceptOf xsd:integer
                  nonFunctionalProperties
                        dc:description hasValue "A unique business identifier."
                  endNonFunctionalProperties

            concept globalSupplyChainCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying the supply chain for the partners function."
                  endNonFunctionalProperties

            concept globalPartnerClassificationCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying a partners function in the supply chain."
                  endNonFunctionalProperties

            concept globalDocumentFunctionCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying the function of
                               a document as either a request or a response."
                  endNonFunctionalProperties

            concept purchaseOrder
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               describe a buyers offer to purchase a quantity of
                               products at an agreed price and schedule."
                  endNonFunctionalProperties
                  accountdescription ofType accountDescription
                  comments ofType comments
                  contractinformation ofType set contractInformation
                  documentreference ofType set documentReference
                  financingterms ofType set financingTerms
                  generalservicesadministrationnumber ofType generalServicesAdministrationNumber
                  globalgovernmentpriorityratingcode ofType globalGovernmentPriorityRatingCode
                  globalpurchaseorderfillprioritycode ofType globalPurchaseOrderFillPriorityCode
                  globalpurchaseordertypecode ofType set globalPurchaseOrderTypeCode
                  governmentcontractidentifier ofType governmentContractIdentifier
                  installat ofType installAt
                  isdropship ofType isDropShip
                  ordershippinginformation ofType orderShippingInformation
                  productlineitem ofType set productLineItem
                  proprietaryinformation ofType proprietaryInformation
                  requestedevent ofType requestedEvent
                  requestedshipfrom ofType set requestedShipFrom
                  secondarybuyer ofType secondaryBuyer
                  shipto ofType shipTo
                  taxexemptstatus ofType taxExemptStatus
                  totalamount ofType totalAmount

            concept accountDescription
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               describe a customer or supplier account."
                  endNonFunctionalProperties
                  accountname ofType accountName
                  accountnumber ofType accountNumber
                  billto ofType billTo
                  creditcard ofType creditCard
                  financedby ofType financedBy
                  globalaccountclassificationcode ofType globalAccountClassificationCode
                  prepaymentchecknumber ofType prePaymentCheckNumber
                  wiretransferidentifier ofType wireTransferIdentifier

            concept po:comments
                  nonFunctionalProperties
                        dc:description hasValue "Free form textual description of a general nature."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept accountName
                  nonFunctionalProperties
                        dc:description hasValue "The name of a bank account."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept accountNumber subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Identification number of an account."
                  endNonFunctionalProperties

            concept billTo
                  nonFunctionalProperties
                        dc:description hasValue "The party that will pay the invoice."
                  endNonFunctionalProperties
                  partnerdescription ofType partnerDescription

            concept businessName
                  nonFunctionalProperties
                        dc:description hasValue "The name of a business entity."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept partnerBusinessIdentification
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               allow for the proprietary identification of a business entity."
                  endNonFunctionalProperties
                  proprietarybusinessidentifier ofType proprietaryBusinessIdentifier
                  proprietarydomainidentifier ofType proprietaryDomainIdentifier
                  proprietaryidentifierauthority ofType proprietaryIdentifierAuthority

            concept proprietaryBusinessIdentifier subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "A unique business identifier assigned
                               and administered by a private authority."
                  endNonFunctionalProperties

            concept proprietaryDomainIdentifier subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "A descriptor that is used to categorize an organization
                               or business entity that is in the Proprietary Business Identifier."
                  endNonFunctionalProperties

            concept proprietaryIdentifierAuthority subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "A unique name that identifies an organization or business entity
                               that is responsible for managing one or more lists of identifiers."
                  endNonFunctionalProperties

            concept physicalLocation
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               identify and describe the actual physical location of an entity
                               as prescribed by local postal authorities,
                               including country identification."
                  endNonFunctionalProperties
                  globallocationidentifier ofType globalLocationIdentifier
                  partnerlocationidentification ofType set partnerLocationIdentification
                  physicaladdress ofType physicalAddress

            concept globalLocationIdentifier subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Location uniquely identified by the DUNS +4 number."
                  endNonFunctionalProperties

            concept partnerLocationIdentification
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               allow for the proprietary identification of a business location."
                  endNonFunctionalProperties
                  proprietarydomainidentifier ofType proprietaryDomainIdentifier
                  proprietaryidentifierauthority ofType proprietaryIdentifierAuthority
                  proprietarylocationidentifier ofType proprietaryLocationIdentifier

            concept proprietaryLocationIdentifier subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "A unique location identifier assigned
                               and administered by a private authority."
                  endNonFunctionalProperties

            concept physicalAddress
                  nonFunctionalProperties
                        dc:description hasValue "The actual physical location of an entity as
                               prescribed by local postal authorities, including
                               country identification as it relates to the party or a product."
                  endNonFunctionalProperties
                  addressline1 ofType addressLine1
                  addressline2 ofType addressLine2
                  addressline3 ofType addressLine3
                  cityname ofType cityName
                  globalcountrycode ofType globalCountryCode
                  nationalpostalcode ofType nationalPostalCode
                  postofficeboxidentifier ofType postOfficeBoxIdentifier
                  regionname ofType regionName
                  globallocationidentifier ofType globalLocationIdentifier
                  partnerlocationidentification ofType set partnerLocationIdentification

            concept addressLine1
                  nonFunctionalProperties
                        dc:description hasValue "Line 1 of the physical address."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept addressLine2
                  nonFunctionalProperties
                        dc:description hasValue "Line 2 of the physical address."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept addressLine3
                  nonFunctionalProperties
                        dc:description hasValue "Line 3 of the physical address."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept cityName
                  nonFunctionalProperties
                        dc:description hasValue "The name of a city."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept globalCountryCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying the two character
                               country code specified in ISO 3166-1993."
                  endNonFunctionalProperties

            concept nationalPostalCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying geographic
                               location as specified by a national postal code."
                  endNonFunctionalProperties

            concept postOfficeBoxIdentifier
                  nonFunctionalProperties
                        dc:description hasValue "The proprietary identity of a physical address,
                               located at a post office, designed solely to accept and receive mail."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept regionName
                  nonFunctionalProperties
                        dc:description hasValue "The name of a state or province within a country."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept creditCard
                  nonFunctionalProperties
                        dc:description hasValue "A collection of business properties
                               that describe information about a credit card."
                  endNonFunctionalProperties
                  cardholdername ofType cardHolderName
                  creditcardidentifier ofType creditCardIdentifier
                  expirydate ofType expiryDate
                  globalcreditcardclassificationcode ofType globalCreditCardClassificationCode
                  proprietarycididentifier ofType proprietaryCIDIdentifier

            concept cardHolderName
                  nonFunctionalProperties
                        dc:description hasValue "The name of the owner of a credit card."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept creditCardIdentifier
                  nonFunctionalProperties
                        dc:description hasValue "The unique number that identifies a credit card."
                  endNonFunctionalProperties
                  proprietaryreferenceidentifier ofType proprietaryReferenceIdentifier

            concept proprietaryReferenceIdentifier subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "A unique reference identifier for goods,
                               services or business documents."
                  endNonFunctionalProperties

            concept expiryDate
                  nonFunctionalProperties
                        dc:description hasValue "The date that a contractual agreement expires."
                  endNonFunctionalProperties
                  expMonth ofType dt:monthOfYear
                  expYear ofType dt:year

            concept globalCreditCardClassificationCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying the type of credit card used."
                  endNonFunctionalProperties

            concept proprietaryCIDIdentifier subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Unique identifier for credit card purchase
                               activity utilized by American Express."
                  endNonFunctionalProperties

            concept financedBy
                  nonFunctionalProperties
                        dc:description hasValue "The party who is the financier."
                  endNonFunctionalProperties
                  partnerdescription ofType partnerDescription

            concept globalAccountClassificationCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Account classification indicating
                               its functionality, e.g., credit card account, debit card account."
                  endNonFunctionalProperties

            concept prePaymentCheckNumber
                  nonFunctionalProperties
                        dc:description hasValue "The check number issued to prepay a monetary amount for an account."
                  endNonFunctionalProperties
                  checknumber ofType checkNumber

            concept checkNumber subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "The identification code of a bank cheque."
                  endNonFunctionalProperties

            concept wireTransferIdentifier subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "A unique identity of a wire transfer used for reference."
                  endNonFunctionalProperties

            concept contractInformation
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               represent a business arrangement for the supply
                               of goods or services at an agreed price."
                  endNonFunctionalProperties
                  contractidentifier ofType contractIdentifier
                  primarycontractwith ofType primaryContractWith
                  secondarycontractwith ofType secondaryContractWith

            concept contractIdentifier
                  nonFunctionalProperties
                        dc:description hasValue "The unique number than identifies a contract."
                  endNonFunctionalProperties
                  proprietarydocumentidentifier ofType proprietaryDocumentIdentifier

            concept proprietaryDocumentIdentifier subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Unique identifier, i.e. a numeric value
                               or alphanumeric value, for a business document."
                  endNonFunctionalProperties

            concept primaryContractWith
                  nonFunctionalProperties
                        dc:description hasValue "The principal party in a binding
                               agreement between two or more persons or parties."
                  endNonFunctionalProperties
                  partnerdescription ofType partnerDescription

            concept secondaryContractWith
                  nonFunctionalProperties
                        dc:description hasValue "The subsequent party in a binding
                               agreement between two or more persons or parties."
                  endNonFunctionalProperties
                  partnerdescription ofType partnerDescription

            concept documentReference
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               allows the description of multiple proprietary
                               documents and applicable line number references."
                  endNonFunctionalProperties
                  datetimestamp ofType dt:dateAndTime
                  globaldocumentreferencetypecode ofType globalDocumentReferenceTypeCode
                  globalpartnerroleclassificationcode ofType globalPartnerRoleClassificationCode
                  linenumber ofType lineNumber
                  proprietarydocumentidentifier ofType proprietaryDocumentIdentifier
                  revisionnumber ofType revisionNumber

            concept globalDocumentReferenceTypeCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying the type of business
                               document used for referencing within another business document."
                  endNonFunctionalProperties

            concept lineNumber subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Number of the line in the document."
                  endNonFunctionalProperties

            concept revisionNumber subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "An incremental number used to identify changes."
                  endNonFunctionalProperties
 
            concept financingTerms
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that describe financing terms."
                  endNonFunctionalProperties
                  globalfinancetermscode ofType globalFinanceTermsCode
                  paymentterms ofType set paymentTerms

            concept globalFinanceTermsCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying the terms that govern financing."
                  endNonFunctionalProperties

            concept paymentTerms
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that describe payment terms."
                  endNonFunctionalProperties
                  discounts ofType set discounts
                  globalpaymentconditioncode ofType globalPaymentConditionCode
                  nettermsday ofType netTermsDay
                  nettermsdays ofType netTermsDays
                  percentdue ofType percentDue

            concept discounts
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that describe payment discounts."
                  endNonFunctionalProperties
                  discountday ofType discountDay
                  discountdays ofType discountDays
                  discountpercent ofType discountPercent

            concept discountDay
                  nonFunctionalProperties
                        dc:description hasValue "The specific day of the month a
                               payment is required in order to receive a discount."
                  endNonFunctionalProperties
                  dayofmonth ofType dt:dayOfMonth

            concept discountDays
                  nonFunctionalProperties
                        dc:description hasValue "The number of days within which a
                               payment is required in order to receive a discount."
                  endNonFunctionalProperties
                  countableamount ofType countableAmount

            concept countableAmount subConceptOf xsd:integer
                  nonFunctionalProperties
                        dc:description hasValue "Dimensionless magnitude, e.g. number of products."
                  endNonFunctionalProperties

            concept discountPercent
                  nonFunctionalProperties
                        dc:description hasValue "The financial percent representing a reduction to the total amount due."
                  endNonFunctionalProperties
                  percentamount ofType percentAmount

            concept percentAmount subConceptOf xsd:float
                  nonFunctionalProperties
                        dc:description hasValue "A real number representing a percentage value,
                               e.g. 75.125 represents 75 1/8 percent."
                  endNonFunctionalProperties

            concept globalPaymentConditionCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "A code identifying the conditions
                               under which payment will be made."
                  endNonFunctionalProperties

            concept netTermsDay
                  nonFunctionalProperties
                        dc:description hasValue "The specific day of the month
                               a payment is due without incurring late charges."
                  endNonFunctionalProperties
                  dayofmonth ofType dt:dayOfMonth

            concept netTermsDays
                  nonFunctionalProperties
                   dc:description hasValue "The number of days within
                              which a payment is due without incurring late charges."
                  endNonFunctionalProperties
                  countableamount ofType countableAmount

            concept percentDue
                  nonFunctionalProperties
                        dc:description hasValue "The amount owed expressed as a percentage."
                  endNonFunctionalProperties
                  percentamount ofType percentAmount

            concept generalServicesAdministrationNumber
                  nonFunctionalProperties
                        dc:description hasValue "Identifying number relating to a pre-established end-user pricing agreement."
                  endNonFunctionalProperties
                  proprietarydocumentidentifier ofType proprietaryDocumentIdentifier

            concept globalGovernmentPriorityRatingCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "If a contract number exists and
                               PO type is Government, a priority rating code is required."
                   endNonFunctionalProperties

            concept globalPurchaseOrderFillPriorityCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying fill priority for manufacturing
                               in a constrained condition. Value to be determined by Trading Partner Agreement."
                  endNonFunctionalProperties

            concept globalPurchaseOrderTypeCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying category specification for a purchase order."
                  endNonFunctionalProperties

            concept governmentContractIdentifier
                  nonFunctionalProperties
                        dc:description hasValue "The unique number that identifies a government contract."
                  endNonFunctionalProperties
                  proprietarydocumentidentifier ofType proprietaryDocumentIdentifier

            concept installAt
                  nonFunctionalProperties
                        dc:description hasValue "The partner and/or location to
                               which the product must be set up for use or service."
                  endNonFunctionalProperties
                  partnerdescription ofType partnerDescription

            concept isDropShip
                  nonFunctionalProperties
                        dc:description hasValue "Indicates whether the order is a drop shipment."
                  endNonFunctionalProperties
                  affirmationindicator ofType affirmationIndicator

            concept affirmationIndicator subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Used to indicate "Yes", "No" statements."
                  endNonFunctionalProperties

            concept orderShippingInformation
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               describe information relating to shipping a product."
                  endNonFunctionalProperties
                  carrierinformation ofType carrierInformation
                  globalfreeonboardcode ofType globalFreeOnBoardCode
                  globalshipmenttermscode ofType globalShipmentTermsCode
                  globalshippingservicelevelcode ofType globalShippingServiceLevelCode
                  globalspecialfulfillmentrequestcode ofType set globalSpecialFulfillmentRequestCode
                  packlistrequirements ofType packListRequirements
                  specialhandlinginstruction ofType specialHandlingInstruction

            concept carrierInformation
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               describe a carriers identification."
                  endNonFunctionalProperties
                  accountidentifier ofType accountIdentifier
                  globalcarriercode ofType globalCarrierCode

            concept accountIdentifier
                  nonFunctionalProperties
                        dc:description hasValue "The unique identifier that identifies an account."
                  endNonFunctionalProperties
                  proprietaryreferenceidentifier ofType proprietaryReferenceIdentifier
 
            concept globalCarrierCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "A unique carrier identification code,
                               based on Standard Carrier Alpha Code(s) (SCAC)."
                  endNonFunctionalProperties

            concept globalFreeOnBoardCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying a specified point where
                               a product is delivered or placed on board a carrier without charge."
                  endNonFunctionalProperties

            concept globalShipmentTermsCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying the terms under which a product is shipped."
                  endNonFunctionalProperties

            concept globalShippingServiceLevelCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying the shipping service level, e.g., overnight, same day."
                  endNonFunctionalProperties

            concept globalSpecialFulfillmentRequestCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying a special fulfillment request, e.g. delivery options."
                  endNonFunctionalProperties

            concept packListRequirements
                  nonFunctionalProperties
                        dc:description hasValue "Free form textual description, on the pack list,
                               of requirements relating to the packing of the product."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept specialHandlingInstruction
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               describe product packaging or shipping handling instructions."
                  endNonFunctionalProperties
                  globalspecialhandlingcode ofType set globalSpecialHandlingCode
                  specialhandlingtext ofType specialHandlingText

            concept globalSpecialHandlingCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying special handling or packaging requirements for the product."
                  endNonFunctionalProperties

            concept specialHandlingText
                  nonFunctionalProperties
                        dc:description hasValue "Free form textual description for
                               how specified goods, packages or containers should be handled." 
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept productLineItem
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               describe a business document entry for a product."
                  endNonFunctionalProperties
                  comments ofType comments
                  contractinformation ofType set contractInformation
                  countryoforigin ofType countryOfOrigin
                  customerinformation ofType set customerInformation
                  documentreference ofType set documentReference
                  expeditereferenceidentifier ofType expediteReferenceIdentifier
                  globalproductunitofmeasurecode ofType globalProductUnitOfMeasureCode
                  globalpurchaseorderfillprioritycode ofType globalPurchaseOrderFillPriorityCode
                  installat ofType installAt
                  isdropship ofType isDropShip
                  linenumber ofType lineNumber
                  orderquantity ofType orderQuantity
                  ordershippinginformation ofType orderShippingInformation
                  productidentification ofType productIdentification
                  productsublineitem ofType set productSubLineItem
                  proprietaryinformation ofType proprietaryInformation
                  requestedevent ofType requestedEvent
                  requestedshipfrom ofType set requestedShipFrom
                  requestedunitprice ofType requestedUnitPrice
                  shipto ofType shipTo
                  taxexemptstatus ofType taxExemptStatus
                  totallineitemamount ofType totalLineItemAmount

            concept countryOfOrigin
                  nonFunctionalProperties
                        dc:description hasValue "Country where product originates."
                  endNonFunctionalProperties
                  globalcountrycode ofType globalCountryCode

            concept customerInformation
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that describe an end user."
                  endNonFunctionalProperties
                  customerprojectidentifier ofType customerProjectIdentifier
                  globalcustomertypecode ofType globalCustomerTypeCode
                  partnerdescription ofType partnerDescription

            concept customerProjectIdentifier
                  nonFunctionalProperties
                        dc:description hasValue "The unique identification number that
                               identifies a project for a given customer."
                  endNonFunctionalProperties
                  proprietaryreferenceidentifier ofType proprietaryReferenceIdentifier

            concept globalCustomerTypeCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying the type of end user."
                  endNonFunctionalProperties

            concept nationalBusinessTaxIdentifier
                  nonFunctionalProperties
                        dc:description hasValue "The national tax identification number assigned to a business."
                  endNonFunctionalProperties
                  businesstaxidentifier ofType businessTaxIdentifier
                  globalcountrycode ofType globalCountryCode

            concept businessTaxIdentifier subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Identifying number for Tax Information Field."
                  endNonFunctionalProperties

            concept expediteReferenceIdentifier
                  nonFunctionalProperties
                        dc:description hasValue "The unique identification number for the expediting of a product."
                  endNonFunctionalProperties
                  proprietaryreferenceidentifier ofType proprietaryReferenceIdentifier

            concept globalProductUnitOfMeasureCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying a product unit of measure."
                  endNonFunctionalProperties

            concept orderQuantity
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               describe various types of product quantity used in an ordering process."
                  endNonFunctionalProperties
                  requestedquantity ofType requestedQuantity

            concept productIdentification
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               describe proprietary and global identifier information regarding a product."
                  endNonFunctionalProperties
                  globalproductidentifier ofType globalProductIdentifier
                  partnerproductidentification ofType set partnerProductIdentification

            concept requestedQuantity
                  nonFunctionalProperties
                        dc:description hasValue "The quantity of product requested."
                  endNonFunctionalProperties
                  productquantity ofType productQuantity

            concept productQuantity subConceptOf xsd:float
                  nonFunctionalProperties
                        dc:description hasValue "A quantity specifying the number of product units."
                  endNonFunctionalProperties

            concept partnerProductIdentification
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that describe proprietary part information."
                  endNonFunctionalProperties
                  globalpartnerclassificationcode ofType globalPartnerClassificationCode
                  proprietaryproductidentifier ofType proprietaryProductIdentifier
                  revisionidentifier ofType revisionIdentifier

            concept globalProductIdentifier subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Global unique product identifier,
                               expressed by the Global Trade Identification Number (GTIN)."
                  endNonFunctionalProperties

            concept proprietaryProductIdentifier subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "An internal identifier used to identify a product."
                  endNonFunctionalProperties

            concept revisionIdentifier
                  nonFunctionalProperties
                        dc:description hasValue "Free form text that identifies a revision to a proprietary serial number."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept productSubLineItem
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that describe a part of a product line item."
                  endNonFunctionalProperties
                  comments ofType comments
                  contractinformation ofType contractInformation
                  countryoforigin ofType countryOfOrigin
                  customerinformation ofType set customerInformation
                  expeditereferenceidentifier ofType expediteReferenceIdentifier
                  globalproductunitofmeasurecode ofType globalProductUnitOfMeasureCode
                  globalpurchaseorderfillprioritycode ofType globalPurchaseOrderFillPriorityCode
                  installat ofType installAt
                  isdropship ofType isDropShip
                  orderquantity ofType orderQuantity
                  ordershippinginformation ofType orderShippingInformation
                  proprietaryinformation ofType proprietaryInformation
                  requestedevent ofType requestedEvent
                  requestedshipfrom ofType set requestedShipFrom
                  requestedunitprice ofType requestedUnitPrice
                  shipto ofType shipTo
                  sublineitem ofType subLineItem

            concept proprietaryInformation
                  nonFunctionalProperties
                        dc:description hasValue "A free form textual description of information, relating to a product."
                  endNonFunctionalProperties
                  freeformtext ofType freeFormText

            concept requestedEvent
                  nonFunctionalProperties
                        dc:description hasValue "The date a transportation event is requested to occur."
                  endNonFunctionalProperties
                  transportationevent ofType transportationEvent

            concept transportationEvent
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that
                               describe the occurrence of the public conveyance of goods as a commercial enterprise."
                  endNonFunctionalProperties
                  begintime ofType beginTime
                  datestamp ofType dt:dateAndTime
                  endtime ofType endTime
                  globaltransporteventcode ofType globalTransportEventCode

            concept beginTime
                  nonFunctionalProperties
                        dc:description hasValue "The start time of a time period."
                  endNonFunctionalProperties
                  timestamp ofType dt:dateAndTime

            concept endTime
                  nonFunctionalProperties
                        dc:description hasValue "The end time of a time period."
                  endNonFunctionalProperties
                  timestamp ofType dt:dateAndTime

            concept globalTransportEventCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying an event during the transportation of a shipment."
                  endNonFunctionalProperties

            concept requestedShipFrom
                  nonFunctionalProperties
                        dc:description hasValue "The      location where the product is requested to be shipped from."
                  endNonFunctionalProperties
                  physicaladdress ofType physicalAddress

            concept requestedUnitPrice
                  nonFunctionalProperties
                        dc:description hasValue "The price requested for a unit of product."
                  endNonFunctionalProperties
                  financialamount ofType financialAmount

            concept financialAmount
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties
                               that describe the monetary amount defined by a specified currency."
                  endNonFunctionalProperties
                  globalcurrencycode ofType cu:currency
                  globalmonetaryamounttypecode ofType globalMonetaryAmountTypeCode
                  invoicechargetypecode ofType invoiceChargeTypeCode
                  monetaryamount ofType monetaryAmount

            concept globalMonetaryAmountTypeCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying whether the monetary amount is a debit or credit."
                  endNonFunctionalProperties

            concept invoiceChargeTypeCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying the values for the types of charges contained in an invoice."
                  endNonFunctionalProperties

            concept monetaryAmount subConceptOf xsd:float
                  nonFunctionalProperties
                        dc:description hasValue "Magnitude of currency amount."
                  endNonFunctionalProperties

            concept shipTo
                  nonFunctionalProperties
                        dc:description hasValue "The partner and/or location to which the product must be delivered."
                  endNonFunctionalProperties
                  partnerdescription ofType partnerDescription

            concept subLineItem
                  nonFunctionalProperties
                        dc:description hasValue "Information contained within a subline."
                  endNonFunctionalProperties
                  linenumber ofType lineNumber

            concept taxExemptStatus
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that describe tax exemption conditions."
                  endNonFunctionalProperties
                  istaxexempt ofType isTaxExempt
                  taxexemption ofType taxExemption

            concept isTaxExempt
                  nonFunctionalProperties
                        dc:description hasValue "Indicates whether a product is exempt from taxation."
                  endNonFunctionalProperties
                  affirmationindicator ofType affirmationIndicator

            concept taxExemption
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that describe
                               tax exemption type and identification information."
                  endNonFunctionalProperties
                  globaltaxexemptioncode ofType globalTaxExemptionCode
                  taxexemptioncertificationidentifier ofType taxExemptionCertificationIdentifier

            concept globalTaxExemptionCode subConceptOf xsd:string
                  nonFunctionalProperties
                        dc:description hasValue "Code identifying the type of tax exemption for a product or service."
                  endNonFunctionalProperties

            concept taxExemptionCertificationIdentifier
                  nonFunctionalProperties
                        dc:description hasValue "The unique identifier that represents the authorization
                               for a product or services tax exempt status."
                  endNonFunctionalProperties
             proprietaryreferenceidentifier ofType ProprietaryReferenceIdentifier

            concept totalLineItemAmount
                  nonFunctionalProperties
                        dc:description hasValue "The monetary total associated with a line item."
                  endNonFunctionalProperties
                  financialamount ofType financialAmount

            concept secondaryBuyer
                  nonFunctionalProperties
                        dc:description hasValue "The collection of business properties that describe an alternate buyer."
                  endNonFunctionalProperties
                  partnerdescription ofType partnerDescription
                  secondarybuyerpurchaseorderidentifier ofType secondaryBuyerPurchaseOrderIdentifier

            concept secondaryBuyerPurchaseOrderIdentifier
                  nonFunctionalProperties
                        dc:description hasValue "Unique number that identifies a purchase order issued by the secondary buyer."
                  endNonFunctionalProperties
                  proprietarydocumentidentifier ofType proprietaryDocumentIdentifier

            concept totalAmount
                  nonFunctionalProperties
                        dc:description hasValue "Total price for an entire invoice."
                  endNonFunctionalProperties
                  financialamount ofType financialAmount

            concept thisDocumentGenerationDateTime
                  nonFunctionalProperties
                        dc:description hasValue "The date-time stamp indicating when this business document was generated."
                  endNonFunctionalProperties
                  datetimestamp ofType dt:dateAndTime

            concept thisDocumentIdentifier
                  nonFunctionalProperties
                        dc:description hasValue "The information that identifies the business document being sent.
                               This identifier is used to represent the specific business document
                               associated with the defined business process."
                  endNonFunctionalProperties
                  proprietarydocumentidentifier ofType proprietaryDocumentIdentifier

      comment: axiomDefinitions
            axiom validBuyer
                  nonFunctionalProperties
                              dc:description hasValue "Exactly one buyer."
                  endNonFunctionalProperties
                  definedBy
                                    forAll ?x (exists ?y (?x memberOf pip3A4Purchase -> ?x[buyer hasValue ?y])).

            axiom validPurchaseorder
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one purchaseorder."
                  endNonFunctionalProperties
                  definedBy
                                    forAll ?x (exists ?y (?x memberOf pip3A4Purchase -> ?x[purchaseorder hasValue ?y])).

            axiom validThisdocumentgenerationdatetime
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one thisdocumentgenerationdatetime."
                  endNonFunctionalProperties
                  definedBy
                                    forAll ?x (exists ?y (?x memberOf pip3A4Purchase -> ?x[thisdocumentgenerationdatetime hasValue ?y])).

            axiom validThisdocumentidentifier
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one thisdocumentidentifier."
                  endNonFunctionalProperties
                  definedBy
                                    forAll ?x (exists ?y (?x memberOf pip3A4Purchase -> ?x[thisdocumentidentifier hasValue ?y])).

            axiom validSeller
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one seller."
                  endNonFunctionalProperties
                  definedBy
                                    forAll ?x (exists ?y (?x memberOf pip3A4Purchase -> ?x[seller hasValue ?y])).

            axiom validPartnerroledescription
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one partnerroledescription."
                  endNonFunctionalProperties
                  definedBy
                                    forAll ?x (exists ?y (?x memberOf buyer or ?x memberOf seller or ?x memberOf toRole 
                                          -> ?x[partnerroledescription hasValue ?y])).

            axiom validGlobalpartnerroleclassificationcode 
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one globalpartnerroleclassificationcode."
                  endNonFunctionalProperties
                  definedBy
                                    forAll ?x (exists ?y (?x memberOf partnerRoleDescription or ?x memberOf documentReference 
                                          -> ?x[globalpartnerroleclassificationcode hasValue ?y])).

/************************************
 the rest of theses axioms are commented out, since they where not done in a proper wsml syntax yet

            axiom validPartnerdescription
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one partnerdescription."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf partnerRoleDescription hasValue ?x[partnerdescription hasValue ?y]) and
                                     (?x memberOf billTo hasValue ?x[partnerdescription hasValue ?y]) and
                                     (?x memberOf financedBy hasValue ?x[partnerdescription hasValue ?y]) and
                                     (?x memberOf primaryContractWith hasValue ?x[partnerdescription hasValue ?y]) and
                                     (?x memberOf secondaryContractWith hasValue ?x[partnerdescription hasValue ?y]) and
                                     (?x memberOf installAt hasValue ?x[partnerdescription hasValue ?y]) and
                                     (?x memberOf secondaryBuyer hasValue ?x[partnerdescription hasValue ?y]) and
                                     (?x memberOf customerInformation hasValue ?x[partnerdescription hasValue ?y]) and
                                     (?x memberOf shipTo hasValue ?x[partnerdescription hasValue ?y]))"

            axiom validFreeformtext
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one freeformtext."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf contactName hasValue ?x[freeformtext -> ?y]) and
                                     (?x memberOf comments hasValue ?x[freeformtext hasValue ?y]) and
                                     (?x memberOf accountName hasValue ?x[freeformtext hasValue ?y]) and
                                     (?x memberOf businessName hasValue ?x[freeformtext hasValue ?y]) and
                                     (?x memberOf addressLine1 hasValue ?x[freeformtext hasValue ?y]) and
                                     (?x memberOf addressLine2 hasValue ?x[freeformtext hasValue ?y]) and
                                     (?x memberOf addressLine3 hasValue ?x[freeformtext hasValue ?y]) and
                                     (?x memberOf cityName hasValue ?x[freeformtext hasValue ?y]) and
                                     (?x memberOf postOfficeBoxIdentifier hasValue ?x[freeformtext hasValue ?y]) and
                                     (?x memberOf regionName hasValue ?x[freeformtext hasValue ?y]) and
                                     (?x memberOf cardHolderName hasValue ?x[freeformtext hasValue ?y]) and
                                     (?x memberOf packListRequirements hasValue ?x[freeformtext hasValue ?y]) and
                                     (?x memberOf specialHandlingText hasValue ?x[freeformtext hasValue ?y]) and
                                     (?x memberOf revisionIdentifier hasValue ?x[freeformtext hasValue ?y] and
                                     (?x memberOf proprietaryInformation hasValue ?x[freeformtext hasValue ?y))"

            axiom validCommunicationsnumber
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one communicationsnumber."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf facsimileNumber -> ?x[communicationsnumber -> ?y]) and 
                                     (?x memberOf telephone -> ?x[communicationsnumber -> ?y]))"

            axiom validBusinessdescription
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one businessdescription."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf partnerDescription -> ?x[businessdescription -> ?y])"

            axiom validGlobalpurchaseordertypecode
                   nonFunctionalProperties
                              dc:description hasValue "One or more globalpurchaseordertypecode."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf purchaseOrder -> ?x[globalpurchaseordertypecode ->> ?y])"

            axiom validIsdropship
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one isdropship."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf purchaseOrder -> ?x[isdropship -> ?y]) and
                                     (?x memberOf productLineItem -> ?x[isdropship -> ?y]) and
                                     (?x memberOf productSubLineItem -> ?x[isdropship -> ?y]))"

            axiom validProductlineitem
                   nonFunctionalProperties
                              dc:description hasValue "One or more productlineitem."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf purchaseOrder -> ?x[productlineitem ->> ?y])"

            axiom validRequestedshipfrom
                   nonFunctionalProperties
                              dc:description hasValue "One or more requestedshipfrom."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf purchaseOrder -> ?x[requestedshipfrom ->> ?y])"

            axiom validAccountname 
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one accountname."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf accountDescription -> ?x[accountname -> ?y])"

            axiom validProprietarybusinessidentifier
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one proprietarybusinessidentifier."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf partnerBusinessIdentification -> ?x[proprietarybusinessidentifier -> ?y])"

            axiom validProprietarydomainidentifier
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one proprietarydomainidentifier."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf partnerBusinessIdentification -> ?x[proprietarydomainidentifier -> ?y]) and
                                     (?x memberOf partnerLocationIdentification -> ?x[proprietarydomainidentifier -> ?y]))"

            axiom validProprietarydomainidentifier
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one proprietarydomainidentifier."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf partnerbusinessidentification -> ?x[proprietarydomainidentifier -> ?y])"

            axiom validProprietarylocationidentifier
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one proprietarylocationidentifier."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf partnerLocationIdentification -> ?x[proprietarylocationidentifier -> ?y])"

            axiom validCardholdername
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one cardholdername."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf creditCard -> ?x[cardholdername -> ?y])"

            axiom validCreditcardidentifier
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one creditcardidentifier."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf creditCard -> ?x[creditcardidentifier -> ?y])"

            axiom validExpirydate
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one expirydate."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf creditCard -> ?x[expirydate -> ?y])"

            axiom validGlobalcreditcardclassificationcode
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one globalcreditcardclassificationcode."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf creditCard -> ?x[globalcreditcardclassificationcode -> ?y])"

            axiom validProprietaryreferenceidentifier
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one proprietaryreferenceidentifier."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf creditCardIdentifier -> ?x[Proprietaryreferenceidentifier -> ?y]) and
                                     (?x memberOf accountIdentifier -> ?x[proprietaryreferenceidentifier -> ?y]) and
                                     (?x memberOf customerProjectIdentifier -> ?x[proprietaryreferenceidentifier -> ?y]) and
                                     (?x memberOf expediteReferenceIdentifier -> ?x[proprietaryreferenceidentifier -> ?y]))"

            axiom validExpmonth 
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one expmonth."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf expiryDate -> ?x[expmonth -> ?y])"

            axiom validExpyear
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one expyear."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf expiryDate -> ?x[expyear -> ?y])"

            axiom validChecknumber
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one checknumber."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf prePaymentCheckNumber -> ?x[checknumber -> ?y])"

            axiom validContractidentifier
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one contractidentifier."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf contractInformation -> ?x[contractidentifier -> ?y])"

            axiom validProprietarydocumentidentifier
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one proprietarydocumentidentifier."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf contractIdentifier -> ?x[proprietarydocumentidentifier -> ?y]) and
                                     (?x memberOf documentReference -> ?x[proprietarydocumentidentifier -> ?y]) and
                                     (?x memberOf generalServicesAdministrationNumber -> ?x[proprietarydocumentidentifier -> ?y]) and
                                     (?x memberOf governmentContractIdentifier -> ?x[proprietarydocumentidentifier -> ?y]) and
                                     (?x memberOf secondaryBuyerPurchaseOrderIdentifier -> ?x[proprietarydocumentidentifier -> ?y]) and
                                     (?x memberOf thisDocumentIdentifier -> ?x[proprietarydocumentidentifier -> ?y]))"

            axiom validGlobaldocumentreferencetypecode
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one globaldocumentreferencetypecode."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf documentReference -> ?x[globaldocumentreferencetypecode -> ?y])"

            axiom validDiscounts
                   nonFunctionalProperties
                              dc:description hasValue "One or more discounts."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf paymentTerms -> ?x[discounts ->> ?y])"

            axiom validDayofmonth
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one dayofmonth."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf discountDay -> ?x[dayofmonth -> ?y]) and
                                     (?x memberOf netTermsDay -> ?x[dayofmonth -> ?y]))"

            axiom validCountableamount
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one countableamount."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf discountDays -> ?x[countableamount-> ?y]) and
                                     (?x memberOf netTermsDays -> ?x[countableamount -> ?y]))"

            axiom validPercentamount
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one percentamount."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf discountPercent -> ?x[percentamount -> ?y]) and
                                     (?x memberOf percentDue -> ?x[percentamount -> ?y]))"

            axiom validAffirmationindicator
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one affirmationindicator."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf isDropShip -> ?x[affirmationindicator -> ?y]) and
                                     (?x memberOf isTaxExempt -> ?x[affirmationindicator -> ?y]))"

            axiom validGlobalcarriercode
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one globalcarriercode."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf carrierInformation -> ?x[globalcarriercode -> ?y])"

            axiom validGlobalproductunitofmeasurecode
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one globalproductunitofmeasurecode."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf productLineItem -> ?x[globalproductunitofmeasurecode -> ?y])"

            axiom validLinenumber
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one linenumber."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf productLineItem -> ?x[linenumber -> ?y]) and
                                     (?x memberOf subLineItem -> ?x[linenumber -> ?y]))"

            axiom validOrderquantity
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one orderquantity."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf productLineItem -> ?x[orderquantity -> ?y]) and
                                     (?x memberOf productSubLineItem -> ?x[orderquantity -> ?y]))"

            axiom validProductidentification
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one productidentification."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf productLineItem -> ?x[productidentification -> ?y])"

            axiom validRequestedevent
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one requestedevent."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y ((?x memberOf productLineItem -> ?x[requestedevent -> ?y]) and
                                     (?x memberOf productSubLineItem -> ?x[requestedevent -> ?y]))"

            axiom validGlobalcountrycode
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one globalcountrycode."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf countryOfOrigin -> ?x[globalcountrycode -> ?y])"

            axiom validGlobalcustomertypecode
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one globalcustomertypecode."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf customerInformation -> ?x[globalcustomertypecode -> ?y])"

            axiom validBusinesstaxidentifier
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one businesstaxidentifier."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf nationalBusinessTaxIdentifier -> ?x[businesstaxidentifier -> ?y])"

            axiom validGlobalcountrycode
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one globalcountrycode."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf nationalBusinessTaxIdentifier -> ?x[globalcountrycode -> ?y])"

            axiom validRequestedquantity
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one requestedquantity."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf orderQuantity -> ?x[requestedquantity -> ?y])"

            axiom validProductquantity
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one productquantity."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf requestedQuantity -> ?x[productquantity -> ?y])"

            axiom validGlobalpartnerclassificationcode
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one globalpartnerclassificationcode."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf partnerProductIdentification -> ?x[globalpartnerclassificationcode -> ?y])"

            axiom validProprietaryproductidentifier
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one proprietaryproductidentifier."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf partnerProductIdentification -> ?x[proprietaryproductidentifier -> ?y])"

            axiom validGlobalproductunitofmeasurecode
                   nonFunctionalProperties
                              dc:description hasValue "Exactly one globalproductunitofmeasurecode."
                  endNonFunctionalProperties
                  definedBy
                                    "forAll ?x exists ?y (?x memberOf productSubLineItem -> ?x[globalproductunitofmeasurecode -> ?y])"
**********************************/