OrganizationOfPetroleumExportingCountries - Sigma Knowledge base Browser

appearance as argument number 1

(dateEstablished OrganizationOfPetroleumExportingCountries (DayFn 14 (MonthFn September (YearFn 1960))))	Government.kif 3740-3740	dateEstablished OrganizationOfPetroleumExportingCountries and 14 day 目
(instance OrganizationOfPetroleumExportingCountries OrganizationOfNations)	Government.kif 3737-3737	OrganizationOfPetroleumExportingCountries は OrganizationOfNations の instance では
(organizationalObjective OrganizationOfPetroleumExportingCountries EconomicPolicyCoordination)	Government.kif 3741-3741	organizationalObjective OrganizationOfPetroleumExportingCountries and EconomicPolicyCoordination

appearance as argument number 2

(abbreviation "OPEC" OrganizationOfPetroleumExportingCountries)	Government.kif 3739-3739	abbreviation "OPEC" and OrganizationOfPetroleumExportingCountries
(conventionalLongName "Organization of Petroleum Exporting Countries" OrganizationOfPetroleumExportingCountries)	Government.kif 3738-3738	conventionalLongName "Organization of Petroleum Exporting Countries" and OrganizationOfPetroleumExportingCountries
(termFormat ChineseLanguage OrganizationOfPetroleumExportingCountries "石油输出国组织")	domainEnglishFormat.kif 42554-42554	conventionalLongName "Organization of Petroleum Exporting Countries" and OrganizationOfPetroleumExportingCountries
(termFormat ChineseTraditionalLanguage OrganizationOfPetroleumExportingCountries "石油輸出國組織")	domainEnglishFormat.kif 42553-42553	conventionalLongName "Organization of Petroleum Exporting Countries" and OrganizationOfPetroleumExportingCountries
(termFormat EnglishLanguage OrganizationOfPetroleumExportingCountries "organization of petroleum exporting countries")	domainEnglishFormat.kif 42552-42552	conventionalLongName "Organization of Petroleum Exporting Countries" and OrganizationOfPetroleumExportingCountries

antecedent

(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))

Economy.kif 506-510