| BhutaneseNgultrum(bhutanese ngultrum)
| | ngultrum |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3660-3660 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3804-3804 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3348-3348 | Bhutanese ngultrum 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 3350-3350 | Bhutanese ngultrum is a currency type of bhutan |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10962-10962 | Bhutanese ngultrum is a currency type of bhutan |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10961-10961 | Bhutanese ngultrum is a currency type of bhutan |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10960-10960 | Bhutanese ngultrum is a currency type of bhutan |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2352-2352 | "BTN" in ISO_4217_A denotes bhutanese ngultrum |
|
|
|