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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 例 敘利亞 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4013-4013 名 "Syria" and 敘利亞
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 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