No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3366-3366 |
Brunei dollar is a currency type of brunei |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12170-12170 |
Brunei dollar is a currency type of brunei |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12169-12169 |
Brunei dollar is a currency type of brunei |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12168-12168 |
Brunei dollar is a currency type of brunei |