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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralAmericanBankForEconomicIntegration

Sigma KEE - CentralAmericanBankForEconomicIntegration
CentralAmericanBankForEconomicIntegration(central american bank for economic integration)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2950-2950 The day 13 is a date established of central american bank for economic integration
No TPTP formula. May not be expressible in strict first order. Government.kif 2946-2946 Central american bank for economic integration is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2952-2952 Economic development is an organizational objective of central american bank for economic integration
No TPTP formula. May not be expressible in strict first order. Government.kif 2951-2951 Economic integration is an organizational objective of central american bank for economic integration

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2948-2948 "BCIE" is an abbreviation of central american bank for economic integration
No TPTP formula. May not be expressible in strict first order. Government.kif 2947-2947 Central american bank for economic integration is a conventional long name of "Central American Bank for Economic Integration"
No TPTP formula. May not be expressible in strict first order. Government.kif 2949-2949 Central american bank for economic integration is a local long name of "Banco Centroamericano de Integracion Economico"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13794-13794
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13793-13793
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13792-13792


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