BankForInternationalSettlements - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2856-2856	The day 20 of month the month January is a date established of bank for international settlements
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5874-5874	The day 20 of month the month January is a date established of bank for international settlements
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6154-6154	The day 20 of month the month January is a date established of bank for international settlements
No TPTP formula. May not be expressible in strict first order.	Government.kif 2853-2853	Bank for international settlements is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2857-2857	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 2855-2855	"BIS" is an abbreviation of bank for international settlements
No TPTP formula. May not be expressible in strict first order.	Government.kif 2854-2854	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 9829-9829	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 9828-9828	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 9827-9827	Bank for international settlements is a conventional long name of "Bank for International Settlements"