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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedArabEmirates

Sigma KEE - UnitedArabEmirates
UnitedArabEmirates(united arab emirates)
United_Arab_Emirates

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3559-3559 United arab emirate dirham is a currency type of united arab emirates
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 Developing country is an economy type of united arab emirates
No TPTP formula. May not be expressible in strict first order. Economy.kif 340-340 Less developed country is an economy type of united arab emirates
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 United arab emirates is a geographic subregion of middle east region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 267-267 United arab emirates is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4014-4014 United arab emirates has name "United Arab Emirates"
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" in ISO-3166-1-alpha-2 denotes united arab emirates


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