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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EasternEurope

 Sigma KEE - EasternEurope
EasternEurope

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2462-2462
No TPTP formula. May not be expressible in strict first order. Geography.kif 209-209 geographicSubregion EasternEurope and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 157-157 geographicSubregion EasternEurope and Europe
No TPTP formula. May not be expressible in strict first order. Geography.kif 210-210 geographicSubregion EasternEurope and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 85-85 EasternEurope est une instance de secteur g�ographique

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 296-296 geographicSubregion Belarus and EasternEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 298-298 geographicSubregion Estonia and EasternEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 300-300 geographicSubregion Latvia and EasternEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 302-302 geographicSubregion Lithuania and EasternEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 304-304 geographicSubregion Moldova and EasternEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 306-306 geographicSubregion Ukraine and EasternEurope
No TPTP formula. May not be expressible in strict first order. Geography.kif 115-115 EasternEurope s'appele nom "Eastern Europe"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20886-20886
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20885-20885
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20884-20884


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