Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners