SoutheasternEurope - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	东南欧是地理区域的 instance

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"
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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