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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedArabEmirates
UnitedArabEmirates(阿拉伯聯合酋長國)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3559-3559 阿拉伯聯合酋長國迪拉姆 是 阿拉伯聯合酋長國 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1375-1375
No TPTP formula. May not be expressible in strict first order. Economy.kif 724-724 發展中國家 是 阿拉伯聯合酋長國 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 340-340 較未發達國家 是 阿拉伯聯合酋長國 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 811-811
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 266-266 阿拉伯聯合酋長國 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 267-267 例 阿拉伯聯合酋長國 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4014-4014 名 "United Arab Emirates" and 阿拉伯聯合酋長國
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60044-60044
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60043-60043
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60042-60042

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


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