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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralAmericanCommonMarket

Sigma KEE - CentralAmericanCommonMarket
CentralAmericanCommonMarket

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2921-2921 dateEstablished CentralAmericanCommonMarket and o dia 13
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5905-5905
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6239-6239
No TPTP formula. May not be expressible in strict first order. Government.kif 2918-2918 CentralAmericanCommonMarket e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2922-2922 organizationalObjective CentralAmericanCommonMarket and EconomicIntegration

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2920-2920 abbreviation "CACM" and CentralAmericanCommonMarket
No TPTP formula. May not be expressible in strict first order. Government.kif 2919-2919 conventionalLongName "Central American Common Market" and CentralAmericanCommonMarket
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13800-13800
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13799-13799
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13798-13798


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