| BhutaneseNgultrum(bhutanese ngultrum)
| | bhutanese_ngultrum, ngultrum |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3662-3662 | "http://upload.wikimedia.org/wikipedia/commons/a/ae/ 50_Ngultrum_Vorderseite.jpg" is a URL depicting bhutanese ngultrum |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3806-3806 | "http://upload.wikimedia.org/wikipedia/en/3/36/1ngultrum.jpg" is a URL depicting bhutanese ngultrum |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3014-3014 | Bhutanese ngultrum is an instance of UnitOfCurrency |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3016-3016 | Bhutanese ngultrum is a currency type of bhutan |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2250-2250 | "bhutanese ngultrum" is the printable form of bhutanese ngultrum in english language |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2345-2345 | "BTN" in ISO-4217-A denotes bhutanese ngultrum |
|
|
|