Mauritius - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Mauritius

Mauritius(毛里求斯)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3321-3321	毛里塔尼亞ouguiya 是毛里求斯的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3325-3325	毛里求斯盧比是毛里求斯的 currency 類別
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1293-1293
No TPTP formula. May not be expressible in strict first order.	Economy.kif 681-681	發展中國家是毛里求斯的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 297-297	較未發達國家是毛里求斯的 economy 類別
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 587-587
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 170-170	毛里求斯是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 171-171	例毛里求斯 and Nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3968-3968	名 "Mauritius" and 毛里求斯
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36563-36563
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36562-36562
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36561-36561

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2758-2758

"MU" 在 ISO-3166-1-alpha-2 denotes 毛里求斯

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