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


No TPTP formula. May not be expressible in strict first order. Government.kif 3779-3779 The day 14 is a date established of organization of petroleum exporting countries
No TPTP formula. May not be expressible in strict first order. Government.kif 3776-3776 Organization of petroleum exporting countries is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3780-3780 Economic policy coordination is an organizational objective of organization of petroleum exporting countries

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3778-3778 "OPEC" is an abbreviation of organization of petroleum exporting countries
No TPTP formula. May not be expressible in strict first order. Government.kif 3777-3777 Organization of petroleum exporting countries is a conventional long name of "Organization of Petroleum Exporting Countries"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42552-42552
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42551-42551
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42550-42550

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


No TPTP formula. May not be expressible in strict first order. 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