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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoutheasternEurope

 Sigma KEE - SoutheasternEurope
SoutheasternEurope(東南歐)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2526-2526
No TPTP formula. May not be expressible in strict first order. Geography.kif 225-225 東南歐 是 東半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 161-161 東南歐 是 歐洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 226-226 東南歐 是 北半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 89-89 例 東南歐 and GeographicArea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 370-370 阿爾巴尼亞 是 東南歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 372-372 波斯尼亞和黑塞哥維那 是 東南歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 374-374 保加利亞 是 東南歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 376-376 克羅地亞 是 東南歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 378-378 馬其頓 是 東南歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 380-380 羅馬尼亞 是 東南歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 384-384 塞爾維亞和黑山 是 東南歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 382-382 火雞 是 東南歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 119-119 名 "Southeastern Europe" and 東南歐
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54108-54108
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54107-54107
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54106-54106


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