TreeView Knowledge Base Browser - SerbiaAndMontenegro

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

SerbiaAndMontenegro

Sigma KEE - SerbiaAndMontenegro

SerbiaAndMontenegro(塞爾維亞和黑山)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1342-1342
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 720-720
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 385-385	例塞爾維亞和黑山 and Nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2638-2638	貝爾格萊德塞爾維亞和黑山是塞爾維亞和黑山的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Media.kif 2538-2538	Montenegro 是塞爾維亞和黑山的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Media.kif 2511-2511	Serbia 是塞爾維亞和黑山的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4071-4071	名 "Serbia and Montenegro" and 塞爾維亞和黑山
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52169-52169
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52168-52168
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52167-52167

statement

No TPTP formula. May not be expressible in strict first order.

Media.kif 2546-2550

持有期間未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 例塞爾維亞和黑山 and 獨立國家

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