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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Syria

 Sigma KEE - Syria
Syria(叙利亚)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3503-3503 叙利亚镑 是 叙利亚 的 currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1360-1360
No TPTP formula. May not be expressible in strict first order. Economy.kif 717-717 发展中国家 是 叙利亚 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 333-333 较未发达国家 是 叙利亚 的 economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 768-768
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 264-264 叙利亚 是 中东地区 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 265-265 叙利亚 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4013-4013 叙利亚 的名 是 "Syria"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56635-56635
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56634-56634
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56633-56633

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2820-2820 "SY" 在 ISO-3166-1-alpha-2 denotes 叙利亚


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