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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedArabEmirateDirham

 Sigma KEE - UnitedArabEmirateDirham
UnitedArabEmirateDirham(united arab emirate dirham)
United_Arab_Emirate_dirham, dirham

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4411-4411
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4049-4049
No TPTP formula. May not be expressible in strict first order. Economy.kif 3557-3557 United arab emirate dirham is an instance of unit of currency

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


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. domainEnglishFormat.kif 60038-60038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60037-60037
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60036-60036

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2327-2327 "AED" in ISO-4217-A denotes united arab emirate dirham


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