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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LibyanDinar

 Sigma KEE - LibyanDinar
LibyanDinar(libyan dinar)
more pictures...		Libyan_dinar, dinar

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3937-3937
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3936-3936
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3940-3940
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3939-3939
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3938-3938
No TPTP formula. May not be expressible in strict first order. Economy.kif 3283-3283 Libyan dinar 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 3285-3285 Libyan dinar is a currency type of libya
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34283-34283
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34282-34282
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34281-34281

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2416-2416 "LYD" in ISO-4217-A denotes libyan dinar


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