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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TuvaluDollar
TuvaluDollar(tuvalu dollar)Tuvalu_dollar

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


(instance TuvaluDollar UnitOfCurrency) Economy.kif 3545-3545 Tuvalu dollar is an instance of unit of currency

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


(currencyType Tuvalu TuvaluDollar) Economy.kif 3547-3547 Tuvalu dollar is a currency type of tuvalu
(termFormat ChineseLanguage TuvaluDollar "图瓦卢元") domainEnglishFormat.kif 59678-59678
(termFormat ChineseTraditionalLanguage TuvaluDollar "圖瓦盧元") domainEnglishFormat.kif 59677-59677
(termFormat EnglishLanguage TuvaluDollar "tuvalu dollar") domainEnglishFormat.kif 59676-59676


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