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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PolishZloty
PolishZloty(polish zloty)
more pictures...		zloty

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4250-4250
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4247-4247
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4246-4246
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4003-4003
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4248-4248
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4249-4249
No TPTP formula. May not be expressible in strict first order. Economy.kif 3407-3407 Polish zloty 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 3409-3409 Polish zloty is a currency type of poland
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46459-46459
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46458-46458
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46457-46457

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2443-2443 "PLN" in ISO-4217-A denotes polish zloty


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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