| BankForInternationalSettlements(bank for international settlements)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2826-2826 | The day 20 is a date established of bank for international settlements |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5876-5876 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6156-6156 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2823-2823 | Bank for international settlements is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2827-2827 | Financial cooperation is an organizational objective of bank for international settlements |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2825-2825 | "BIS" is an abbreviation of bank for international settlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2824-2824 | Bank for international settlements is a conventional long name of "Bank for International Settlements" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9845-9845 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9844-9844 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9843-9843 |
|
|
|