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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MongolianTugrik

 Sigma KEE - MongolianTugrik
MongolianTugrik(mongolian tugrik)
more pictures...		tughrik, tugrik

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3952-3952
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3950-3950
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3953-3953
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3951-3951
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3742-3742
No TPTP formula. May not be expressible in strict first order. Economy.kif 3335-3335 Mongolian tugrik is an instance of unit of currency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3337-3337 Mongolian tugrik is a currency type of mongolia
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38385-38385
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38384-38384
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38383-38383

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2422-2422 "MNT" in ISO-4217-A denotes mongolian tugrik


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