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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MajorIndustrialEconomy

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 739-741
(instance MajorIndustrialEconomy EconomicDevelopmentLevel) Economy.kif 737-737

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


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

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


(=>
    (attribute ?AREA MajorIndustrialEconomy)
    (economyType ?AREA AdvancedEconomy))
Economy.kif 747-749
(=>
    (attribute ?AREA MajorIndustrialEconomy)
    (economyType ?AREA DevelopedCountry))
Economy.kif 743-745

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


(=>
    (member ?STATE GroupOf7)
    (attribute ?STATE MajorIndustrialEconomy))
Economy.kif 751-753


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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