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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Senegal

 Sigma KEE - Senegal
Senegal

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3441-3441 currencyType Senegal and SenegaleseFranc
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1341-1341
No TPTP formula. May not be expressible in strict first order. Economy.kif 707-707 economyType Senegal and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 323-323 economyType Senegal and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1561-1561
No TPTP formula. May not be expressible in strict first order. pictureList.kif 719-719
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 223-223 geographicSubregion Senegal and WesternAfrica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 224-224 Senegal e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3995-3995 Senegal se chama nome "Senegal"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52083-52083
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52082-52082
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52081-52081

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2806-2806 codeMapping ISO-3166-1-alpha-2, "SN" and Senegal


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