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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mauritius

 Sigma KEE - Mauritius
Mauritius(mauritius)
Mauritius, Republic_of_Mauritius

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3321-3321 Mauritanian ouguiya is a currency type of mauritius
No TPTP formula. May not be expressible in strict first order. Economy.kif 3325-3325 Mauritian rupee is a currency type of mauritius
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 Developing country is an economy type of mauritius
No TPTP formula. May not be expressible in strict first order. Economy.kif 297-297 Less developed country is an economy type of mauritius
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 Mauritius is a geographic subregion of southern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 171-171 Mauritius is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3968-3968 Mauritius has name "Mauritius"
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" in ISO-3166-1-alpha-2 denotes mauritius


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