BangorNorthernIreland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1503-1503
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3412-3412
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3300-3300
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3411-3411
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2602-2602	班戈北愛爾蘭是北愛爾蘭的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1502-1502	例班戈北愛爾蘭 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2603-2603	名 "Bangor" and 班戈北愛爾蘭
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9792-9792
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9791-9791
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9790-9790