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	塞尔维亚和黑山是国家的 instance

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"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52167-52167
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52166-52166
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52165-52165

statement

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

Media.kif 2546-2550

时间位置是 3 day 的 instance 和塞尔维亚和黑山不是独立国家的 instance 在那个时间位置之后 holdsDuring

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