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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Guyana
Guyana

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3185-3185 currencyType Guyana and GuyanaDollar
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 economyType Guyana and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 272-272 economyType Guyana and LessDevelopedCountry
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 geographicSubregion Guyana and NorthernSouthAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 507-507 Guyana e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4129-4129 Guyana se chama nome "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 codeMapping ISO-3166-1-alpha-2, "GY" and 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