OrganizationOfPetroleumExportingCountries - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

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

Economy.kif 506-510