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 SouthKoreanWon est une instance de UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3471-3471 currencyType SouthKorea and SouthKoreanWon
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54308-54308
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54307-54307
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54306-54306

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2405-2405 codeMapping ISO-4217-A, "KRW" and SouthKoreanWon


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