Exporting![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Exporting EnglishLanguage "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.") | Economy.kif 2638-2643 | |
(externalImage Exporting "http://upload.wikimedia.org/wikipedia/en/8/8c/ Top_20_Exporters_and_Importers_in_2006.gif") | pictureList.kif 5998-5998 | |
(subclass Exporting ChangeOfPossession) | Economy.kif 2634-2634 | Exporting est une sous-classe de changement de possession |
(subclass Exporting FinancialTransaction) | Economy.kif 2636-2636 | Exporting est une sous-classe de financial transaction |
(subclass Exporting OrganizationalProcess) | Economy.kif 2635-2635 | Exporting est une sous-classe de processus organisationnel |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Exporting "出口") | domainEnglishFormat.kif 22897-22897 | |
(termFormat ChineseTraditionalLanguage Exporting "出口") | domainEnglishFormat.kif 22896-22896 | |
(termFormat EnglishLanguage Exporting "exporting") | domainEnglishFormat.kif 22895-22895 |
antecedent |
![]() |
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (destination ?EXPORT ?AREA)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) |
Economy.kif 2687-2694 | |
(=> (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)))) |
Economy.kif 2661-2670 | |
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (origin ?EXPORT ?AREA)) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) |
Economy.kif 2652-2659 | |
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA1))) (exists (?AREA2) (and (instance ?AREA2 GeopoliticalArea) (not (geopoliticalSubdivision ?AREA1 ?AREA2)) (not (geopoliticalSubdivision ?AREA2 ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2))))) |
Economy.kif 2672-2685 |
|
(=> (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))) |
Economy.kif 2696-2706 |
|
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (origin ?EXPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?EXPORT ?AREA2)) (not (equal ?AREA1 ?AREA2))) |
Economy.kif 2708-2716 | |
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (origin ?EXPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?EXPORT ?AREA2)) (not (located ?AREA2 ?AREA1))) |
Economy.kif 2718-2726 | |
(=> (instance ?EXPORT Exporting) (exists (?ITEM) (and (instance ?ITEM Object) (patient ?EXPORT ?ITEM)))) |
Economy.kif 2645-2650 |
consequent |
![]() |
![]() |
![]() |