Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

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

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


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

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


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

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


(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))		 Economy.kif 506-510 If high income country is an attribute of X and X is not a member of organization of petroleum exporting countries, then developed country is an economy type of X


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners