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
-------------------------


s__documentation(s__economyType__m,s__EnglishLanguage,'"(economyType ?POLITY ?TYPE) means that the GeopoliticalArea ?POLITY has an economic system of TYPE."')

Economy.kif 88-89
s__domain(s__economyType__m,n__1,s__Agent)

Economy.kif 81-81 The number 1 argument of economy type is an instance of agent
s__domain(s__economyType__m,n__2,s__EconomicAttribute)

Economy.kif 85-85 The number 2 argument of economy type is an instance of economic attribute
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__economyType__m,s__BinaryPredicate)

Economy.kif 80-80 economy type is an instance of binary predicate
s__subrelation(s__economyType__m,s__attribute__m)

Economy.kif 86-86 economy type is a subrelation of attribute

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


s__format(s__ChineseLanguage,s__economyType__m,'"%2 %n 是 %1 的 economy 类别"')

domainEnglishFormat.kif 828-828
s__format(s__ChineseTraditionalLanguage,s__economyType__m,'"%2 %n 是 %1 的 economy 類別"')

domainEnglishFormat.kif 827-827
s__format(s__EnglishLanguage,s__economyType__m,'"%2 is %n an economy type of %1"')

domainEnglishFormat.kif 826-826
s__termFormat(s__ChineseLanguage,s__economyType__m,'"经济类型"')

domainEnglishFormat.kif 21195-21195
s__termFormat(s__ChineseTraditionalLanguage,s__economyType__m,'"經濟類型"')

domainEnglishFormat.kif 21194-21194
s__termFormat(s__EnglishLanguage,s__economyType__m,'"economy type"')

domainEnglishFormat.kif 21193-21193

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 440-446
No TPTP formula. May not be expressible in strict first order. Economy.kif 455-461
No TPTP formula. May not be expressible in strict first order. Economy.kif 463-469
No TPTP formula. May not be expressible in strict first order. Economy.kif 478-484
No TPTP formula. May not be expressible in strict first order. Economy.kif 486-492
( ! [V__AGENT,V__ATTRIBUTE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__ATTRIBUTE,s__EconomicAttribute))
       =>
       ((s__economyType(V__AGENT,V__ATTRIBUTE)
         =>
         ((s__instance(V__AGENT,s__GeopoliticalArea) |
             s__instance(V__AGENT,s__Organization))))))
   )
)

Economy.kif 91-95

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


( ! [V__AREA] :
   (((s__attribute(V__AREA,s__CommunistState) &
         s__instance(V__AREA,s__Nation))
       =>
       (s__economyType(V__AREA,s__CentrallyPlannedEconomy)))
     )
   )

Economy.kif 861-865
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       (((s__attribute(V__AREA,s__HighIncomeCountry) &
             ~(s__member(V__AREA,s__OrganizationOfPetroleumExportingCountries)))
           =>
           (s__economyType(V__AREA,s__DevelopedCountry)))))
     )
   )

Economy.kif 501-505
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       ((s__attribute(V__AREA,s__FormerSovietOrEasternEuropeanCountry) =>
           (s__economyType(V__AREA,s__CountryInTransition)))))
     )
   )

Economy.kif 189-191
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       ((s__attribute(V__AREA,s__FourDragonsEconomy) =>
           (s__economyType(V__AREA,s__AdvancedEconomy)))))
     )
   )

Economy.kif 388-390
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       ((s__attribute(V__AREA,s__FourDragonsEconomy) =>
           (s__economyType(V__AREA,s__LessDevelopedCountry)))))
     )
   )

Economy.kif 384-386
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       ((s__attribute(V__AREA,s__LowIncomeCountry) =>
           (s__economyType(V__AREA,s__LeastDevelopedCountry)))))
     )
   )

Economy.kif 432-434
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       ((s__attribute(V__AREA,s__MajorIndustrialEconomy) =>
           (s__economyType(V__AREA,s__AdvancedEconomy)))))
     )
   )

Economy.kif 742-744
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       ((s__attribute(V__AREA,s__MajorIndustrialEconomy) =>
           (s__economyType(V__AREA,s__DevelopedCountry)))))
     )
   )

Economy.kif 738-740
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       ((s__attribute(V__AREA,s__PrivatizingEconomy) =>
           (s__economyType(V__AREA,s__CountryInTransition)))))
     )
   )

Economy.kif 875-877

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


s__economyType(s__Afghanistan,s__DevelopingCountry)

Economy.kif 610-610 Developing country is an economy type of afghanistan
s__economyType(s__Afghanistan,s__LessDevelopedCountry)

Economy.kif 231-231 Less developed country is an economy type of afghanistan
s__economyType(s__Albania,s__CountryInTransition)

Economy.kif 569-569 Country in transition is an economy type of albania
s__economyType(s__Algeria,s__DevelopingCountry)

Economy.kif 611-611 Developing country is an economy type of algeria
s__economyType(s__Algeria,s__LessDevelopedCountry)

Economy.kif 232-232 Less developed country is an economy type of algeria
s__economyType(s__Andorra,s__DevelopedCountry)

Economy.kif 146-146 Developed country is an economy type of andorra
s__economyType(s__Angola,s__DevelopingCountry)

Economy.kif 612-612 Developing country is an economy type of angola
s__economyType(s__Angola,s__LessDevelopedCountry)

Economy.kif 233-233 Less developed country is an economy type of angola
s__economyType(s__AntiguaAndBarbuda,s__DevelopingCountry)

Economy.kif 613-613 Developing country is an economy type of antigua and barbuda
s__economyType(s__AntiguaAndBarbuda,s__LessDevelopedCountry)

Economy.kif 234-234 Less developed country is an economy type of antigua and barbuda
s__economyType(s__Argentina,s__DevelopingCountry)

Economy.kif 614-614 Developing country is an economy type of argentina
s__economyType(s__Argentina,s__LessDevelopedCountry)

Economy.kif 235-235 Less developed country is an economy type of argentina
s__economyType(s__Armenia,s__CountryInTransition)

Economy.kif 570-570 Country in transition is an economy type of armenia
s__economyType(s__Aruba,s__DevelopingCountry)

Economy.kif 615-615 Developing country is an economy type of aruba
s__economyType(s__Aruba,s__LessDevelopedCountry)

Economy.kif 236-236 Less developed country is an economy type of aruba
s__economyType(s__Australia,s__AdvancedEconomy)

Economy.kif 530-530 Advanced economy is an economy type of australia
s__economyType(s__Australia,s__DevelopedCountry)

Economy.kif 147-147 Developed country is an economy type of australia
s__economyType(s__Austria,s__AdvancedEconomy)

Economy.kif 531-531 Advanced economy is an economy type of austria
s__economyType(s__Austria,s__DevelopedCountry)

Economy.kif 148-148 Developed country is an economy type of austria
s__economyType(s__Azerbaijan,s__CountryInTransition)

Economy.kif 571-571 Country in transition is an economy type of azerbaijan
s__economyType(s__Bahrain,s__DevelopingCountry)

Economy.kif 617-617 Developing country is an economy type of bahrain
s__economyType(s__Bahrain,s__LessDevelopedCountry)

Economy.kif 238-238 Less developed country is an economy type of bahrain
s__economyType(s__Bangladesh,s__DevelopingCountry)

Economy.kif 618-618 Developing country is an economy type of bangladesh
s__economyType(s__Bangladesh,s__LessDevelopedCountry)

Economy.kif 239-239 Less developed country is an economy type of bangladesh
s__economyType(s__Barbados,s__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 3.0 is open source software produced by Articulate Software and its partners