Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


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

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


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


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 is open source software produced by Articulate Software and its partners