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


KB Term:  Term intersection
English Word: 

  Krypton

 Sigma KEE - Importing
Importing(importing)

appearance as argument number 1
-------------------------


(subclass Importing ChangeOfPossession) Economy.kif 2796-2796 Importing is a subclass of change of possession
(subclass Importing OrganizationalProcess) Economy.kif 2797-2797 Importing is a subclass of organizational process
(subclass Importing FinancialTransaction) Economy.kif 2798-2798 Importing is a subclass of financial transaction
(documentation Importing EnglishLanguage "Importing is the class of actions in which there is a ChangeOfPossession of goods shipped from a another Nation into a destination Nation. Typically, there are Selling and Buying events associated with an Importing. Either the seller or the importing country may be considered the destination of Importing. See also Exporting") Economy.kif 2799-2803 Importing is a subclass of financial transaction

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


(termFormat EnglishLanguage Importing "importing") Economy.kif 2804-2804

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


(=>
    (instance ?IMPORT Importing)
    (exists (?ITEM)
        (and
            (instance ?ITEM Object)
            (patient ?IMPORT ?ITEM))))		 Economy.kif 2806-2811 If X is an instance of importing, then there exists Y such that Y is an instance of object and Y is a patient of X
(=>
    (and
        (instance ?IMPORT Importing)
        (patient ?IMPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?IMPORT))
            (not
                (located ?ITEM ?AREA))))
    (holdsDuring
        (EndFn
            (WhenFn ?IMPORT))
        (located ?ITEM ?AREA)))		 Economy.kif 2813-2826 If X is an instance of importing, Y is a patient of X, Z is an instance of geopolitical area, and Y is not located at Z holds during the beginning of the time of existence of X, then Y is located at Z holds during the end of the time of existence of X
(=>
    (and
        (instance ?IMPORT Importing)
        (patient ?IMPORT ?ITEM)
        (instance ?AREA1 GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?IMPORT))
            (located ?ITEM ?AREA1)))
    (exists (?AREA2)
        (and
            (instance ?AREA2 GeopoliticalArea)
            (not
                (geopoliticalSubdivision ?AREA1 ?AREA2))
            (not
                (geopoliticalSubdivision ?AREA2 ?AREA1))
            (holdsDuring
                (EndFn
                    (WhenFn ?IMPORT))
                (located ?ITEM ?AREA2)))))		 Economy.kif 2827-2846 If X is an instance of importing, 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 ?IMPORT Importing)
        (patient ?IMPORT ?ITEM)
        (instance ?AREA GeopoliticalArea)
        (destination ?IMPORT ?AREA))
    (holdsDuring
        (EndFn
            (WhenFn ?IMPORT))
        (located ?ITEM ?AREA)))		 Economy.kif 2847-2856 If X is an instance of importing, 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 ?IMPORT Importing)
        (patient ?IMPORT ?ITEM)
        (instance ?AREA1 GeopoliticalArea)
        (instance ?AREA2 GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?IMPORT))
            (located ?ITEM ?AREA1))
        (holdsDuring
            (EndFn
                (WhenFn ?IMPORT))
            (located ?ITEM ?AREA2)))
    (not
        (located ?AREA2 ?AREA1)))		 Economy.kif 2857-2872 If All of the following hold: (1) X is an instance of importing (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 ?IMPORT Importing)
        (instance ?AREA1 GeopoliticalArea)
        (origin ?IMPORT ?AREA1)
        (instance ?AREA2 GeopoliticalArea)
        (destination ?IMPORT ?AREA2))
    (not
        (equal ?AREA1 ?AREA2)))		 Economy.kif 2873-2881 If X is an instance of importing, Y is an instance of geopolitical area, X originates at Y, Z is an instance of geopolitical area, and X ends up at Z, then equal Y and Z
(=>
    (and
        (instance ?IMPORT Importing)
        (instance ?AREA1 GeopoliticalArea)
        (origin ?IMPORT ?AREA1)
        (instance ?AREA2 GeopoliticalArea)
        (destination ?IMPORT ?AREA2))
    (not
        (located ?AREA2 ?AREA1)))		 Economy.kif 2882-2890 If X is an instance of importing, Y is an instance of geopolitical area, X originates at Y, Z is an instance of geopolitical area, and X ends up at Z, then Z is not located at Y


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners