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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Morocco
Morocco(morocco)
Al-Magrib, Kingdom_of_Morocco, Maroc, Marruecos, Morocco

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3341-3341 Moroccan dirham is a currency type of morocco
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1300-1300
No TPTP formula. May not be expressible in strict first order. Economy.kif 684-684 Developing country is an economy type of morocco
No TPTP formula. May not be expressible in strict first order. Economy.kif 300-300 Less developed country is an economy type of morocco
No TPTP formula. May not be expressible in strict first order. pictureList.kif 604-604
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 124-124 Morocco is a geographic subregion of northern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 125-125 Morocco is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 126-126 Morocco is a part of africa

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3725-3725 Morocco is a claimed territory of western sahara
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3950-3950 Morocco has name "Morocco"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38565-38565
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38564-38564
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38563-38563

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2748-2748 "MA" in ISO-3166-1-alpha-2 denotes morocco


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