| Exporting(exporting)
| | export |
| appearance as argument number 1 |
|
|
| (subclass Exporting ChangeOfPossession) | Economy.kif 2629-2629 | Exporting is a subclass of change of possession |
| (subclass Exporting OrganizationalProcess) | Economy.kif 2630-2630 | Exporting is a subclass of organizational process |
| (subclass Exporting FinancialTransaction) | Economy.kif 2631-2631 | Exporting is a subclass of financial transaction |
| (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 2633-2638 | Exporting is a subclass of financial transaction |
| (externalImage Exporting "http://upload.wikimedia.org/wikipedia/en/8/8c/ Top_20_Exporters_and_Importers_in_2006.gif") | pictureList.kif 5998-5998 | Exporting is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?EXPORT Exporting) (exists (?ITEM) (and (instance ?ITEM Object) (patient ?EXPORT ?ITEM)))) |
Economy.kif 2640-2645 | If X is an instance of exporting, then there exists Y such that Y is an instance of object and Y is a patient of X |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (origin ?EXPORT ?AREA)) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) |
Economy.kif 2647-2654 | If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and X originates at Z, then Y is located at Z holds during the beginning of the time of existence of X |
| (=> (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 2656-2665 | If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and Y is located at Z holds during the beginning of the time of existence of X, then Y is not located at Z holds during the end of the time of existence of X |
| (=> (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 2667-2680 | If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and Y is located at Z holds during the beginning of the time of existence of X, then there exists W such that W is an instance of geopolitical area, Z is not a geopolitical part of W, W is not a geopolitical part of Z, and Y is located at W holds during the end of the time of existence of X |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (destination ?EXPORT ?AREA)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) |
Economy.kif 2682-2689 | If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and X ends up at Z, then Y is located at Z holds during the end of the time of existence of X |
| (=> (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 2691-2701 | If All of the following hold: (1) X is an instance of exporting (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) W is an instance of geopolitical area (5) Y is located at Z holds during the beginning of the time of existence of X (6) Y is located at W holds during the end of the time of existence of X, then W is not located at Z |
| (=> (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 2703-2711 | If All of the following hold: (1) X is an instance of exporting (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) X originates at Z (5) W is an instance of geopolitical area (6) X ends up at W, then equal Z and W |
| (=> (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 2713-2721 | If All of the following hold: (1) X is an instance of exporting (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) X originates at Z (5) W is an instance of geopolitical area (6) X ends up at W, then W is not located at Z |
| consequent |
|
|
| (=> (exportCommodityType ?AGENT ?TYPE) (exists (?EXPORT ?OBJECT) (and (instance ?EXPORT Exporting) (agent ?EXPORT ?AGENT) (instance ?OBJECT ?TYPE) (patient ?EXPORT ?OBJECT)))) |
Economy.kif 2547-2554 | If X is an export commodity type of Y, then there exist Z, W such that Z is an instance of exporting, Y is an agent of Z, W is an instance of X, and W is a patient of Z |
| (=> (exportCommodityType ?AREA ?TYPE) (exists (?TRANSFER ?OBJECT) (and (instance ?TRANSFER Exporting) (agent ?TRANSFER ?AREA) (patient ?TRANSFER ?OBJECT) (instance ?OBJECT ?TYPE)))) |
Economy.kif 2570-2577 | If X is an export commodity type of Y, then there exist Z, W such that Z is an instance of exporting, Y is an agent of Z, W is a patient of Z, and W is an instance of X |
| (=> (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME ?EXPORT) (and (instance ?TIME ?PERIOD) (instance ?EXPORT Exporting) (overlapsTemporally ?TIME (WhenFn ?EXPORT)) (origin ?EXPORT ?AGENT1) (destination ?EXPORT ?AGENT2)))) |
Economy.kif 2594-2602 | If X export partner in period Y for Z, then there exist W, V such that W is an instance of Z, V is an instance of exporting, the time of existence of V overlaps W, V originates at X, and V ends up at Y |
| (=> (exportPartner ?AGENT1 ?AGENT2) (exists (?EXPORT) (and (instance ?EXPORT Exporting) (origin ?EXPORT ?AGENT1) (destination ?EXPORT ?AGENT2)))) |
Economy.kif 2614-2620 | If X is an export partner of Y, then there exists Z such that Z is an instance of exporting, Z originates at Y, and Z ends up at X |
| (=> (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME ?EXPORT) (and (instance ?TIME ?PERIOD) (instance ?EXPORT Exporting) (overlapsTemporally ?TIME (WhenFn ?EXPORT)) (origin ?EXPORT ?AGENT2) (destination ?EXPORT ?AGENT1)))) |
Economy.kif 2979-2987 | If X import partner in period Y for Z, then there exist W, V such that W is an instance of Z, V is an instance of exporting, the time of existence of V overlaps W, V originates at Y, and V ends up at X |
| (=> (importPartner ?AGENT1 ?AGENT2) (exists (?EXPORT) (and (instance ?EXPORT Exporting) (origin ?EXPORT ?AGENT2) (destination ?EXPORT ?AGENT1)))) |
Economy.kif 2998-3004 | If X is an import partner of Y, then there exists Z such that Z is an instance of exporting, Z originates at X, and Z ends up at Y |
|
|
|