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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MoroccanDirham

 Sigma KEE - MoroccanDirham
MoroccanDirham(moroccan dirham)
Moroccan_dirham, dirham

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3743-3743
No TPTP formula. May not be expressible in strict first order. Economy.kif 3339-3339 Moroccan 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 3341-3341 Moroccan dirham is a currency type of morocco
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38553-38553
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38552-38552
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38551-38551

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2417-2417 "MAD" in ISO-4217-A denotes moroccan 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