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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Guyana
Guyana(guyana)
British_Guiana, Co-operative_Republic_of_Guyana, Guyana

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3185-3185 Guyana dollar is a currency type of guyana
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1252-1252
No TPTP formula. May not be expressible in strict first order. Economy.kif 656-656 Developing country is an economy type of guyana
No TPTP formula. May not be expressible in strict first order. Economy.kif 272-272 Less developed country is an economy type of guyana
No TPTP formula. May not be expressible in strict first order. pictureList.kif 485-485
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 506-506 Guyana is a geographic subregion of northern south america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 507-507 Guyana is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4129-4129 Guyana has name "Guyana"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27138-27138
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27137-27137
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27136-27136

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2712-2712 "GY" in ISO-3166-1-alpha-2 denotes guyana


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