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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthernConeCommonMarket

Sigma KEE - SouthernConeCommonMarket
SouthernConeCommonMarket(南錐共同市場)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3866-3866 26 and March and 1991 是 南錐共同市場 的成立 date
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6881-6881
No TPTP formula. May not be expressible in strict first order. Government.kif 3861-3861 南錐共同市場 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3867-3867 經濟合作南錐共同市場organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3864-3864 南錐共同市場 是 "Mercosur" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 3863-3863 南錐共同市場 是 "Southern Common Market" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3862-3862 南錐共同市場 是 "Southern Cone Common Market" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3865-3865 南錐共同市場 是 "Mercado Comun del Cono Sur" 的 local 全名
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54204-54204
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54203-54203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54202-54202


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