Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Exporting
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 2513-2518
(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 2509-2509
(subclass Exporting FinancialTransaction) Economy.kif 2511-2511
(subclass Exporting OrganizationalProcess) Economy.kif 2510-2510

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Exporting "出口") domainEnglishFormat.kif 22909-22909
(termFormat ChineseTraditionalLanguage Exporting "出口") domainEnglishFormat.kif 22908-22908
(termFormat EnglishLanguage Exporting "exporting") domainEnglishFormat.kif 22907-22907

antecedent
-------------------------


(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (destination ?EXPORT ?AREA))
    (holdsDuring
        (EndFn
            (WhenFn ?EXPORT))
        (located ?ITEM ?AREA)))		 Economy.kif 2562-2569
(=>
    (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 2536-2545
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (origin ?EXPORT ?AREA))
    (holdsDuring
        (BeginFn
            (WhenFn ?EXPORT))
        (located ?ITEM ?AREA)))		 Economy.kif 2527-2534
(=>
    (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 2547-2560
(=>
    (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 2571-2581
(=>
    (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 2583-2591
(=>
    (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 2593-2601
(=>
    (instance ?EXPORT Exporting)
    (exists (?ITEM)
        (and
            (instance ?ITEM Object)
            (patient ?EXPORT ?ITEM))))		 Economy.kif 2520-2525

consequent
-------------------------


(=>
    (exportCommodityType ?AGENT ?TYPE)
    (exists (?EXPORT ?OBJECT)
        (and
            (instance ?EXPORT Exporting)
            (agent ?EXPORT ?AGENT)
            (instance ?OBJECT ?TYPE)
            (patient ?EXPORT ?OBJECT))))		 Economy.kif 2427-2434
(=>
    (exportCommodityType ?AREA ?TYPE)
    (exists (?TRANSFER ?OBJECT)
        (and
            (instance ?TRANSFER Exporting)
            (agent ?TRANSFER ?AREA)
            (patient ?TRANSFER ?OBJECT)
            (instance ?OBJECT ?TYPE))))		 Economy.kif 2450-2457
(=>
    (exportPartner ?AGENT1 ?AGENT2)
    (exists (?EXPORT)
        (and
            (instance ?EXPORT Exporting)
            (origin ?EXPORT ?AGENT1)
            (destination ?EXPORT ?AGENT2))))		 Economy.kif 2494-2500
(=>
    (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 2474-2482
(=>
    (importPartner ?AGENT1 ?AGENT2)
    (exists (?EXPORT)
        (and
            (instance ?EXPORT Exporting)
            (origin ?EXPORT ?AGENT2)
            (destination ?EXPORT ?AGENT1))))		 Economy.kif 2781-2787
(=>
    (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 2762-2770


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners