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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DutchGuilder

 Sigma KEE - DutchGuilder
DutchGuilder(dutch guilder)
Dutch_florin, florin, guilder, gulden

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3858-3858
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3859-3859
No TPTP formula. May not be expressible in strict first order. Economy.kif 3115-3115 Dutch guilder 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 3117-3117 Dutch guilder is a currency type of netherlands
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20736-20736
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20735-20735
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20734-20734

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2434-2434 "NLG" in ISO-4217-A denotes dutch guilder


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