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 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
(instance economyType BinaryPredicate) Economy.kif 80-80 economy type is an instance of binary predicate
(subrelation economyType attribute) Economy.kif 86-86 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 216-216
(termFormat EnglishLanguage economyType "economy type") domainEnglishFormat.kif 3955-3955 "economy type" is the printable form of economy type in english language

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 Developing country is an economy type of afghanistan
(economyType Afghanistan LessDevelopedCountry) Economy.kif 231-231 Less developed country is an economy type of afghanistan
(economyType Albania CountryInTransition) Economy.kif 569-569 Country in transition is an economy type of albania
(economyType Algeria DevelopingCountry) Economy.kif 611-611 Developing country is an economy type of algeria
(economyType Algeria LessDevelopedCountry) Economy.kif 232-232 Less developed country is an economy type of algeria
(economyType Andorra DevelopedCountry) Economy.kif 146-146 Developed country is an economy type of andorra
(economyType Angola DevelopingCountry) Economy.kif 612-612 Developing country is an economy type of angola
(economyType Angola LessDevelopedCountry) Economy.kif 233-233 Less developed country is an economy type of angola
(economyType AntiguaAndBarbuda DevelopingCountry) Economy.kif 613-613 Developing country is an economy type of antigua and barbuda
(economyType AntiguaAndBarbuda LessDevelopedCountry) Economy.kif 234-234 Less developed country is an economy type of antigua and barbuda
(economyType Argentina DevelopingCountry) Economy.kif 614-614 Developing country is an economy type of argentina
(economyType Argentina LessDevelopedCountry) Economy.kif 235-235 Less developed country is an economy type of argentina
(economyType Armenia CountryInTransition) Economy.kif 570-570 Country in transition is an economy type of armenia
(economyType Aruba DevelopingCountry) Economy.kif 615-615 Developing country is an economy type of aruba
(economyType Aruba LessDevelopedCountry) Economy.kif 236-236 Less developed country is an economy type of aruba
(economyType Australia AdvancedEconomy) Economy.kif 530-530 Advanced economy is an economy type of australia
(economyType Australia DevelopedCountry) Economy.kif 147-147 Developed country is an economy type of australia
(economyType Austria AdvancedEconomy) Economy.kif 531-531 Advanced economy is an economy type of austria
(economyType Austria DevelopedCountry) Economy.kif 148-148 Developed country is an economy type of austria
(economyType Azerbaijan CountryInTransition) Economy.kif 571-571 Country in transition is an economy type of azerbaijan
(economyType Bahrain DevelopingCountry) Economy.kif 617-617 Developing country is an economy type of bahrain
(economyType Bahrain LessDevelopedCountry) Economy.kif 238-238 Less developed country is an economy type of bahrain
(economyType Bangladesh DevelopingCountry) Economy.kif 618-618 Developing country is an economy type of bangladesh
(economyType Bangladesh LessDevelopedCountry) Economy.kif 239-239 Less developed country is an economy type of bangladesh
(economyType Barbados DevelopingCountry) Economy.kif 619-619 Developing country is an economy type of barbados

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