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 東歐洲 是 東半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 157-157 東歐洲 是 歐洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 210-210 東歐洲 是 北半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 85-85 例 東歐洲 and GeographicArea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 296-296 白俄羅斯 是 東歐洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 298-298 愛沙尼亞 是 東歐洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 300-300 拉脫維亞 是 東歐洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 302-302 立陶宛 是 東歐洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 304-304 摩爾多瓦 是 東歐洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 306-306 烏克蘭 是 東歐洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 115-115 名 "Eastern Europe" and 東歐洲
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