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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Agent) Economy.kif 81-81 经济类型 的 1 数量 是 施事体instance
(domain economyType 2 EconomicAttribute) Economy.kif 85-85 经济类型 的 2 数量 是 经济属性instance
(instance economyType BinaryPredicate) Economy.kif 80-80 经济类型二元谓语instance
(subrelation economyType attribute) Economy.kif 86-86 经济类型属于subrelation

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 21195-21195
(termFormat ChineseTraditionalLanguage economyType "經濟類型") domainEnglishFormat.kif 21194-21194
(termFormat EnglishLanguage economyType "economy type") domainEnglishFormat.kif 21193-21193

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


(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (lessThan ?AMOUNT 756.0)))
Economy.kif 440-446
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (greaterThanOrEqualTo ?AMOUNT 756.0)))
Economy.kif 455-461
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (lessThan ?AMOUNT 2996.0)))
Economy.kif 463-469
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (greaterThanOrEqualTo ?AMOUNT 2996.0)))
Economy.kif 478-484
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (lessThan ?AMOUNT 9267.0)))
Economy.kif 486-492
(=>
    (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 860-864
(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))
Economy.kif 501-505
(=>
    (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 742-744
(=>
    (attribute ?AREA MajorIndustrialEconomy)
    (economyType ?AREA DevelopedCountry))
Economy.kif 738-740
(=>
    (attribute ?AREA PrivatizingEconomy)
    (economyType ?AREA CountryInTransition))
Economy.kif 874-876

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


(economyType Afghanistan DevelopingCountry) Economy.kif 610-610 发展中国家阿富汗economy 类别
(economyType Afghanistan LessDevelopedCountry) Economy.kif 231-231 较未发达国家阿富汗economy 类别
(economyType Albania CountryInTransition) Economy.kif 569-569 转型国家阿尔巴尼亚economy 类别
(economyType Algeria DevelopingCountry) Economy.kif 611-611 发展中国家阿尔及利亚economy 类别
(economyType Algeria LessDevelopedCountry) Economy.kif 232-232 较未发达国家阿尔及利亚economy 类别
(economyType Andorra DevelopedCountry) Economy.kif 146-146 发达国家安道尔economy 类别
(economyType Angola DevelopingCountry) Economy.kif 612-612 发展中国家安哥拉economy 类别
(economyType Angola LessDevelopedCountry) Economy.kif 233-233 较未发达国家安哥拉economy 类别
(economyType AntiguaAndBarbuda DevelopingCountry) Economy.kif 613-613 发展中国家安提瓜和巴布达economy 类别
(economyType AntiguaAndBarbuda LessDevelopedCountry) Economy.kif 234-234 较未发达国家安提瓜和巴布达economy 类别
(economyType Argentina DevelopingCountry) Economy.kif 614-614 发展中国家阿根廷economy 类别
(economyType Argentina LessDevelopedCountry) Economy.kif 235-235 较未发达国家阿根廷economy 类别
(economyType Armenia CountryInTransition) Economy.kif 570-570 转型国家亚美尼亚economy 类别
(economyType Aruba DevelopingCountry) Economy.kif 615-615 发展中国家阿鲁巴economy 类别
(economyType Aruba LessDevelopedCountry) Economy.kif 236-236 较未发达国家阿鲁巴economy 类别
(economyType Australia AdvancedEconomy) Economy.kif 530-530 发达经济澳大利亚economy 类别
(economyType Australia DevelopedCountry) Economy.kif 147-147 发达国家澳大利亚economy 类别
(economyType Austria AdvancedEconomy) Economy.kif 531-531 发达经济奥地利economy 类别
(economyType Austria DevelopedCountry) Economy.kif 148-148 发达国家奥地利economy 类别
(economyType Azerbaijan CountryInTransition) Economy.kif 571-571 转型国家阿塞拜疆economy 类别
(economyType Bahrain DevelopingCountry) Economy.kif 617-617 发展中国家巴林economy 类别
(economyType Bahrain LessDevelopedCountry) Economy.kif 238-238 较未发达国家巴林economy 类别
(economyType Bangladesh DevelopingCountry) Economy.kif 618-618 发展中国家孟加拉国economy 类别
(economyType Bangladesh LessDevelopedCountry) Economy.kif 239-239 较未发达国家孟加拉国economy 类别
(economyType Barbados DevelopingCountry) Economy.kif 619-619 发展中国家巴巴多斯economy 类别

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