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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedArabEmirates

Sigma KEE - UnitedArabEmirates
UnitedArabEmirates

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3559-3559 currencyType UnitedArabEmirates and UnitedArabEmirateDirham
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 economyType UnitedArabEmirates and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 340-340 economyType UnitedArabEmirates and LessDevelopedCountry
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 geographicSubregion UnitedArabEmirates and MiddleEastRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 267-267 UnitedArabEmirates e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4014-4014 UnitedArabEmirates se chama nome "United Arab Emirates"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60046-60046
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60045-60045
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60044-60044

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2834-2834 codeMapping ISO-3166-1-alpha-2, "AE" and UnitedArabEmirates


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