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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UkranianHryvnia

 Sigma KEE - UkranianHryvnia
UkranianHryvnia
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4403-4403
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4402-4402
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4401-4401
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4410-4410
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4048-4048
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4405-4405
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4404-4404
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4409-4409
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4408-4408
No TPTP formula. May not be expressible in strict first order. Economy.kif 3553-3553 UkranianHryvnia e' uma instancia de UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3555-3555 currencyType Ukraine and UkranianHryvnia
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59816-59816
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59815-59815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59814-59814

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2476-2476 codeMapping ISO-4217-A, "UAH" and UkranianHryvnia


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