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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganizationOfPetroleumExportingCountries

Sigma KEE - OrganizationOfPetroleumExportingCountries
OrganizationOfPetroleumExportingCountries(organization of petroleum exporting countries)

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


(dateEstablished OrganizationOfPetroleumExportingCountries
    (DayFn 14
        (MonthFn September
            (YearFn 1960))))
Government.kif 3779-3779 The day 14 is a date established of organization of petroleum exporting countries
(instance OrganizationOfPetroleumExportingCountries OrganizationOfNations) Government.kif 3776-3776 Organization of petroleum exporting countries is an instance of organization of nations
(organizationalObjective OrganizationOfPetroleumExportingCountries EconomicPolicyCoordination) Government.kif 3780-3780 Economic policy coordination is an organizational objective of organization of petroleum exporting countries

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


(abbreviation "OPEC" OrganizationOfPetroleumExportingCountries) Government.kif 3778-3778 "OPEC" is an abbreviation of organization of petroleum exporting countries
(conventionalLongName "Organization of Petroleum Exporting Countries" OrganizationOfPetroleumExportingCountries) Government.kif 3777-3777 Organization of petroleum exporting countries is a conventional long name of "Organization of Petroleum Exporting Countries"
(termFormat ChineseLanguage OrganizationOfPetroleumExportingCountries "石油输出国组织") domainEnglishFormat.kif 42552-42552
(termFormat ChineseTraditionalLanguage OrganizationOfPetroleumExportingCountries "石油輸出國組織") domainEnglishFormat.kif 42551-42551
(termFormat EnglishLanguage OrganizationOfPetroleumExportingCountries "organization of petroleum exporting countries") domainEnglishFormat.kif 42550-42550

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


(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))
Economy.kif 506-510


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