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	geographicSubregion BangorNorthernIreland and NorthernIreland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1502-1502	BangorNorthernIreland est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2603-2603	BangorNorthernIreland s'appele nom "Bangor"
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