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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganizationForEconomicCooperationAndDevelopment
OrganizationForEconomicCooperationAndDevelopment(organization for economic cooperation and development)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3705-3705 The day 14 is a date established of organization for economic cooperation and development
No TPTP formula. May not be expressible in strict first order. Government.kif 3702-3702 Organization for economic cooperation and development is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3707-3707 Economic cooperation is an organizational objective of organization for economic cooperation and development
No TPTP formula. May not be expressible in strict first order. Government.kif 3706-3706 Economic development is an organizational objective of organization for economic cooperation and development

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3704-3704 "OECD" is an abbreviation of organization for economic cooperation and development
No TPTP formula. May not be expressible in strict first order. Government.kif 3703-3703 Organization for economic cooperation and development is a conventional long name of "Organization for Economic Cooperation and Development"
No TPTP formula. May not be expressible in strict first order. Government.kif 3692-3692 Nuclear energy agency is a part of the organization organization for economic cooperation and development
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42504-42504
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42503-42503
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42502-42502


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