CentralSiouanLanguage
|
|
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 2398-2403 | |
(externalImage Exporting "http://upload.wikimedia.org/wikipedia/en/8/8c/ Top_20_Exporters_and_Importers_in_2006.gif") | pictureList.kif 5999-5999 | |
(subclass Exporting ChangeOfPossession) | Economy.kif 2394-2394 | Exporting est une sous-classe de changement de possession |
(subclass Exporting FinancialTransaction) | Economy.kif 2396-2396 | Exporting est une sous-classe de financial transaction |
(subclass Exporting OrganizationalProcess) | Economy.kif 2395-2395 | Exporting est une sous-classe de processus organisationnel |
appearance as argument number 2 |
(termFormat ChineseLanguage Exporting "出口") | domainEnglishFormat.kif 22894-22894 | |
(termFormat ChineseTraditionalLanguage Exporting "出口") | domainEnglishFormat.kif 22893-22893 | |
(termFormat EnglishLanguage Exporting "exporting") | domainEnglishFormat.kif 22892-22892 |
antecedent |
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (destination ?EXPORT ?AREA)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) |
Economy.kif 2447-2454 | |
(=> (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 2421-2430 | |
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (origin ?EXPORT ?AREA)) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) |
Economy.kif 2412-2419 | |
(=> (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 2432-2445 |
|
(=> (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 2456-2466 |
|
(=> (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 2468-2476 | |
(=> (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 2478-2486 | |
(=> (instance ?EXPORT Exporting) (exists (?ITEM) (and (instance ?ITEM Object) (patient ?EXPORT ?ITEM)))) |
Economy.kif 2405-2410 |
consequent |