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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SierraLeoneLeone

 Sigma KEE - SierraLeoneLeone
SierraLeoneLeone(塞拉利昂利昂)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4020-4020
No TPTP formula. May not be expressible in strict first order. Economy.kif 3447-3447 塞拉利昂利昂 是 UnitOfCurrency 的 instance

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3449-3449 塞拉利昂利昂 是 塞拉利昂 的 currency 类别
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52982-52982
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52981-52981
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52980-52980

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


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