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 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


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