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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SaudiArabianRiyal

 Sigma KEE - SaudiArabianRiyal
SaudiArabianRiyal(沙特阿拉伯里亚尔)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4286-4286
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4017-4017
No TPTP formula. May not be expressible in strict first order. Economy.kif 3435-3435 沙特阿拉伯里亚尔 是 UnitOfCurrency 的 instance

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3437-3437 沙特阿拉伯里亚尔 是 沙特阿拉伯 的 currency 类别
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51327-51327
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51326-51326
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51325-51325

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2450-2450 "SAR" 在 ISO-4217-A denotes 沙特阿拉伯里亚尔


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