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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MajorIndustrialEconomy
MajorIndustrialEconomy

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


(documentation MajorIndustrialEconomy EnglishLanguage "MajorIndustrialEconomy is an Attribute used to describe countries with the largest, industrialized, non-communist economies in the world.") Economy.kif 734-736
(instance MajorIndustrialEconomy EconomicDevelopmentLevel) Economy.kif 732-732

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


(termFormat ChineseLanguage MajorIndustrialEconomy "主要工业经济") domainEnglishFormat.kif 35706-35706
(termFormat ChineseTraditionalLanguage MajorIndustrialEconomy "主要工業經濟") domainEnglishFormat.kif 35705-35705
(termFormat EnglishLanguage MajorIndustrialEconomy "major industrial economy") domainEnglishFormat.kif 35704-35704

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


(=>
    (attribute ?AREA MajorIndustrialEconomy)
    (economyType ?AREA AdvancedEconomy))
Economy.kif 742-744
(=>
    (attribute ?AREA MajorIndustrialEconomy)
    (economyType ?AREA DevelopedCountry))
Economy.kif 738-740

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


(=>
    (member ?STATE GroupOf7)
    (attribute ?STATE MajorIndustrialEconomy))
Economy.kif 746-748


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