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

KB Term:  Term intersection
English Word: 

Sigma KEE - economyType
economyType

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


(instance economyType BinaryPredicate) Economy.kif 80-80 economy type is an instance of binary predicate
(domain economyType 1 AutonomousAgent) Economy.kif 81-81 The number 1 argument of economy type is an instance of agent
(domain economyType 2 EconomicAttribute) Economy.kif 85-85 The number 2 argument of economy type is an instance of economic attribute
(subrelation economyType attribute) Economy.kif 86-86 economy type is a subrelation of attribute
(documentation economyType EnglishLanguage "(economyType ?POLITY ?TYPE) means that the GeopoliticalArea ?POLITY has an economic system of TYPE.") Economy.kif 88-89 economy type is a subrelation of attribute

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


(format EnglishLanguage economyType "%2 is %n an economy type of %1") domainEnglishFormat.kif 826-826
(format ChineseTraditionalLanguage economyType "%2 %n 是 %1 的 economy 類別") domainEnglishFormat.kif 827-827
(format ChineseLanguage economyType "%2 %n 是 %1 的 economy 类别") domainEnglishFormat.kif 828-828
(termFormat EnglishLanguage economyType "economy type") domainEnglishFormat.kif 21204-21204
(termFormat ChineseTraditionalLanguage economyType "經濟類型") domainEnglishFormat.kif 21205-21205
(termFormat ChineseLanguage economyType "经济类型") domainEnglishFormat.kif 21206-21206

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


(=>
    (economyType ?AGENT ?ATTRIBUTE)
    (or
        (instance ?AGENT GeopoliticalArea)
        (instance ?AGENT Organization)))		 Economy.kif 91-95 If X is an economy type of Y, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (lessThan ?AMOUNT 756.0))))		 Economy.kif 440-447 If X is an instance of timeframe and low income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is less than 756.0
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (greaterThanOrEqualTo ?AMOUNT 756.0))))		 Economy.kif 456-463 If X is an instance of timeframe and lower middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is greater than or equal to 756.0
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (lessThan ?AMOUNT 2996.0))))		 Economy.kif 465-472 If X is an instance of timeframe and lower middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is less than 2996.0
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (greaterThanOrEqualTo ?AMOUNT 2996.0))))		 Economy.kif 481-488 If X is an instance of timeframe and upper middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is greater than or equal to 2996.0
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (exists (?AMOUNT)
        (and
            (perCapitaGDPInPeriod ?AREA
                (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
            (lessThan ?AMOUNT 9267.0))))		 Economy.kif 490-497 If X is an instance of timeframe and upper middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is less than 9267.0

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


(=>
    (attribute ?AREA FormerSovietOrEasternEuropeanCountry)
    (economyType ?AREA CountryInTransition))		 Economy.kif 189-191 If former soviet or eastern european country is an attribute of X, then country in transition is an economy type of X
(=>
    (attribute ?AREA FourDragonsEconomy)
    (economyType ?AREA LessDevelopedCountry))		 Economy.kif 384-386 If four dragons economy is an attribute of X, then less developed country is an economy type of X
(=>
    (attribute ?AREA FourDragonsEconomy)
    (economyType ?AREA AdvancedEconomy))		 Economy.kif 388-390 If four dragons economy is an attribute of X, then advanced economy is an economy type of X
(=>
    (attribute ?AREA LowIncomeCountry)
    (economyType ?AREA LeastDevelopedCountry))		 Economy.kif 432-434 If low income country is an attribute of X, then least developed country is an economy type of X
(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))		 Economy.kif 506-510 If high income country is an attribute of X and X is not a member of organization of petroleum exporting countries, then developed country is an economy type of X
(=>
    (attribute ?AREA MajorIndustrialEconomy)
    (economyType ?AREA DevelopedCountry))		 Economy.kif 743-745 If major industrial economy is an attribute of X, then developed country is an economy type of X
(=>
    (attribute ?AREA MajorIndustrialEconomy)
    (economyType ?AREA AdvancedEconomy))		 Economy.kif 747-749 If major industrial economy is an attribute of X, then advanced economy is an economy type of X
(=>
    (and
        (attribute ?AREA CommunistState)
        (instance ?AREA Nation))
    (economyType ?AREA CentrallyPlannedEconomy))		 Economy.kif 865-869 If communist state is an attribute of X and X is an instance of nation, then centrally planned economy is an economy type of X
(=>
    (attribute ?AREA PrivatizingEconomy)
    (economyType ?AREA CountryInTransition))		 Economy.kif 931-933 If privatizing economy is an attribute of X, then country in transition is an economy type of X

appearance as argument number 0
-------------------------


(economyType Andorra DevelopedCountry) Economy.kif 146-146 Developed country is an economy type of andorra
(economyType Australia DevelopedCountry) Economy.kif 147-147 Developed country is an economy type of australia
(economyType Austria DevelopedCountry) Economy.kif 148-148 Developed country is an economy type of austria
(economyType Belgium DevelopedCountry) Economy.kif 149-149 Developed country is an economy type of belgium
(economyType Bermuda DevelopedCountry) Economy.kif 150-150 Developed country is an economy type of bermuda
(economyType Canada DevelopedCountry) Economy.kif 151-151 Developed country is an economy type of canada
(economyType Denmark DevelopedCountry) Economy.kif 152-152 Developed country is an economy type of denmark
(economyType FaroeIslands DevelopedCountry) Economy.kif 153-153 Developed country is an economy type of faroe islands
(economyType Finland DevelopedCountry) Economy.kif 154-154 Developed country is an economy type of finland
(economyType France DevelopedCountry) Economy.kif 155-155 Developed country is an economy type of france
(economyType Germany DevelopedCountry) Economy.kif 156-156 Developed country is an economy type of germany
(economyType Greece DevelopedCountry) Economy.kif 157-157 Developed country is an economy type of greece
(economyType HolySee DevelopedCountry) Economy.kif 158-158 Developed country is an economy type of holy see
(economyType Iceland DevelopedCountry) Economy.kif 159-159 Developed country is an economy type of iceland
(economyType Ireland DevelopedCountry) Economy.kif 160-160 Developed country is an economy type of ireland
(economyType Israel DevelopedCountry) Economy.kif 161-161 Developed country is an economy type of israel
(economyType Italy DevelopedCountry) Economy.kif 162-162 Developed country is an economy type of italy
(economyType Japan DevelopedCountry) Economy.kif 163-163 Developed country is an economy type of japan
(economyType Liechtenstein DevelopedCountry) Economy.kif 164-164 Developed country is an economy type of liechtenstein
(economyType Luxembourg DevelopedCountry) Economy.kif 165-165 Developed country is an economy type of luxembourg
(economyType Malta DevelopedCountry) Economy.kif 166-166 Developed country is an economy type of malta
(economyType Mexico DevelopedCountry) Economy.kif 167-167 Developed country is an economy type of mexico
(economyType Monaco DevelopedCountry) Economy.kif 168-168 Developed country is an economy type of monaco
(economyType Netherlands DevelopedCountry) Economy.kif 169-169 Developed country is an economy type of netherlands
(economyType NewZealand DevelopedCountry) Economy.kif 170-170 Developed country is an economy type of new zealand

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners