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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Qatar

 Sigma KEE - Qatar
Qatar(卡塔爾)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3417-3417 卡塔里里亞爾 是 卡塔爾 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1326-1326
No TPTP formula. May not be expressible in strict first order. Economy.kif 699-699 發展中國家 是 卡塔爾 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 315-315 較未發達國家 是 卡塔爾 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 680-680
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 260-260 卡塔爾 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 261-261 例 卡塔爾 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4011-4011 名 "Qatar" and 卡塔爾
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48254-48254
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48253-48253
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48252-48252

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2795-2795 "QA" 在 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