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 2408-2413
(externalImage Exporting "http://upload.wikimedia.org/wikipedia/en/8/8c/ Top_20_Exporters_and_Importers_in_2006.gif") pictureList.kif 6000-6000
(subclass Exporting ChangeOfPossession) Economy.kif 2405-2405
(subclass Exporting FinancialTransaction) Economy.kif 2406-2406

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


(termFormat ChineseLanguage Exporting "出口") domainEnglishFormat.kif 22887-22887
(termFormat ChineseTraditionalLanguage Exporting "出口") domainEnglishFormat.kif 22886-22886
(termFormat EnglishLanguage Exporting "exporting") domainEnglishFormat.kif 22885-22885

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


(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (destination ?EXPORT ?AREA))
    (holdsDuring
        (EndFn
            (WhenFn ?EXPORT))
        (located ?ITEM ?AREA)))
Economy.kif 2457-2464
(=>
    (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)))))
Economy.kif 2442-2455
(=>
    (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 2431-2440
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (origin ?EXPORT ?AREA))
    (holdsDuring
        (BeginFn
            (WhenFn ?EXPORT))
        (located ?ITEM ?AREA)))
Economy.kif 2422-2429
(=>
    (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 2466-2476
(=>
    (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 2478-2486
(=>
    (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 2488-2496
(=>
    (instance ?EXPORT Exporting)
    (exists (?ITEM)
        (and
            (instance ?ITEM Object)
            (patient ?EXPORT ?ITEM))))
Economy.kif 2415-2420

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


(=>
    (exportCommodityType ?AGENT ?TYPE)
    (exists (?EXPORT ?OBJECT)
        (and
            (instance ?EXPORT Exporting)
            (agent ?EXPORT ?AGENT)
            (instance ?OBJECT ?TYPE)
            (patient ?EXPORT ?OBJECT))))
Economy.kif 2323-2330
(=>
    (exportCommodityType ?AREA ?TYPE)
    (exists (?TRANSFER ?OBJECT)
        (and
            (instance ?TRANSFER Exporting)
            (agent ?TRANSFER ?AREA)
            (patient ?TRANSFER ?OBJECT)
            (instance ?OBJECT ?TYPE))))
Economy.kif 2346-2353
(=>
    (exportPartner ?AGENT1 ?AGENT2)
    (exists (?EXPORT)
        (and
            (instance ?EXPORT Exporting)
            (origin ?EXPORT ?AGENT1)
            (destination ?EXPORT ?AGENT2))))
Economy.kif 2390-2396
(=>
    (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 2370-2378
(=>
    (importPartner ?AGENT1 ?AGENT2)
    (exists (?EXPORT)
        (and
            (instance ?EXPORT Exporting)
            (origin ?EXPORT ?AGENT2)
            (destination ?EXPORT ?AGENT1))))
Economy.kif 2676-2682
(=>
    (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME ?EXPORT)
        (and
            (instance ?TIME ?PERIOD)
            (instance ?EXPORT Exporting)
            (overlapsTemporally ?TIME ?EXPORT)
            (origin ?EXPORT ?AGENT2)
            (destination ?EXPORT ?AGENT1))))
Economy.kif 2657-2665


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