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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SurinameseGuilder

 Sigma KEE - SurinameseGuilder
SurinameseGuilder(蘇里南盾)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4343-4343
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4031-4031
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4344-4344
No TPTP formula. May not be expressible in strict first order. Economy.kif 3485-3485 例 蘇里南盾 and UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3487-3487 蘇里南盾 是 蘇里南 的 currency 類別
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56371-56371
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56370-56370
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56369-56369

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


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