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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SriLankanRupee

Sigma KEE - SriLankanRupee
SriLankanRupee(斯里兰卡卢比)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4315-4315
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4316-4316
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4314-4314
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4317-4317
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4313-4313
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4027-4027
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4318-4318
No TPTP formula. May not be expressible in strict first order. Economy.kif 3477-3477 斯里兰卡卢比UnitOfCurrencyinstance

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3479-3479 斯里兰卡卢比斯里兰卡currency 类别
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54942-54942
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54941-54941
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54940-54940

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2411-2411 "LKR" 在 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