;;; -*- Mode: Lisp; Syntax: Lisp; -*- ;;; POD Todo: ;;; - Registry names for Incoterms things. ;;; - Add codeContent and codeNameText to Incoterms. (instance incoterms2000 CctCodeList) (codeListAgencyIdentifier incoterms2000 "4") (codeListAgencyNameText incoterms2000 "International Chamber of Commerce") (codeListNameText incoterms2000 "Incoterms 2000") (codeListURI incoterms2000 "http://www.iccwbo.org/index_incoterms.asp") (codeListVersionIdentifier incoterms2000 "2000") (instance incoterms2000CodeTerm CctCode) ;; instance... (instance EXW incoterms2000CodeTerm) ;; ... of instance. (cctCodeContent EXW "EXW") (cctCodeNameText EXW "Ex Works") (documentation EXW "

EXW (from the Incoterms 2000 spec preamble)

Ex Works (...named place)

EXW - Ex works means that the seller delivers when he places the goods at the disposal of the buyer at the seller's premises or another named place (i.e. works, factory, warehouse, etc.) not cleared for export and not loaded on any collecting vehicle. This term thus represents the minimum obligation for the seller, and the buyer has to bear all costs and risks involved in taking the goods from the seller's premises. However, if the parties wish the seller to be responsible for the loading of the goods on departure and to bear risks and all the costs of such loading, this should be made clear by adding explicit working to this effect in the contract of the sale. This term should not be used when the buyer cannot carry out the export formalities directly or indirectly. In such circumstances, the &%FCA term should be used, provided the seller agrees that he will load at his cost and risk") (instance FCA incoterms2000CodeTerm) (cctCodeContent FCA "FCA") (cctCodeNameText FCA "Free Carrier") (documentation FCA "

FCA (from the Incoterms 2000 spec preamble) Free Carrier (...named place)

FCA - Free Carrier means that the seller delivers the goods, cleared for export, to the carrier nominated by the buyer at the named place. It should be noted that the chosen place of delivery has an impact on the obligations of loading and unloading the goods at that place. If delivery occurs at the seller's premises, the seller is responsible for loading. If delivery occurs at any other place, the seller is not responsible for unloading.

This term may be used irrespective of the mode of transport, including multimodal transport. &%Carrier means any person who, in a contract of carriage, undertakes to perform or to procure the performance of transport by rail, road, sea, inland waterway or by a combination of such modes. If the buyer nominates a person other than a carrier to receive the goods, the seller is deemed to have fulfilled his obligation to deliver the goods when they are delivered to that person.") (instance FAS incoterms2000CodeTerm) (cctCodeContent FAS "FAS") (cctCodeNameText FAS "Free Alongside Ship") (documentation FAS "

FAS (from the Incoterms 2000 spec preamble)

Free Alongside Ship (...named port of shipment)

Free Alongside Ship means that the seller delivers when the goods are places alongside the vessel at the named port of shipment. This means that the buyer has to bear all costs and risks of loss of or damage to the goods from that moment. The &%FAS term requires the seller to clear the goods for export. THIS IS A REVERSAL FROM PREVIOUS INCOTERMS VERSIONS WHICH REQUIRED BUYER TO ARRANGE FOR EXPORT CLEARANCE. However if the parties wish the buyer to clear the goods for export, this should be made clear by adding explicit working to this effect in the contract of sale. This term can be used only for sea or inward waterway transport.") (instance FOB incoterms2000CodeTerm) (cctCodeContent FOB "FOB") (cctCodeNameText FOB "Free on Board") (documentation FOB "

FOB (from the Incoterms 2000 spec preamble)

Free On Board (...named port of shipment)

Free on Board means that the seller delivers when the goods pass the ship's rail at the named port of shipment. This means that the buyer has to bear all costs and risks of loss of or damage to the goods from that point. The &%FOB term requires the seller to clear the goods for export. This term can be used only for sea or inland waterway transport. If the parties do not intend to deliver the goods across the ship's rail, the &%FCA term should be used.") (instance CFR incoterms2000CodeTerm) (cctCodeContent CFR "CFR") (cctCodeNameText "Cost and Freight") (documentation CFR "

CFR (from the Incoterms 2000 spec preamble)

Cost and Freight (...named port of destination)

Cost and Freight means that the seller delivers when the goods pass the ship's rail in the port of shipment.

The seller must pay the costs and freight necessary to bring the goods to the named port of destination BUT the risk of loss of or damage to the goods, as well as any additional costs due to events occurring after time of delivery, are transferred from the seller to the buyer. The &%CFR term requires the seller to clear the goods for export. This term can be used only for sea and inland waterway transport. It the parties do not intend to deliver the goods across the ship's rail, the &%CPT term should be used.") (instance CIF incoterms2000CodeTerm) (cctCodeContent CIF "CIF") (cctCodeNameText CIF "Cost, Insurance and Freight") (documentation CIF "

CIF (from the Incoterms 2000 spec preamble)

Cost, Insurance, Freight (...named port of destination)

Cost, Insurance and Freight means that the seller delivers when the goods pass the ship's rail in the port of shipment. The seller must pay the costs and freight necessary to bring the goods to the named port of destination BUT the risk of loss of or damage to the goods, as well as any additional costs due to events occurring after the time of delivery, are transferred from the seller to the buyer. However, in &%CIF the seller also has to procure marine insurance against the buyer's risk of loss of or damage to the goods during the carriage.

Consequently, the seller contracts for insurance and pays the insurance premium. The buyer should note that under the &%CIF term the seller is required to obtain insurance only on minimums cover. Should the buyer wish to have the protection of greater cover, he would either need to agree as much expressly with the seller or to make his own extra insurance arrangements. The &%CIF term requires the seller to clear the goods for export.") (instance CPT incoterms2000CodeTerm) (cctCodeContent CPT "CPT") (cctCodeNameText CPT "Carriag Paid To") (documentation CPT "

CPT (from the Incoterms 2000 spec preamble)

CARRIAGE PAID TO (...named place of destination)

Carriage paid to... means that the seller delivers the goods to the carrier nominated by him but the seller must in addition pay the cost of carriage necessary to bring the goods to the named destination. This means that the buyer bears all risks and any other cost occurring after the goods have been so delivered.

&%Carrier means any person who, in a contract of carriage, undertakes to perform or to procure the performance of transport, by rail, road, air, sea, inland waterway or by a combination of such modes.

If subsequent carriers are used for the carriage to the agreed destination, the risk passes when the goods have been delivered to the first carrier.

The &%CPT term requires the seller to clear the goods for export. This term may be used irrespective of the mode of transport including multimodal transport.") (instance CIP incoterms2000CodeTerm) (cctCodeContent CIP "CIP") (cctCodeNameText CIP "Carriage and Insurance Paid To") (documentation CIP "

CIP (from the Incoterms 2000 spec preamble)

CARRIAGE AND INSURANCE PAID TO (...named place of destination)

Carriage and Insurance paid to... means that the seller delivers the goods to the carrier nominated by him but the seller must in addition pay the cost of carriage necessary to bring the goods to the named destination. This means that the buyer bears all risks and any additional cost occurring after the goods have been delivered. However, in &%CIP the seller also has to procure insurance against the buyer's risk of loss of or damage to the goods during the carriage.

Consequently, the seller contracts for insurance and pays the insurance premium. The buyer should note that under the &%CIP term the seller is required to obtain insurance only on minimum cover. Should the buyer wish to have the protection of greater cover, he would either agree to as much expressly with the seller or to make his own extra insurance arrangements. &%Carrier means any person who, in a contract of carriage, undertakes to perform or to procure the performance of transport, by rail, road, air, sea inland waterway or by a combination of such modes.

If subsequent carriers are used for the carriage to the agreed destination, the risk passes when the goods have been delivered to the first carrier.

The &%CIP term requires the seller to clear the goods for export.

This term may be used irrespective of the mode of transport including multimodal transport.") (instance DAF incoterms2000CodeTerm) (cctCodeContent DAF "DAF") (cctCodeNameText DAF "Delivered At Frontier") (documentation DAF "

DAF (from the Incoterms 2000 spec preamble)

DELIVERED AT FRONTIER (...named place)

Delivered at Frontier means that the seller delivers when the goods are placed at the disposal of the buyer on the arriving means of transport not unloaded, cleared for export, but not cleared for import at the named point and place at the frontier, but before the customs border of the adjoining country. The term frontier may be used for any frontier including that of the country of export. Therefore, it is of vital importance that the frontier in question be defined precisely by always naming the point and place in the term.

However, if the parties wish the seller to be responsible for the unloading of the goods from the arriving means of transport and to bear the risk and costs of unloading, this should be made clear by adding explicit wording to this effect in the contract of sale. This term may be used irrespective of the mode of transport when goods are to be delivered at a land frontier. When delivery is to take place in the port of destination, on board a vessel or on the quay (wharf), the &%DES or &%DEQ term should be used.") (instance DES incoterms2000CodeTerm) (cctCodeContent DES "DES") (cctCodeNameText DES "Delivered Ex Ship") (documentation DES "

DES (from the Incoterms 2000 spec preamble)

DELIVERED EX SHIP (...named port of destination)

Delivered Ex Ship means that the seller delivers when the goods are placed at the disposal of the buyer on board the ship not cleared for import at the named port of destination. The seller has to bear all the costs and risks involved in bringing the goods to the named port of destination before discharging. IF the parties wish the seller to bear the costs and risk of discharging the goods, then the &%DEQ term should be used.

This term can be used only when the goods are to be delivered by sea or inland waterway or multimodal transport on a vessel in the port destination.") (instance DEQ incoterms2000CodeTerm) (cctCodeContent DEQ "DEQ") (cctCodeNameText DEQ "Delivered Ex Quay") (documentation DEQ "

DEQ (from the Incoterms 2000 spec preamble)

DELIVERED EX QUAY (...named port of destination)

Delivered Ex Quay means that the seller delivers when the goods are placed at the disposal of the buyer not cleared for import on the quay (wharf) at the named port of destination. The seller has to bear the costs and risks involved in bringing the goods to the named port of destination and discharging the goods on the quay (wharf). The &%DEQ term requires the buyer to clear the goods for import and to pay for all formalities, duties, taxes and other charges upon import.

THIS IS A REVERSAL FROM PREVIOUS INCOTERMS VERSIONS WHICH REQUIRED THE SELLER TO ARRANGE FOR IMPORT CLEARANCE.

If the parties wish to include in the seller's obligation all or part of the costs payable upon import of the goods, this should be made clear by adding explicit wording to this effect in the contract of sale.

This term can only be used when the goods are to be delivered by sea or inland waterway or multimodal transport on discharging from a vessel onto the quay (wharf) in the port of destination. However if the parties wish to include in the seller's obligations the risks and costs of the handling of the goods from the quay to another place (warehouse, terminal, transport station etc.) in or outside the port, the &%DDU or &%DDP terms should be used.") (instance DDU incoterms2000CodeTerm) (cctCodeContent DDU "DDU") (cctCodeNameText DDU "Delivered Duty Unpaid") (documentation DDU "

DDU (from the Incoterms 2000 spec preamble)

Delivered Duty Unpaid (...named place of destination)

Delivered Duty Unpaid means that the seller delivers the goods to the buyer, not cleared for import, and not unloaded from any arriving means of transport at the named place of destination. The seller has to bear the costs and risks involved in bringing the goods thereto, other than, where applicable, any &%DUTY (which term includes the responsibility for and the risks of the carrying out of customs formalities, and the payment of formalities, customs duties, taxes and other charges) for import in the country of destination. Such &%DUTY has to be borne by the buyer as well as any costs and risks caused by his failure to clear the goods for import in time.

However, if the parties wish the seller to carry out customs formalities and bear the costs and risks resulting therefrom as well as some of the costs payable upon import of the goods, this should be made clear by adding explicit wording to this effect in the contract of sale.

This term may be used irrespective of the mode of transport but when delivery is to take place in the port of destination on board the vessel or on the quay (wharf), the &%DES or &%DEQ terms should be used.") (instance DDP incoterms2000CodeTerm) (cctCodeContent DDP "DDP") (cctCodeNameText DDP "Delivered Duty Paid") (documentation DDP "

DDP (from the Incoterms 2000 spec preamble)

DELIVERED DUTY PAID (...named place of destination)

Delivered Duty Paid means that the seller delivers the goods to the buyer, cleared for import, and not unloaded from any arriving means of transport at the named place of destination. The seller has to bear all the costs and risks involved in bringing the goods thereto including, where applicable, any &%DUTY (which term includes the responsibility for and the risks of the carrying out of customs formalities and the payment of formalities, customs duties, taxes and other charges) for import in the country of destination.

Whilst the &%EXW term represents the minimum obligation for the seller, &%DDP represents the maximum obligation.

This term should not be used if the seller is unable directly or indirectly to obtain the import license.

However, if the parties wish to exclude from the seller's obligations some of the costs payable upon import of the goods (such as value-added tax : VAT), this should be made clear by adding explicit working to this effect in the contract of sale.

If the parties wish the buyer to bear all risks and costs of the import, the &%DDU term should be used.

This term may be used irrespective of the mode of transport but when delivery is to take place in the port of destination on board the vessel or on the quay (wharf), the &%DES or &%DEQ terms should be used.") ;;; =========================================================== ;;; WIP ;;; =========================================================== (instance seller CaseRole) (domain 1 seller Selling) (domain 2 seller CommercialAgent) (documentation seller "(seller ?SELLING ?AGENT) means that ?AGENT participates in a Selling process.") (instance buyer CaseRole) (domain 1 buyer Buying) (domain 2 buyer Agent) (documentation buyer "(buyer ?BUYING ?AGENT) means that ?AGENT participates in a Buying process.") ;;; Similar to something in MILO, but now with buyer and seller ;;; See also Cooperation (=> (and (buyer ?Buying ?Buyer) (seller ?Selling ?Seller) (subProcess ?Buying ?Purchase) ; POD role in same ?Purchase would be better ??? (subProcess ?Selling ?Purchase) (patient ?Purchase ?Object) (monetaryValue ?Object ?Money)) (exists (?Payment) (and (subProcess ?Payment ?Purchase) (instance ?Payment Payment) (transactionAmount ?Payment ?Money) (destination ?Payment ?Seller) (origin ?Payment ?Buyer)))) ;;; See also &%employs, &%SocialRole (subclass Carrier TransportationCompany) ; POD See Transportation.kif -- iffy (partition Carrier CommonCarrier ContractCarrier) (documentation Carrier "&%Carrier means any person who, in a contract of carriage, undertakes to perform or to procure the performance of transport by rail, road, sea, inland waterway or by a combination of such modes. [&%INCOTERMS2000]") ; "If the buyer nominates a person other than a carrier to receive the goods, ; the seller is deemed to have fulfilled his obligation ; to deliver the goods when they are delivered to that person. " ;;;============================================= ;;; The following have not yet been implemented. (subclass Goods Object) (subclass Carriage Entity) ; or process ??? ;(subclass Place Region) (subclass PlaceOfDestination Region) (subclass PortOfShipment Region) (subclass PortOfDestination Region) ;SUMO(subclass Contract Entity) ;(subclass Licence Certificate) ; unnecessary? (subclass ImportLicence Certificate) ; see more on &%Obligation, &%Prohibition (subclass ExportLicence Certificate) (subclass SalesContract Contract) ; see &%realization (subclass ContractOfInsurance Contract) ; see &%subProposition when part of Sales Contract (subclass ContractOfCarriage Contract) (subclass Risk Entity) (subclass Costs Entity) (subclass Duty Entity) (subclass AllRelatingCosts Entity) (subclass AcrossRail Region) (subclass AtFrontier Region) (subclass AlongsideShip Region) (subclass NoticeToBuyer ContentBearingObject) (subclass NoticeToSeller ContentBearingObject) (subclass ProvisionOfGoods Process) (subclass PaymentOfPrice Process) (subclass TransferOfRisk Process) (subclass Inspection Process) (subclass Loading Process) (subclass Delivery ChangeOfPossession) ; (Delivery as acknowledgement...) ;(subrelation nominatesCarrier ?x ?y ?z) ; see &%Declaring ;(subrelation handsOverGoods ?x ?y ?z) ;(subrelation acceptsDelivery ?x ?y ?z) ; see &%Declaring ;;; See &%Transitway, &%Roadway ;;;======================================================================= ;;; Stuff imported from MILO and other places ;;;======================================================================= ;;; From MILO (subclass Exporting FinancialTransaction) (documentation Exporting "&%Exporting is the class of actions in which there is a &%ChangeOfPossession of goods shipped from a provider in one &%Nation to a destination in another &%Nation. Typically, there are &%Selling and &%Buying events associated with an &%Exporting. Either the seller or the exporting country may be considered the &%origin of &%Exporting.") (=> (instance ?EXPORT Exporting) (exists (?ITEM) (and (instance ?ITEM Object) (patient ?EXPORT ?ITEM)))) ;;; From MILO (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (origin ?EXPORT ?AREA)) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) ;;; From MILO (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) (holdsDuring (EndFn (WhenFn ?EXPORT)) (not (located ?ITEM ?AREA)))) ;;; From MILO (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) (exists (?AREA2) (and (instance ?AREA2 GeopoliticalArea) (not (geopoliticalSubdivision ?AREA1 ?AREA2)) (not (geopoliticalSubdivision ?AREA2 ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2))))) ;;; From MILO (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (destination ?EXPORT ?AREA)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) ;;; From MILO (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (instance ?AREA2 GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2))) (not (located ?AREA2 ?AREA1))) ;;; From MILO (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (origin ?EXPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?EXPORT ?AREA2)) (not (equal ?AREA1 ?AREA2))) ;;; From MILO (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (origin ?EXPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?EXPORT ?AREA2)) (not (located ?AREA2 ?AREA1))) ;; The following content is borrowed from the Financial Ontology. (subclass FinancialInstrument Certificate) (documentation FinancialInstrument "A document having monetary value or recording a monetary transaction") (subclass Currency FinancialInstrument) ; (partition Currency CurrencyBill CurrencyCoin) (documentation Currency "Any element of the official currrency of some &%Nation. This covers both &%CurrencyBills and &%CurrencyCoins.") (=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE))) (instance price TernaryPredicate) (domain price 1 Object) (domain price 2 CurrencyMeasure) (domain price 3 Agent) (documentation price "(&%price ?Obj ?Money ?Agent) means that ?Agent pays the amount of money ?Money for ?Obj.") (=> (price ?Obj ?Money ?Agent) (exists (?Buying) (and (instance ?Buying Buying) (agent ?Buying ?Agent) (patient ?Buying ?Obj) (transactionAmount ?Buying ?Money)))) (instance transactionAmount BinaryPredicate) (instance transactionAmount SingleValuedRelation) (instance transactionAmount TotalValuedRelation) (domain transactionAmount 1 FinancialTransaction) (domain transactionAmount 2 CurrencyMeasure) (documentation transactionAmount "(&%transactionAmount ?Transaction ?Amount) means that ?Amount is an instance of &%CurrencyMeasure being exhanged in a &%FinancialTransaction ?Transaction.") (=> (transactionAmount ?Transaction ?Amount) (exists (?Obj) (and (patient ?Transaction ?Obj) (monetaryValue ?Obj ?Amount)))) (instance agreementMember BinaryPredicate) (instance agreementMember TotalValuedRelation) (domain agreementMember 1 Contract) (domain agreementMember 2 CognitiveAgent) (documentation agreementMember "(&%agreementMember ?Agreement ?Agent) means that ?Agent is one of the participants of the &%Contract ?Agreement.") ;;; POD Probably doesn't fit. (subclass Payment FinancialTransaction) (documentation Payment "The partial or complete discharge of an obligation by its settlement in the form of the transfer of funds, assets, or services equal to the monetary value of part or all of the debtor's obligation.") (=> (and (instance ?Payment Payment) (origin ?Payment ?Account) (instance ?Account FinancialAccount) (transactionAmount ?Payment ?Amount) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Payment)) ?Balance1) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (WhenFn ?Payment)) ?Balance2))