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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Montenegro

Sigma KEE - Montenegro
Montenegro

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2540-2544
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 2522-2522 Montenegro地缘政治区域instance

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2539-2539 Serbia 接上 Montenegro
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65189-65189

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2751-2751 "ME" 在 ISO-3166-1-alpha-2 denotes Montenegro

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2528-2531 时间位置 是 3 dayinstanceMontenegro欧洲国家instance那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2523-2526 时间位置 是 3 dayinstanceMontenegro独立国家instance那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2533-2536 时间位置 是 3 dayinstanceMontenegro 的名 是 "Montenegro" 在 那个 时间位置 之后 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