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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BruneiDollar

Sigma KEE - BruneiDollar
BruneiDollar(brunei dollar)Brunei_dollar

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3027-3027 Brunei dollar 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 3029-3029 Brunei dollar is a currency type of brunei
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12161-12161
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12160-12160
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12159-12159

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2345-2345 "BND" in ISO-4217-A denotes brunei dollar


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