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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EasternEurope

Sigma KEE - EasternEurope
EasternEurope(eastern europe)

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 Eastern europe is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 157-157 Eastern europe is a geographic subregion of europe
No TPTP formula. May not be expressible in strict first order. Geography.kif 210-210 Eastern europe is a geographic subregion of northern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 85-85 Eastern europe is an instance of geographic area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 296-296 Belarus is a geographic subregion of eastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 298-298 Estonia is a geographic subregion of eastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 300-300 Latvia is a geographic subregion of eastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 302-302 Lithuania is a geographic subregion of eastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 304-304 Moldova is a geographic subregion of eastern europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 306-306 Ukraine is a geographic subregion of eastern europe
No TPTP formula. May not be expressible in strict first order. Geography.kif 115-115 Eastern europe has name "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