OrganizationOfPetroleumExportingCountries - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(abbreviation "OPEC" OrganizationOfPetroleumExportingCountries)	Government.kif 3742-3742	"OPEC" is an abbreviation of organization of petroleum exporting countries
(conventionalLongName "Organization of Petroleum Exporting Countries" OrganizationOfPetroleumExportingCountries)	Government.kif 3741-3741	Organization of petroleum exporting countries is a conventional long name of "Organization of Petroleum Exporting Countries"
(termFormat ChineseLanguage OrganizationOfPetroleumExportingCountries "石油输出国组织")	domainEnglishFormat.kif 42585-42585	Organization of petroleum exporting countries is a conventional long name of "Organization of Petroleum Exporting Countries"
(termFormat ChineseTraditionalLanguage OrganizationOfPetroleumExportingCountries "石油輸出國組織")	domainEnglishFormat.kif 42584-42584	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 42583-42583	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