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

Formal Language: 



KB Term:  Term intersection
English Word: 

  economyType

 Sigma KEE - economyType
economyType

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


(documentation economyType EnglishLanguage "(economyType ?POLITY ?TYPE) means that the GeopoliticalArea ?POLITY has an economic system of TYPE.") Economy.kif 88-89
(domain economyType 1 AutonomousAgent) Economy.kif 81-81 域 經濟類型, 1 and AutonomousAgent
(domain economyType 2 EconomicAttribute) Economy.kif 85-85 域 經濟類型, 2 and 經濟屬性
(instance economyType BinaryPredicate) Economy.kif 80-80 例 經濟類型 and BinaryPredicate
(subrelation economyType attribute) Economy.kif 86-86 子關係 經濟類型 and attribute

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


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

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


(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (economyType ?AGENT ?ATTRIBUTE)
    (or
        (instance ?AGENT GeopoliticalArea)
        (instance ?AGENT Organization)))		 Economy.kif 91-95

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


(=>
    (and
        (attribute ?AREA CommunistState)
        (instance ?AREA Nation))
    (economyType ?AREA CentrallyPlannedEconomy))		 Economy.kif 865-869
(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))		 Economy.kif 506-510
(=>
    (attribute ?AREA FormerSovietOrEasternEuropeanCountry)
    (economyType ?AREA CountryInTransition))		 Economy.kif 189-191
(=>
    (attribute ?AREA FourDragonsEconomy)
    (economyType ?AREA AdvancedEconomy))		 Economy.kif 388-390
(=>
    (attribute ?AREA FourDragonsEconomy)
    (economyType ?AREA LessDevelopedCountry))		 Economy.kif 384-386
(=>
    (attribute ?AREA LowIncomeCountry)
    (economyType ?AREA LeastDevelopedCountry))		 Economy.kif 432-434
(=>
    (attribute ?AREA MajorIndustrialEconomy)
    (economyType ?AREA AdvancedEconomy))		 Economy.kif 747-749
(=>
    (attribute ?AREA MajorIndustrialEconomy)
    (economyType ?AREA DevelopedCountry))		 Economy.kif 743-745
(=>
    (attribute ?AREA PrivatizingEconomy)
    (economyType ?AREA CountryInTransition))		 Economy.kif 879-881

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


(economyType Afghanistan DevelopingCountry) Economy.kif 615-615 發展中國家 是 阿富汗 的 economy 類別
(economyType Afghanistan LessDevelopedCountry) Economy.kif 231-231 較未發達國家 是 阿富汗 的 economy 類別
(economyType Albania CountryInTransition) Economy.kif 574-574 轉型國家 是 阿爾巴尼亞 的 economy 類別
(economyType Algeria DevelopingCountry) Economy.kif 616-616 發展中國家 是 阿爾及利亞 的 economy 類別
(economyType Algeria LessDevelopedCountry) Economy.kif 232-232 較未發達國家 是 阿爾及利亞 的 economy 類別
(economyType Andorra DevelopedCountry) Economy.kif 146-146 發達國家 是 安道爾 的 economy 類別
(economyType Angola DevelopingCountry) Economy.kif 617-617 發展中國家 是 安哥拉 的 economy 類別
(economyType Angola LessDevelopedCountry) Economy.kif 233-233 較未發達國家 是 安哥拉 的 economy 類別
(economyType AntiguaAndBarbuda DevelopingCountry) Economy.kif 618-618 發展中國家 是 安提瓜和巴布達 的 economy 類別
(economyType AntiguaAndBarbuda LessDevelopedCountry) Economy.kif 234-234 較未發達國家 是 安提瓜和巴布達 的 economy 類別
(economyType Argentina DevelopingCountry) Economy.kif 619-619 發展中國家 是 阿根廷 的 economy 類別
(economyType Argentina LessDevelopedCountry) Economy.kif 235-235 較未發達國家 是 阿根廷 的 economy 類別
(economyType Armenia CountryInTransition) Economy.kif 575-575 轉型國家 是 亞美尼亞 的 economy 類別
(economyType Aruba DevelopingCountry) Economy.kif 620-620 發展中國家 是 阿魯巴 的 economy 類別
(economyType Aruba LessDevelopedCountry) Economy.kif 236-236 較未發達國家 是 阿魯巴 的 economy 類別
(economyType Australia AdvancedEconomy) Economy.kif 535-535 發達經濟 是 澳大利亞 的 economy 類別
(economyType Australia DevelopedCountry) Economy.kif 147-147 發達國家 是 澳大利亞 的 economy 類別
(economyType Austria AdvancedEconomy) Economy.kif 536-536 發達經濟 是 奧地利 的 economy 類別
(economyType Austria DevelopedCountry) Economy.kif 148-148 發達國家 是 奧地利 的 economy 類別
(economyType Azerbaijan CountryInTransition) Economy.kif 576-576 轉型國家 是 阿塞拜疆 的 economy 類別
(economyType Bahrain DevelopingCountry) Economy.kif 622-622 發展中國家 是 巴林 的 economy 類別
(economyType Bahrain LessDevelopedCountry) Economy.kif 238-238 較未發達國家 是 巴林 的 economy 類別
(economyType Bangladesh DevelopingCountry) Economy.kif 623-623 發展中國家 是 孟加拉國 的 economy 類別
(economyType Bangladesh LessDevelopedCountry) Economy.kif 239-239 較未發達國家 是 孟加拉國 的 economy 類別
(economyType Barbados DevelopingCountry) Economy.kif 624-624 發展中國家 是 巴巴多斯 的 economy 類別

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 is open source software produced by Articulate Software and its partners