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 domain economyType, 1 and Agent
(domain economyType 2 EconomicAttribute) Economy.kif 85-85 domain economyType, 2 and EconomicAttribute
(instance economyType BinaryPredicate) Economy.kif 80-80 instance economyType and BinaryPredicate
(subrelation economyType attribute) Economy.kif 86-86 subrelation economyType 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 21133-21133 termFormat ChineseLanguage, economyType and "经济类型"
(termFormat ChineseTraditionalLanguage economyType "經濟類型") domainEnglishFormat.kif 21132-21132 termFormat ChineseTraditionalLanguage, economyType and "經濟類型"
(termFormat EnglishLanguage economyType "economy type") domainEnglishFormat.kif 21131-21131 termFormat EnglishLanguage, economyType and "economy type"

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


(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (lessThan ?AMOUNT 756)))
Economy.kif 440-446
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (greaterThanOrEqualTo ?AMOUNT 756)))
Economy.kif 455-461
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA LowerMiddleIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (lessThan ?AMOUNT 2996)))
Economy.kif 463-469
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (greaterThanOrEqualTo ?AMOUNT 2996)))
Economy.kif 478-484
(=>
    (and
        (instance ?YEAR TimeInterval)
        (holdsDuring ?YEAR
            (economyType ?AREA UpperMiddleIncomeCountry)))
    (and
        (perCapitaGDPInPeriod ?AREA
            (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)
        (lessThan ?AMOUNT 9267)))
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 861-865
(=>
    (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 875-877

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


(economyType Afghanistan DevelopingCountry) Economy.kif 610-610 economyType Afghanistan and DevelopingCountry
(economyType Afghanistan LessDevelopedCountry) Economy.kif 231-231 economyType Afghanistan and LessDevelopedCountry
(economyType Albania CountryInTransition) Economy.kif 569-569 economyType Albania and CountryInTransition
(economyType Algeria DevelopingCountry) Economy.kif 611-611 economyType Algeria and DevelopingCountry
(economyType Algeria LessDevelopedCountry) Economy.kif 232-232 economyType Algeria and LessDevelopedCountry
(economyType Andorra DevelopedCountry) Economy.kif 146-146 economyType Andorra and DevelopedCountry
(economyType Angola DevelopingCountry) Economy.kif 612-612 economyType Angola and DevelopingCountry
(economyType Angola LessDevelopedCountry) Economy.kif 233-233 economyType Angola and LessDevelopedCountry
(economyType AntiguaAndBarbuda DevelopingCountry) Economy.kif 613-613 economyType AntiguaAndBarbuda and DevelopingCountry
(economyType AntiguaAndBarbuda LessDevelopedCountry) Economy.kif 234-234 economyType AntiguaAndBarbuda and LessDevelopedCountry
(economyType Argentina DevelopingCountry) Economy.kif 614-614 economyType Argentina and DevelopingCountry
(economyType Argentina LessDevelopedCountry) Economy.kif 235-235 economyType Argentina and LessDevelopedCountry
(economyType Armenia CountryInTransition) Economy.kif 570-570 economyType Armenia and CountryInTransition
(economyType Aruba DevelopingCountry) Economy.kif 615-615 economyType Aruba and DevelopingCountry
(economyType Aruba LessDevelopedCountry) Economy.kif 236-236 economyType Aruba and LessDevelopedCountry
(economyType Australia AdvancedEconomy) Economy.kif 530-530 economyType Australia and AdvancedEconomy
(economyType Australia DevelopedCountry) Economy.kif 147-147 economyType Australia and DevelopedCountry
(economyType Austria AdvancedEconomy) Economy.kif 531-531 economyType Austria and AdvancedEconomy
(economyType Austria DevelopedCountry) Economy.kif 148-148 economyType Austria and DevelopedCountry
(economyType Azerbaijan CountryInTransition) Economy.kif 571-571 economyType Azerbaijan and CountryInTransition
(economyType Bahrain DevelopingCountry) Economy.kif 617-617 economyType Bahrain and DevelopingCountry
(economyType Bahrain LessDevelopedCountry) Economy.kif 238-238 economyType Bahrain and LessDevelopedCountry
(economyType Bangladesh DevelopingCountry) Economy.kif 618-618 economyType Bangladesh and DevelopingCountry
(economyType Bangladesh LessDevelopedCountry) Economy.kif 239-239 economyType Bangladesh and LessDevelopedCountry
(economyType Barbados DevelopingCountry) Economy.kif 619-619 economyType Barbados and DevelopingCountry

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners