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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthKoreanWon

 Sigma KEE - SouthKoreanWon
SouthKoreanWon(韓國人贏了)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4304-4304
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4297-4297
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4308-4308
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4303-4303
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4025-4025
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4301-4301
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4307-4307
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4299-4299
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4302-4302
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4306-4306
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4300-4300
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4305-4305
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4298-4298
No TPTP formula. May not be expressible in strict first order. Economy.kif 3469-3469 例 韓國人贏了 and UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3471-3471 韓國人贏了 是 韓國 的 currency 類別
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54306-54306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54305-54305
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54304-54304

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


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